C++26 : 「static_assertの診断メッセージにユーザーが生成した文字列の指定を許可」を追加 (close #1177)

Author: faithandbrave

implementation-status.md

@@ -302,7 +302,7 @@
 | P2361R6: [コンパイル時にのみ使用される文字列の扱いを明確化](/lang/cpp26/unevaluated_strings.md.nolink) | `static_assert`や`[[deprecated]]`などで使用されるコンパイル時の文字列について、文字コードの指定を禁止し、実行時エンコーディングが行われないことを規定 | 14 | 18 | | |
 | P2552R3: [属性の無視性を見直し](/lang/cpp26/on_the_ignorability_of_standard_attributes.md.nolink) | 構文として適格な属性のみを無視できるようにし、そうでない属性の使用を不適格とする | | | | |
 | P2738R1: [定数式での`void*`からポインタ型へのキャストを許可](/lang/cpp26/constexpr_cast_from_voidptr.md.nolink) | 型消去のために`void*`からポインタ型へのキャストを許可する | 14 | 17 | | |
-| P2741R3: [`static_assert`の診断メッセージにユーザーが生成した文字列の指定を許可](/lang/cpp26/user-generated_static_assert_messages.md.nolink) | `constexpr`な`S.size()`と`S.data()`メンバ関数をもつオブジェクトをコンパイル時文字列として指定できるようにする | 14 | 17 | | |
+| P2741R3: [`static_assert`の診断メッセージにユーザーが生成した文字列の指定を許可](/lang/cpp26/user-generated_static_assert_messages.md) | `constexpr`な`S.size()`と`S.data()`メンバ関数をもつオブジェクトをコンパイル時文字列として指定できるようにする | 14 | 17 | | |
 | P2558R2: [基本文字集合に@、$、\`を追加](/lang/cpp26/add_atsign_dollar_graveaccent_to_the_basic_character_set.md.nolink) | C言語との互換性のためにこれらの文字を基本文字集合に追加 | | Yes | | |
 | P2662R3: [パラメータパックへのインデックスアクセスを許可](/lang/cpp26/pack_indexing.md.nolink) | 可変引数テンプレートのパラメータパックに添字アクセスできるようにする | | | | |
 | P2864R2: [非推奨となっていた列挙値から算術型への暗黙変換を削除](/lang/cpp26/remove_deprecated_arithmetic_conversion_on_enumerations.md.nolink) | C++20から非推奨となっていた列挙値への算術演算で算術型に暗黙変換される仕様を削除 | 14 | 18 | | |

lang/cpp11/static_assert.md

@@ -82,6 +82,7 @@ Boost Static Assertion Libraryが開発されたときに、コンパイル時
 - [C++17 `static_assert`のメッセージ省略を許可](/lang/cpp17/extending_static_assert.md)
 - [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)
 
 
 ## 参照

lang/cpp26.md

@@ -43,7 +43,7 @@ C++26とは、2026年中に改訂される予定の、C++バージョンの通
 | 言語機能 | 説明 |
 |----------|------|
 | [定数式での`void*`からポインタ型へのキャストを許可](/lang/cpp26/constexpr_cast_from_voidptr.md.nolink) | 型消去のために`void*`からポインタ型へのキャストを許可する |
-| [`static_assert`の診断メッセージにユーザーが生成した文字列の指定を許可](/lang/cpp26/user-generated_static_assert_messages.md.nolink) | `constexpr`な`S.size()`と`S.data()`メンバ関数をもつオブジェクトをコンパイル時文字列として指定できるようにする |
+| [`static_assert`の診断メッセージにユーザーが生成した文字列の指定を許可](/lang/cpp26/user-generated_static_assert_messages.md) | `constexpr`な`S.size()`と`S.data()`メンバ関数をもつオブジェクトをコンパイル時文字列として指定できるようにする |
 
 
 ### ソースコード

lang/cpp26/user-generated_static_assert_messages.md

@@ -0,0 +1,51 @@
+# static_assertの診断メッセージにユーザーが生成した文字列の指定を許可
+* cpp26[meta cpp]
+
+## 概要
+C++26では、[`static_assert`](/lang/cpp11/static_assert.md)に指定する表明失敗時の診断メッセージとして、文字列リテラルだけでなくユーザー定義型の文字列オブジェクトも指定できるようになる。
+
+例として、[`std::format()`](/reference/format/format.md)関数によって作られた[`std::string`](/reference/string/basic_string.md)オブジェクトも診断メッセージとして使用できる。
+
+```cpp example
+#include <cstdint>
+#include <format>
+
+template <class T>
+void f()
+{
+  static_assert(
+    sizeof(T) == 4,
+    std::format("type T size should 4, actual:{}", sizeof(T))
+  );
+}
+
+int main()
+{
+  f<std::int32_t>(); // OK
+  f<std::int64_t>(); // Error! "type T size should 4, actual:8"
+}
+```
+
+
+## 仕様
+`static_assert`の構文において、
+
+```
+static_assert(定数式, 診断メッセージ);
+```
+
+診断メッセージが文字列リテラルでない場合、そのオブジェクトMは、以下の要件を満たすこと：
+
+- `M.size()`から[`std::size_t`](/reference/cstddef/size_t.md)への暗黙変換が定数式であること
+- `M.data()`から「`const char`へのポインタ」への暗黙変換が定数式であること
+- メッセージのシーケンスに含まれる各文字が、エンコーディング指定されていない文字コード (ordinary literal encoding) であること
+    - `u8"message"`はNG
+    - `"message"`はOK
+
+
+## 関連項目
+- [C++11 コンパイル時アサート](/lang/cpp11/static_assert.md)
+
+
+## 参照
+- [P2741R3 user-generated `static_assert` messages](https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2023/p2741r3.pdf)