C++20の整数

Transcript

1. C++20の整数 ⾼橋 晶 (Akira Takahashi) cpp_akira@Twitter faithandbrave@GitHub 2021/08/15 (⽇) talk.cpp
2. 本⽇のお話 • C++20では、みなさんが普段から使っている 「整数型 (integral types)」がより便利になりました • 整数がC++20でどう変わったのか、なにが変わらないのか、 今後どう変わるのかをお話します
3. C++20での整数⽐較
4. C++17までの整数⽐較で困ったところ • これまでは、整数⽐較は以下の点で使いにくかった • デフォルトで選択すべき整数型がint (符号付き整数) • しかし標準コンテナの要素数は符号なし整数 • 両者の変数を⽐較すると「signedとunsignedの⽐較は安全ではない」 という警告が出⼒される vector<int> v = {1, 2, 3}; for (int i = 0; i < v.size(); ++i) { // 警告！ … }
5. C++20での整数⽐較 • C++20では、整数⽐較の新しい⽅法が2つ⽤意される • コンテナの要素数を符号付き整数として取得するstd::ssize()関数 • 符号付きと符号なしの整数を安全に⽐較するstd::cmp_less()関数 vector<int> v = {1, 2, 3}; for (int i = 0; i < ssize(v); ++i) {} // OK for (int i = 0; cmp_less(i, v.size()); ++i) {} // OK
6. std::ssize()関数 • コンテナの要素数を符号付き整数型に変換して返す • <iterator>ヘッダで定義される • 主に要素数を保持しておくために使⽤する vector<int> v = {1, 2, 3}; auto n = ssize(v); // nの型は (だいたい) int // (size_tを符号付きに変換した型) int ar = {4, 5, 6}; auto m = ssize(ar); // 同様
7. std::cmp_less()関数 • 第1引数と第2引数のどちらに符号付き・符号なし整数が 指定されたとしても、安全に⼩なり⽐較してくれる • <utility>ヘッダで定義される • ほかに、cmp_equal(), cmp_not_equal(), cmp_greater()など ⼀通りの⽐較演算が揃っている assert(cmp_less(2, 3u) == true); assert(cmp_less(2u, 3) == true); assert(cmp_less(2, 3) == true); assert(cmp_less(2u, 3u) == true);
8. 値が型のとりうる範囲内かを判定 • 地味にたいへんだったのが、「値Nがint型に収まるか」の判定 • ⾃前で書くとN < std::numeric_limits<int>::max() だが、これも 符号なし・符号付き⽐較の警告問題がある • <utility>ヘッダでstd::in_range()関数が定義される assert(in_range<uint8_t>(-1) == false); assert(in_range<uint8_t>(255) == true); assert(in_range<int8_t>(255) == false);
9. C++20での整数規定
10. C++20では整数の 内部表現、順序、⼀意性が規定される • 符号付き整数の内部表現が「2の補数表現」に規定される • 負数を「絶対値をビット反転した値に+1」した値として表現する • これは、-0 (マイナスゼロ) を表すビット列がない内部表現 • 0の負数は0 • ただし、主要な処理系はこれまでも「2の補数表現」しか サポートしていなかったので、実装としてはこれまでと変わらない
11. 全ての値に⼤⼩関係が成り⽴ち、 ハッシュ値が⼀意に定まる • 符号付き整数型の内部表現を「2の補数」に規定する理由は、 • -0がないことで、全ての値に⼤⼩関係が成り⽴つ • -0 == 0になりえたが、そのようなことがなくなる • -0がないことで、ハッシュ値が⼀意に定まる • 異なる値-0と0を同じハッシュ値とする、のようなことがなくなる struct X { int a; char b; // strong_ordering(全順序)で順序が返る auto operator<=>(const X&) = default; }; auto ord = x <=> y; if (ord == 0) { … } struct X { int a; char b; }; X x = …; // 自動でハッシュ値を計算してくれる (将来) size_t hash = hash_as_bytes(x);
12. ただし、符号付き整数がオーバーフローした際は 未定義動作のまま • 2の補数表現では加算し続けると負数、減算し続けると正数に なることは⾃明だが、折り返しは未定義動作のまま • これは、コンパイラの最適化の都合 • コンパイラは、符号付き整数が⼤きくなり続けても負数にならないこ とを期待して最適化する • 折り返す動作が規定されると最適化が阻害されてしまうため、この規 定は改定されない • ただし、主要コンパイラは折り返し動作を規定するオプション を提供しているため、ユーザーは任意にこの最適化をオフに でき、折り返し動作を使⽤できる
13. ビット操作の強化
14. ビット操作のための<bit>ヘッダ新設 • 以下のような機能が定義される • 内部表現が同じ別な型への変換を⾏うbit_cast()関数 • 2の累乗値かの判定、2の累乗値への切り上げ、切り下げ • 循環ビットシフト • pop count (⽴っているビット数)、連続した0 or 1の数 float f = 3.14f; // memcpy()のconstexpr版のようなもの auto a = bit_cast<uint32_t>(f); // 2の累乗関係 auto b = bit_ceil(127u); // 128 auto c = bit_floor(129u); // 128 // 循環シフト auto i = static_cast<uint8_t>(0b0000'0001u); std::uint8_t a = rotr(i, 3); assert(a == 0b0010'0000u); // 立っているビット数 auto i = static_cast<uint8_t>(0b1000'1010u); int b = popcount(i); // 3
15. 整数の今後 • C++23で起こること • (符号付き) size_t のリテラルz • C++の将来で今後起こりえること • 128ビット整数のサポート (ただしターゲット環境依存) • 多倍⻑整数のサポート • オーバーフローチェック付きの演算 • オブジェクトのハッシュ値を⾃動計算してくれる機構 • ビット数指定のリテラル
16. まとめ • operator<=> (三⽅⽐較演算⼦) の詳細は、 cpprefjpサイトかonihusubeさんのブログを参照してください！ • 整数を安全に⽐較できるようになりました • 符号付き整数の内部表現、順序、⼀意性が規定されました • ただし、未定義動作のままになっているものもあります • 整数のいまとこれからを、ご注⽬ください