C++26 : 「コンパイル時にのみ使用される文字列の扱いを明確化」を追加 (close #1174)

Author: faithandbrave

implementation-status.md

@@ -297,7 +297,7 @@
 | P2752R3: [`std::initializer_list`の配列を静的記憶域に配置する](/lang/cpp26/static_storage_for_braced_initializers.md) | `std::vector v = {1, 2, 3};`のような初期化で初期化子リストを静的記憶域に配置することで無駄なコピーをなくす | 14 | | | |
 | P2169R4: [宣言のみで使用しない変数の名前として`_`をサポート](/lang/cpp26/nice_placeholder_with_no_name.md) | 変数名`_`は暗黙で`[[maybe_unused]]`が指定される | 14 | 18 | | |
 | P1854R4: [文字列リテラルの文字エンコーディング失敗を不適格とする](/lang/cpp26/making_non-encodable_string_literals_ill-formed.md) | 文字列リテラルのエンコーディング時に文字表現が失われる場合にコンパイルエラーにする | 14 | 14 | | |
-| P2361R6: [コンパイル時にのみ使用される文字列の扱いを明確化](/lang/cpp26/unevaluated_strings.md.nolink) | `static_assert`や`[[deprecated]]`などで使用されるコンパイル時の文字列について、文字コードの指定を禁止し、実行時エンコーディングが行われないことを規定 | 14 | 18 | | |
+| P2361R6: [コンパイル時にのみ使用される文字列の扱いを明確化](/lang/cpp26/unevaluated_strings.md) | `static_assert`や`[[deprecated]]`などで使用されるコンパイル時の文字列について、文字コードの指定を禁止し、実行時エンコーディングが行われないことを規定 | 14 | 18 | | |
 | P2552R3: [属性の無視性を見直し](/lang/cpp26/on_the_ignorability_of_standard_attributes.md) | 構文として適格な属性のみを無視できるようにし、そうでない属性の使用を不適格とする | 15 | | | |
 | P2738R1: [定数式での`void*`からポインタ型へのキャストを許可](/lang/cpp26/constexpr_cast_from_voidptr.md) | 型消去のために`void*`からポインタ型へのキャストを許可する | 14 | 17 | | |
 | P2741R3: [`static_assert`の診断メッセージにユーザーが生成した文字列の指定を許可](/lang/cpp26/user-generated_static_assert_messages.md) | `constexpr`な`S.size()`と`S.data()`メンバ関数をもつオブジェクトをコンパイル時文字列として指定できるようにする | 14 | 17 | | |

lang/cpp11/constexpr.md

@@ -220,6 +220,7 @@ GCC 5.2、Clang 3.7、Visual C++ 2015時点で、3つともデフォルトは512
 - [C++26 `constexpr`配置`new`](/lang/cpp26/constexpr_placement_new.md)
 - [C++26 `constexpr`構造化束縛の許可と、`constexpr`参照の制限緩和](/lang/cpp26/constexpr_structured_bindings_and_references_to_constexpr_variables.md)
 - [C++26 `constexpr`仮想継承を許可](/lang/cpp26/constexpr_virtual_inheritance.md)
+- [C++26 コンパイル時にのみ使用される文字列の扱いを明確化](/lang/cpp26/unevaluated_strings.md)
 
 
 ## 参照

lang/cpp11/static_assert.md

@@ -93,6 +93,7 @@ Boost Static Assertion Libraryが開発されたときに、コンパイル時
 - [C++17 constexpr if 文](/lang/cpp17/if_constexpr.md)
 - [C++23 定数式の文脈での`bool`への縮小変換を許可](/lang/cpp23/narrowing_contextual_conversions_to_bool.md)
 - [C++26 `static_assert`の診断メッセージにユーザーが生成した文字列の指定を許可](/lang/cpp26/user-generated_static_assert_messages.md)
+- [C++26 コンパイル時にのみ使用される文字列の扱いを明確化](/lang/cpp26/unevaluated_strings.md)
 
 
 ## 参照

lang/cpp14/deprecated_attr.md

@@ -132,6 +132,7 @@ prog.cc:45:3: warning: 'class_templ<int>' is deprecated: don't use class_templ<i
 ## <a id="relative-page" href="#relative-page">関連項目</a>
 - [C++11 属性構文](/lang/cpp11/attributes.md)
 - [C++23 ラムダ式に対する属性](/lang/cpp23/attributes_on_lambda_expressions.md)
+- [C++26 コンパイル時にのみ使用される文字列の扱いを明確化](/lang/cpp26/unevaluated_strings.md)
 
 
 ## 参照

lang/cpp17/nodiscard.md

@@ -62,6 +62,7 @@ nodiscard.cpp:11:3: warning: ignoring return value of function declared with 'no
     - C++17対応のコンパイラでも使用できる可能性がある
 - [C++20 `[[nodiscard]]`属性に理由となる文字列を付加できるようにする](/lang/cpp20/nodiscard_should_have_a_reason.md)
 - [C++23 ラムダ式に対する属性](/lang/cpp23/attributes_on_lambda_expressions.md)
+- [C++26 コンパイル時にのみ使用される文字列の扱いを明確化](/lang/cpp26/unevaluated_strings.md)
 
 
 ## 参照

lang/cpp26.md

@@ -25,7 +25,7 @@ C++26とは、2026年中に改訂される予定の、C++バージョンの通
 | 言語機能 | 説明 |
 |----------|------|
 | [文字列リテラルの文字エンコーディング失敗を不適格とする](/lang/cpp26/making_non-encodable_string_literals_ill-formed.md) | 文字列リテラルのエンコーディング時に文字表現が失われる場合にコンパイルエラーにする |
-| [コンパイル時にのみ使用される文字列の扱いを明確化](/lang/cpp26/unevaluated_strings.md.nolink) | `static_assert`や`[[deprecated]]`などで使用されるコンパイル時の文字列について、文字コードの指定を禁止し、実行時エンコーディングが行われないことを規定 |
+| [コンパイル時にのみ使用される文字列の扱いを明確化](/lang/cpp26/unevaluated_strings.md) | `static_assert`や`[[deprecated]]`などで使用されるコンパイル時の文字列について、文字コードの指定を禁止し、実行時エンコーディングが行われないことを規定 |
 
 
 ### 分岐・ループ

lang/cpp26/making_non-encodable_string_literals_ill-formed.md

@@ -29,6 +29,7 @@ char c = 'é'; // C++23:実装定義, C++26:NG グレイブアクセントをつ
 
 ## 関連項目
 - [C++23 1ワイド文字に収まらないワイド文字リテラルを禁止する](/lang/cpp23/remove_non_encodable_wide_character_literals_and_multicharacter_wide_character_literals.md)
+- [C++26 コンパイル時にのみ使用される文字列の扱いを明確化](/lang/cpp26/unevaluated_strings.md)
 
 
 ## 参照

lang/cpp26/unevaluated_strings.md

@@ -0,0 +1,78 @@
+# コンパイル時にのみ使用される文字列の扱いを明確化 [P2361R6]
+* cpp26[meta cpp]
+
+<!-- start lang caution -->
+
+このページはC++26に採用される見込みの言語機能の変更を解説しています。
+
+のちのC++規格でさらに変更される場合があるため[関連項目](#relative-page)を参照してください。
+
+<!-- last lang caution -->
+
+## 概要
+文字列リテラルは、文字配列の初期化だけでなく、コンパイル時の診断メッセージやプリプロセッシング、その他の実装定義の動作にも使用される。これらのコンパイル時にのみ使用される文字列は「非評価文字列 (unevaluated string)」と呼ばれ、実行時のエンコーディングに変換されることはない。
+
+C++26では、非評価文字列が使用される文脈を明確にし、これらの文字列に対して以下の制約を設ける：
+
+- エンコーディングプレフィックス (`L`, `u`, `U`, `u8`) は許可されない
+- 文字列は実行時エンコーディングに変換されない
+- ユニバーサルキャラクタ名および (単純な) エスケープシーケンス (`\0`を除く) はUnicodeコードポイントに置換され、数値エスケープシーケンスなどその他のエスケープシーケンスは不適格となる
+
+これらの変更は既存コードとの互換性を崩す変更 (破壊的変更) ではあるが、オープンソースプロジェクトの調査では、既存コードへの影響はほぼないとされている。
+
+
+## 非評価文字列が使用される文脈
+
+| 文脈 | 説明 |
+|-----------|------|
+| [`static_assert`](/lang/cpp11/static_assert.md) | 表明失敗時の診断メッセージ |
+| [`[[deprecated]]`](/lang/cpp14/deprecated_attr.md) | 非推奨の理由メッセージ |
+| [`[[nodiscard]]`](/lang/cpp17/nodiscard.md) | 戻り値無視時の警告メッセージ |
+| [`= delete`](/lang/cpp26/delete_reason.md) | 削除された関数の診断メッセージ |
+| `extern` | リンケージ指定の文字列 (例: `extern "C"`) |
+| `_Pragma` | プリプロセッサプラグマの文字列 |
+| `asm` | インラインアセンブリの文字列 |
+| `#line` | 行番号ディレクティブのファイル名 |
+| リテラル演算子 | ユーザー定義リテラルの接尾辞識別 |
+
+
+## 仕様
+### エンコーディングプレフィックスの禁止
+非評価文字列には、エンコーディングプレフィックスを指定できない。
+
+```cpp
+// C++23まで: 実装定義の動作
+// C++26: 不適格
+static_assert(true, L"message");
+static_assert(true, u8"message");
+
+// C++26: OK
+static_assert(true, "message");
+```
+
+### エスケープシーケンスの制限
+非評価文字列では、ユニバーサルキャラクタ名 (`\uNNNN`, `\UNNNNNNNN`) と (単純な) エスケープシーケンス (`\\`, `\"`, `\n`など。ただし`\0`を除く) のみが許可される。数値エスケープシーケンス (`\x1B`, `\012`など) は不適格となる。
+
+```cpp
+// C++26: OK
+static_assert(true, "hello\nworld"); // エスケープシーケンス
+static_assert(true, "\u0041");       // ユニバーサルキャラクタ名
+
+// C++26: 不適格 (数値エスケープシーケンス)
+static_assert(true, "\x48\x65\x6c\x6c\x6f");
+```
+
+これは、コンパイラが非評価文字列を実行時エンコーディングに変換しないため、数値エスケープシーケンスによるコードユニットの直接指定が意味を持たないためである。
+
+
+## <a id="relative-page" href="#relative-page">関連項目</a>
+- [C++11 `constexpr`](/lang/cpp11/constexpr.md)
+- [C++11 コンパイル時アサート](/lang/cpp11/static_assert.md)
+- [C++14 `[[deprecated]]`属性](/lang/cpp14/deprecated_attr.md)
+- [C++17 `[[nodiscard]]`属性](/lang/cpp17/nodiscard.md)
+- [C++26 文字列リテラルの文字エンコーディング失敗を不適格とする](/lang/cpp26/making_non-encodable_string_literals_ill-formed.md)
+- [C++26 `static_assert`の診断メッセージにユーザーが生成した文字列の指定を許可](/lang/cpp26/user-generated_static_assert_messages.md)
+
+
+## 参照
+- [P2361R6 Unevaluated Strings](https://open-std.org/jtc1/sc22/wg21/docs/papers/2023/p2361r6.pdf)

lang/cpp26/user-generated_static_assert_messages.md

@@ -54,6 +54,7 @@ static_assert(定数式, 診断メッセージ);
 ## <a id="relative-page" href="#relative-page">関連項目</a>
 - [C++11 コンパイル時アサート](/lang/cpp11/static_assert.md)
 - [C++17 `static_assert`のメッセージ省略を許可](/lang/cpp17/extending_static_assert.md)
+- [C++26 コンパイル時にのみ使用される文字列の扱いを明確化](/lang/cpp26/unevaluated_strings.md)
 
 
 ## 参照