https://ameblo.jp/megane-now/ コンタクトレンズとレーシックによって、未曾有の危機に襲われたメガネの世界で、一人の勇者が立ち上がった。メガネを愛する一人の男の愛と友情の物語。ではなく、コーサ・ノストラの歴史について語るブログ。でもない。 ja 新しいガンダムかと思いそうですが、C++ 0xの話です。

またプログラム知らない人にはごめんなさいな記事だよ！


C++ 0xにて色々な強化がされました。
コンセプト、ラムダ式、constexprなど
大きなものから小さなものまで。
コンセプトさんは死んじゃったけどね・・・。

で、その中の一つに「右辺値参照」があります。


んで、この「右辺値参照」の説明をしようと思ったんですが、
左辺値と右辺値ってなーに？ってところから
まともに詳しく書いていくとあまりに長く難解になりそうなんで
語弊を含む部分もあるかもしれませんが、省略して書いていきます。


左辺値と右辺値の違いは、式の終了後も
生存するオブジェクトかどうかです。
（左辺値＝非一時オブジェクト、右辺値＝一時オブジェクト）

int x = 1;

という式が存在した場合、
xは式の終了後も存続するオブジェクトですが、
右側の1は、式の終了時に破棄される一時オブジェクトです。

その為、上記の式の場合、xが左辺値、1が右辺値になります。


つまり、左辺値はいつでも見れる保存したエロ画像で、
右辺値は街中で見かけた偶然のパンチラみたいなものです。

int x = 1;
という式は偶然のパンチラを、咄嗟にケータイで撮って、
xというエロ画像として保存するという式なのです。

まったく女性の敵のような式ですね！
紳士的な俺は怒りを隠せません！ﾋﾞｷﾋﾞｷ


さて、非一時オブジェクトと一時オブジェクトに関して
次のような違いがあります。

void megane(int& aInt);

と言ったように、非constの参照を受け取るメソッドに
・非一時オブジェクトは渡すことができる
・一時オブジェクトは渡すことができない
というルールがあるのです。

エロ画像を他人に渡すことはできても、パンチラの記憶は
他人に渡せないのと一緒です。


で、上記のルールによって、

megane(1);

というような式は書けず、

int x = 1;　①
megane(x);

というような式を書く必要が出てきます。
折角コピーのオーバーヘッドをなくしたくて、参照にしても
実質一度ローカル変数に取らなければいけないのであれば、
①の部分で余計なコピーが発生しているのです。


で、右辺値参照というのは、
そのコピーを減らそうぜというもの。

void megane(int&& aInt);

とした場合、

megane(1);

を行うことが可能であり、また引数は値渡しではないので
余計なコピーは発生しないというものです。

ここでは説明しませんが、右辺値参照後の定石となりそうな
むーぶコンストラクタを実装することで、またさらに右辺値参照が
強力になったりします。

それはまた別の機会に。

※const参照ではなく、右辺値参照による利点は
　まさにムーブコンストラクタで出てくるのですが、
　高校の時の彼女が巨乳だったことを思い出したので、
　それどころではなくなりました。 ]]> https://ameblo.jp/megane-now/entry-10707277457.html Sun, 14 Nov 2010 21:45:16 +0900 ということで、プログラミングの話。
プログラミングの知識がないかたはごめんなさい。

で、プログラムというのは人から人に
渡っていく機会の多いものです。

少なくとも、一つのプログラムを
最後まで一人だけしか触らないということは、
お仕事においては、多くありません。多分ね。

その為、可読性の高いコードを書く技術が
必要になってきます。

今日はその中の一つのお話で、
読むのを面倒くさくするより、書くのを面倒くさくしようぜ。
というお話。
※個人的な好みも含んでいます。



例えばの話、配列のような動きをするクラスを作ります。
Ｃ＋＋で書いてみましょう。
テンプレートの勉強ではないので、unsigned char型の
要素数固定配列とします。

class MeganeArray
{
private:
　　unsigned char mBody[256];
　　int mLength;

public:
　　int Append(const MeganeArray& iSrc);
　　MeganeArray& operator+(const MeganeArray& iSrc);
};

とりあえず、コンストラクタとかoperator[]は省略して、
お話に必要な部分だけ記載。
上記のようなクラスがあったとしましょう。

で、ここで気になるのがAppendとoperator+です。
説明するまでも無いとは思いますが、

int Append(const MeganeArray& iSrc)
　引数としてMeganeArrayの参照を受け取り、
　現在のmBodyのmLength以降の部分に
　引数の内容を追加するメソッド。
　戻り値はエラーコード。

MeganeArray& operator+(const MeganeArray& iSrc);
　引数としてMeganeArrayの参照を受け取り、
　現在のmBodyのmLength以降の部分に
　引数の内容を追加するメソッド。
　戻り値は自身の参照。

というメソッドとして定義しています。
ぶっちゃけ上記のようなoperator+は、
「要素数を超えた量を追加しようとする可能性が
　operator+のコール以前に潰されている必要性がある」
とか色々問題がありますが、
実際に書く人がいるのでこれでいきます。



でですね。
この定義をすると、確かに書きやすいです。
Append、operator+、どちらも有用に使える場面があります。
（ケツが切れても問題ない配列の追加なら、
　戻り値でエラーコードを貰ってのエラー処理は、
　無視することも可能は可能）

ただ、ぶっちゃけるとやってることは同じなんです。
自身のケツに、もらったものを付け加えてるだけです。アッー！

