C++23 : 「無意味なexport宣言を禁止する」を追加 (close #1110)

Author: faithandbrave

implementation-status.md

@@ -251,7 +251,7 @@
 | P2290R3: [エスケープシーケンスの区切り](/lang/cpp23/delimited_escape_sequences.md) | エスケープシーケンスの範囲を明確にする構文を追加する | 13 | 15 | 2023.2 | - |
 | P2266R3: [暗黙的なムーブを簡略化](/lang/cpp23/simpler_implicit_move.md.nolink) | 参照を返す関数の`return`文で暗黙的にムーブされない問題を修正 | 13 | 13 | 2022.2 | - |
 | P1787R6: [スコープと名前ルックアップの仕様整理](/lang/cpp23/declarations_and_where_to_find_them.md.nolink) | 複雑で不完全になっているスコープと名前ルックアップの仕様を整理し、一部の問題を解決する | - | - | - | - |
-| P2615R1: [無意味なexport宣言を禁止する](/lang/cpp23/meaningful_exports.md.nolink) | | - | - | - | - |
+| P2615R1: [無意味なexport宣言を禁止する](/lang/cpp23/meaningful_exports.md) | いくつかの不必要な宣言に対するモジュールexportを禁止する | - | - | - | - |
 | P2360R0: [初期化文での型の別名宣言を許可](/lang/cpp23/extend_init_statement_to_allow_alias_declaration.md) | `for (using T = int; T e : v) {}`を許可 | 12 | 14 | 2022.2 | - |
 | P2718R0: [範囲for文が範囲初期化子内で生じた一時オブジェクトを延命することを規定](lang/cpp23/lifetime_extension_in_range_based_for_loop.md) | | - | - | - | - |
 | P2324R2: [複合文の末尾へのラベルを許可](/lang/cpp23/labels_at_the_end_of_compound_statements.md) | C互換のため、複合文の末尾でのgoto文のラベルを許可する | 13 | 16 | 2023.2 | - |

lang/cpp20/modules.md

@@ -479,6 +479,11 @@ int main() {
 
 モジュールは、以上のような問題のないプログラム分割の仕組みとして導入された。
 
+
+## 関連項目
+- [C++23 無意味なexport宣言を禁止する](/lang/cpp23/meaningful_exports.md)
+
+
 ## 参照
 - [［C++］C++20モジュールの変遷 - Module TSからC++20DISまで - 地面を見下ろす少年の足蹴にされる私](https://onihusube.hatenablog.com/entry/2021/05/28/214612)
 - [P1103R3 Merging Modules](http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2019/p1103r3.pdf)

lang/cpp23.md

@@ -22,7 +22,7 @@ C++23とは、2023年中に改訂される予定の、C++バージョンの通
 | 言語機能 | 説明 |
 |----------|------|
 | [スコープと名前ルックアップの仕様整理](cpp23/declarations_and_where_to_find_them.md.nolink) | 複雑で不完全になっているスコープと名前ルックアップの仕様を整理し、一部の問題を解決する |
-| [無意味なexport宣言を禁止する](cpp23/meaningful_exports.md.nolink) | |
+| [無意味なexport宣言を禁止する](cpp23/meaningful_exports.md) | いくつかの不必要な宣言に対するモジュールexportを禁止する |
 
 
 ### 制御構文

lang/cpp23/meaningful_exports.md

@@ -0,0 +1,30 @@
+# 無意味なexport宣言を禁止する
+* cpp23[meta cpp]
+
+## 概要
+C++20時点でのモジュール定義では、いくつかの不必要なexport宣言ができてしまっていた。
+
+```cpp
+template export void f();
+export template void f();
+export template<> void g(int);
+template<> export void g(int);
+export template<class T> struct trait<T*>;
+```
+
+C++23では、本来必要のない以下の宣言に対するexport宣言を禁止する：
+
+- 明示的なインスタンス化
+- 明示的な特殊化
+- export宣言
+
+ただし、この変更のあとでも、`export { … }`で囲まれた中では、これらが含まれていてもコンパイルエラーにはならない。
+
+
+## 関連項目
+- [C++20 モジュール](/lang/cpp20/modules.md)
+
+
+## 参照
+- [P2615R1 Meaningful exports](https://open-std.org/jtc1/sc22/wg21/docs/papers/2022/p2615r1.html)
+- [CWG Issue 2443. Meaningless template exports](https://wg21.cmeerw.net/cwg/issue2443)