|
| 1 | +# constexpr構造化束縛の許可と、constexpr参照の制限緩和 [P2686R5] |
| 2 | +* cpp26[meta cpp] |
| 3 | + |
| 4 | +<!-- start lang caution --> |
| 5 | + |
| 6 | +このページはC++26に採用される見込みの言語機能の変更を解説しています。 |
| 7 | + |
| 8 | +のちのC++規格でさらに変更される場合があるため[関連項目](#relative-page)を参照してください。 |
| 9 | + |
| 10 | +<!-- last lang caution --> |
| 11 | + |
| 12 | +## 概要 |
| 13 | +C++26では、定数式の文脈での構造化束縛が許可されるようになり、`constexpr`変数への参照が定数式として扱われるようになる。 |
| 14 | + |
| 15 | +### `constexpr`構造化束縛の許可 |
| 16 | + |
| 17 | +C++23までは構造化束縛を`constexpr`として使用することはできなかったが、C++26では以下のようなコードが許可される。 |
| 18 | + |
| 19 | +```cpp |
| 20 | +constexpr std::tuple<int, int> p{1, 2}; |
| 21 | +constexpr auto [x, y] = p; // C++26: OK |
| 22 | +``` |
| 23 | +
|
| 24 | +構造化束縛は以下のように参照に展開されるため、`constexpr`参照と同じ制限を受ける： |
| 25 | +
|
| 26 | +```cpp |
| 27 | +void f() { |
| 28 | + constexpr std::tuple<int, int> p{1, 2}; |
| 29 | + constexpr const auto& x = get<0>(p); |
| 30 | + constexpr const auto& y = get<1>(p); |
| 31 | +} |
| 32 | +``` |
| 33 | +* get[link /reference/tuple/tuple/get.md] |
| 34 | + |
| 35 | + |
| 36 | +### `constexpr`変数への参照の制限緩和 |
| 37 | +`constexpr`参照はC++23まで、静的記憶域をもつ変数への参照のみ許可されていた (テンプレートパラメータの`template <auto& r>`も同様)。C++26ではその制限が緩和され、自動記憶域 (ブロックスコープ) をもつ変数でも`constexpr`参照ができるようになる。 |
| 38 | + |
| 39 | +```cpp |
| 40 | +void f() { |
| 41 | + constexpr int a = 42; |
| 42 | + constexpr const int& ref = a; // C++23: NG, C++26: OK |
| 43 | +} |
| 44 | +``` |
| 45 | + |
| 46 | +ただし`constexpr`参照の制限として、参照する変数のアドレスが、参照または構造化束縛が存在するスタックフレームを基準とした定数である場合に限られる。 |
| 47 | + |
| 48 | + |
| 49 | +## <a id="relative-page" href="#relative-page">関連項目</a> |
| 50 | +- [C++11 constexpr](/lang/cpp11/constexpr.md) |
| 51 | +- [C++17 構造化束縛](/lang/cpp17/structured_bindings.md) |
| 52 | + |
| 53 | + |
| 54 | +## 参照 |
| 55 | +- [P2686R5 `constexpr` structured bindings and references to `constexpr` variables](https://open-std.org/jtc1/sc22/wg21/docs/papers/2024/p2686r5.pdf) |
| 56 | +- [Trip report: November 2024 ISO C++ standards meeting (Wrocław, Poland) - Sutter's Mill](https://herbsutter.com/2024/11/24/wg21-2024-11/) |
0 commit comments