なら、Appendだけで良くないだろうかと思います。

同じことをやっていて、引数も同じなのに、
ただ単に

MeganeArray array;
if (0 == array.Append(arraySrc1)) { return FALSE; }
if (0 == array.Append(arraySrc2)) { return FALSE; }

みたいに書くのが面倒くさくて、

MeganeArray array;
array = arraySrc1 + arraySrc2;

みたいな書き方をしたいから、operator+やoperator=を
オーバーロードするのは、一見、可読性が高まるように見えます。

ですが、実際は
・operator+はAppendに失敗した場合、どういった挙動をするのか。
・operator+で追加している場面は、本当に要素数内で収まる
　追加であるのか。
　もし要素を超える場合、超えても本当に問題がないのか。
などの部分がややこしくなってるだけな気がします。

特にoperator=なんかは良くオーバーロードされている気がしますが、
・operator=はコピーしているのかアドレスだけ受け取っているのか。
という部分を理解せずに使えば、実行時エラーをぽこじゃかと引き起こします。

結局、あとから来た人の読まなきゃいけない部分が増えてるだけです。



また、
「Append、operator+、どちらも有用に使える場面があります」
と書きましたが、どういう場面で有用かを理解せずに
メソッドを使用するプログラマも、残念ながら少なくありません。

直感的に使用できるメソッドを用意した場合、
直感だけで使用される危険性もはらんでいます。



C++はオペレータのオーバーロードを使うことによって、
直感的なコードを書けるようになっています。
ただ、読む人はやっぱりきちんと理解しないといけない部分です。

ユーティリティとしては利便性を求めるのも大事ですが、
あとから来た人はそのクラスがどういう設計で作られているかを
知ることからはじめなければいけません。


知っている前提での利便性は、コードの毒になりかねないのでは。
と個人的には思うのでした。 ]]> https://ameblo.jp/megane-now/entry-10706342573.html Sat, 13 Nov 2010 22:17:09 +0900 「おまえ、どこ中だよ？」
って絡まれる夢を見ました。

お前こそ、どこ中だよ…。 ]]> https://ameblo.jp/megane-now/entry-10700648258.html Mon, 08 Nov 2010 06:39:00 +0900
俺「おつかれーっす」

副社長「meganeさんが逃げるぞ！」
上長「meganeさん、風呂いきますか」

俺「今日は帰るって言ってんじゃないですかー！」

そんなこんなで横浜からの電車がなくなってました。



タ、タクシーの領収書もらい忘れたんですけどー！！ ]]> https://ameblo.jp/megane-now/entry-10700235032.html Sun, 07 Nov 2010 20:39:33 +0900
民主主義の中、
自分に同調してくれる人が一人もいなくても、
どんなに孤独を感じたとしても、
膝をついてはいけない時があります。


社内多数派「女性にフンドシはナイ」
社内少数派「女性にフンドシはアリ」


俺はたった一人でも戦い続けます！
数の暴力には、絶対に負けませんからね！！！ ]]> https://ameblo.jp/megane-now/entry-10695913392.html Wed, 03 Nov 2010 14:49:25 +0900 「キリンさんが好きです。でもゾウさんはもーっと好きです」
の松本引越センターなんかが有名ですよね。

「じゃあ、オジチャンのゾウさんを…」とか考えたひとは
帰っていいです。


で、職場が都内なんで、少し通勤の便が悪く、
終電で帰ると深夜一時とかになっちゃうので
引越を考えています。

新宿駅近くに引っ越そうと思うのですが、
どこか家賃安めな区域とかないですかねー。 ]]> https://ameblo.jp/megane-now/entry-10695530874.html Wed, 03 Nov 2010 01:33:13 +0900 なんだこのブログ！
馬鹿な話ばっかりじゃないか！

今日こそは真面目な話をしますからね！



おそらく皆さんもご存知でしょうが、DNAは
シトシンなど四種の塩基とデオキシリボース、
リン酸から構成されています。

大部分の生物の遺伝情報はDNAが担っており、
すなわち我々ヒトも例外ではなく、
き ]]> https://ameblo.jp/megane-now/entry-10692925556.html Sun, 31 Oct 2010 14:47:39 +0900
で、今日こそは石狩川初級コンプするぞと息巻いて、
釣ってきました！



今日の主な釣果











やっと、ぬしが食いついてくれてコンプリートできました！
次は、石狩川中級に挑戦してきます！ ]]> https://ameblo.jp/megane-now/entry-10692454191.html Sat, 30 Oct 2010 23:36:44 +0900 　　 （＿_）　　　 ﾒｼｲｺｳｽﾞｰ
　　（＿＿）　　　　　(´⌒(´⌒
　　(・∀・ )　　　　(´⌒(´≡
　 O┬O ノ｀　　≡≡≡(´⌒;;;
　 ◎┴し-◎　(´⌒(´⌒;;


会社のスカイプに上のAAを貼り付けたら、
「meganeさんの昇給推してるのに、やめようかな」
って上長に言われました。


えっ？ ]]> https://ameblo.jp/megane-now/entry-10691435905.html Fri, 29 Oct 2010 23:04:15 +0900 自分へのご褒美としてエッチなDVDを購入することは
恥ずべきことではない
　　　　　　　　　　　　　　　　　　　――――――ニーチェ ]]> https://ameblo.jp/megane-now/entry-10689749744.html Thu, 28 Oct 2010 05:16:36 +0900