サバです。
autoについては最後の項目です（まだ二つ目）
＜以下長い注意＞
ここの内容は、サバが適当な自己解釈を重ねた結果、攪拌され白濁してしまった知識の泉から、沈殿物を素手で持ち上げようとした結果です。保証はしかねます。ご了承ください。
内容はEffectiveModernC++をわざわざ書き写したような何かです。
題名にEffectiveModernC++が入っていないのは更新が途中で止まる自信があるからです。
また、もしよろしければ、間違い、気になったところ、分かりづらいところなどを指摘してもらえると、サバがピチピチ跳ねて喜びます。喜びすぎてプログラミング言語C++第四版をあなたに投げつけるかもしれません。
（ぜひ教えてください。よろしくお願いします。 < ( _ _ ) > 何でもするとは言いませんから…）
項目5 auto が期待とは異なる型を推論する場面では ETII を用いる
結論：autoは明示的キャストと併用しよう
ETIIはC++的で明示的な型キャスト、static_cast を使ってauto変数を初期化する方法です。
| auto itsInteger = static_cast<int>(64 * 0.2); // キャストでint型変数として推論させる。 |
- これを使ったらauto使えるし、どんな型と目的でキャストしてるのか明示的でわかりやすいよね！って話です。
また、std::vector<bool> を使うときにこの操作が必要な場合があります。
というのもstd::vector<bool>の [ ] 演算子は bool& ではない変な型を返してくるからです。
|
std::vector<int> vecInt = {1, 2, 3}; decltype( veclnt[0] ); auto front = vecInt[0]; |
decltype → int& // 分かる。内部要素への参照。 front → int // 期待通り。 |
|
std::vector<bool> vecBool = {true, true}; decltype( vecBool[0] ); auto front = vecBool[0]; |
decltype → std::vector<bool>::reference // WTF front → std::vector<bool>::reference // WTF |
うーんこの…。そこでこの std::vector<bool> 使う時だけETIIしよって話です。
|
std::vector<bool> vecBool = {true, true}; auto front = static_cast<bool>( vecBool[0] ); |
front → bool // 期待通り |
- もちろんbool型以外のstd::vectorはこんなことないです。ふつうです。こいつが変態なだけです。
- めんどい…
- 今にでもstd::vector<bool>に殴り掛かれそうなら、殴り掛かる前に下の内容を読んでみてください。
・深淵を覗きに行くために…
std::vector<bool>はうん○こ。ではなくちゃんと理由があるみたいです。
bool型のベクターはメモリを節約するため、内部でビット演算を使用して値を保持しています。となると、要素一つあたりのサイズは１ビット。でもC++の参照が指し示すことができるのはバイト単位…（参照は内部的にはポインタであるため）あれ？ ビット単位な各要素への参照ってできないじゃん。じゃあ参照受け取って、各要素の値を直接変更するとかもできないじゃん！ って当然なるわけです。
そこでstd::vector<bool>::reference君の登場です。下記のコードのように、ぱっと見いい感じに動作するよう彼は実装されています。この書き方だけならいつもの通りです。
| std::vector<bool> vecBool = {false, false}; vecBool[0] = true; vecBool[1] = true; |
{false, false} // vecBool の中身 {true, false} {true, true} |
しかし、上記の注意点だけでは終わらず、追加でもう一つが紹介されています。
それは[]演算子の戻り値は値渡しでも、実質的には参照渡しであるということです。
例を挙げると、以下のようなコードは未定義動作です。
|
auto first = std::vector<bool>{false, false}[0]; //参照渡しと実質的に同義な値渡し first = true; // 死んだオブジェクトに代入する未定義動作 |
- std::vector<bool>::reference 君は、各要素を参照してるっぽく動作するため、ビットとして存在する実態にアクセスするための情報を持っています。実装方法によっては、ポインタとそこから何ビット目かといった感じの情報です。
- 上記例では、std::vector<bool>::reference を first は受け取ります。そのため first は std::vector<bool>{false, false} と宣言された右辺値の内部を指し示すポインタを持つことになります。
- 右辺値は一行だけの命です。つぎのセミコロンが来たらそこで死にます。
- つまりfirst = true と代入している時点で、first 内部のポインタは、すでに死んだvectorが存在していた位置を指し示します。このコードは代入によってメモリ空間をぐちゃぐちゃにできるわけです。
- このようなバグは、関数の戻り値（値渡し）でももちろん起こりえます。
- std::vector<bool>怖い…
std::vector<bool>::referenceのような、ほかの型の模倣や拡張を目的としたクラスを、プロクシクラス(proxy class)とか言うらしいです。
このようなクラスの存在に気づくためには、ヘッダファイルの実装を自分で見ようねという話みたいです。C++楽じいなぁ…
C++は楽しい。
＜ 前の項目へ 次の項目へ ＞ // そのうち…