C++26: 「モジュール宣言でのモジュール名のマクロ展開を禁止する」を追加 (close #1325)

Author: faithandbrave

implementation-status.md

@@ -304,7 +304,7 @@
 | P2748R5: [返却された左辺値から暗黙変換された一時オブジェクトが参照に束縛されることを禁止する](/lang/cpp26/disallow_binding_a_returned_glvalue_to_a_temporary.md.nolink) | 寿命切れの変数によって引き起こされるバグを防止する | 14 | 19 | | |
 | P3106R1: [要素数不明の配列を集成体初期化する規則を明確化](/lang/cpp26/clarifying_rules_for_brace_elision_in_aggregate_initialization.md.nolink) | 配列要素の集成体初期化で`{}`が省略された場合の矛盾していた規定を修正 | yes | 17 | | |
 | P0609R3: [構造化束縛への属性を許可](/lang/cpp26/attributes_for_structured_bindings.md) | `auto [a, b [[maybe_unused]], c] = f();`のように構造化束縛の要素に対して属性を付加できるようにする | 15 | 19 | | |
-| P3034R1: [モジュール宣言でのモジュール名のマクロ展開を禁止する](/lang/cpp26/module_declarations_shouldnt_be_macros.md.nolink) | `export module MACRO_NAME;`を禁止 | | | | |
+| P3034R1: [モジュール宣言でのモジュール名のマクロ展開を禁止する](/lang/cpp26/module_declarations_shouldnt_be_macros.md) | `export module MACRO_NAME;`を禁止 | | | | |
 | P2809R3: [空の無限ループは未定義動作ではないと規定](/lang/cpp26/trivial_infinite_loops_are_not_undefined_behavior.md) | 並行プログラムの進行保証などを考慮して空の無限ループを未定義動作ではないものとする | 14 | 19 | | |
 | P2795R5: [未初期化変数の読み取りをエラー性動作とする](/lang/cpp26/erroneous_behavior_for_uninitialized_reads.md) | 初期化されていない自動変数の読み取りの安全性を規定する | | | | |
 | P2573R2: [関数宣言を削除する理由を指定できるようにする](/lang/cpp26/delete_reason.md) | `f() = delete("reason");` | 15 | 19 | | |

lang/cpp20/modules.md

@@ -490,6 +490,7 @@ int main() {
 
 ## <a id="relative-page" href="#relative-page">関連項目</a>
 - [C++23 無意味なexport宣言を禁止する](/lang/cpp23/meaningful_exports.md)
+- [C++26 モジュール宣言でのモジュール名のマクロ展開を禁止する](/lang/cpp26/module_declarations_shouldnt_be_macros.md)
 
 
 ## 参照
@@ -504,4 +505,4 @@ Standard library header units for C++20](http://www.open-std.org/jtc1/sc22/wg21/
 Mitigating minor modules maladies](http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2019/p1766r1.html)
 - [P1811R0
 Relaxing redefinition restrictions for re-exportation robustness](http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2019/p1811r0.html#problem)  
-  同時に到達可能とならなければODR違反にならないという仕様が削除された。また、インポータブルヘッダーの`#include`を`import`に置き換えるかは処理系定義となった。
+  同時に到達可能とならなければODR違反にならないという仕様が削除された。また、インポータブルヘッダーの`#include`を`import`に置き換えるかは処理系定義となった。

lang/cpp26.md

@@ -102,7 +102,7 @@ C++26とは、2026年中に改訂される予定の、C++バージョンの通
 
 | 言語機能 | 説明 |
 |----------|------|
-| [モジュール宣言でのモジュール名のマクロ展開を禁止する](/lang/cpp26/module_declarations_shouldnt_be_macros.md.nolink) | `export module MACRO_NAME;`を禁止 |
+| [モジュール宣言でのモジュール名のマクロ展開を禁止する](/lang/cpp26/module_declarations_shouldnt_be_macros.md) | `export module MACRO_NAME;`を禁止 |
 
 
 ### 機能の非推奨化

lang/cpp26/module_declarations_shouldnt_be_macros.md

@@ -0,0 +1,40 @@
+# モジュール宣言でのモジュール名のマクロ展開を禁止する [P3034R1]
+* cpp26[meta cpp]
+
+<!-- start lang caution -->
+
+このページはC++26に採用される見込みの言語機能の変更を解説しています。
+
+のちのC++規格でさらに変更される場合があるため[関連項目](#relative-page)を参照してください。
+
+<!-- last lang caution -->
+
+## 概要
+C++26では、以下のようにモジュール名をマクロ (プリプロセッサ・トークン) にすることが禁止される。
+
+```cpp
+// version.h:
+#ifndef VERSION_H
+#define VERSION_H
+
+#define VERSION libv5
+
+#endif
+
+
+// lib.cppm:
+module;
+#include "version.h"
+export module VERSION; // C++23: OK, C++26: NG
+```
+
+この仕様は、C++20の欠陥として扱われる。そのため、C++20やC++23に対応したコンパイラですでに実装されている可能性がある。
+
+
+## 関連項目
+- [C++20 モジュール](/lang/cpp20/modules.md)
+
+
+## 参照
+- [P3034R1 Module Declarations Shouldn’t be Macros](https://open-std.org/jtc1/sc22/wg21/docs/papers/2024/p3034r1.html)
+