Skip to content

Commit

Permalink
fix: 単にCWG 2518が適用された環境という (#1257)
Browse files Browse the repository at this point in the history
pointed by @yohhoy
  • Loading branch information
yumetodo committed Feb 26, 2024
1 parent 95a8299 commit 49f9140
Show file tree
Hide file tree
Showing 2 changed files with 2 additions and 2 deletions.
2 changes: 1 addition & 1 deletion lang/cpp11/static_assert.md
Original file line number Diff line number Diff line change
Expand Up @@ -28,7 +28,7 @@ static_assert(定数式, 文字列リテラル);
- この宣言は、名前空間スコープ、ブロックスコープ、メンバ宣言といった場所で記述できる
- 定数式が真であると評価された場合は何も効果がない。定数式が偽であると評価された場合は、指定された文字列リテラルを含む診断メッセージがコンパイラによって問題報告される。ただし、基本ソース文字集合に含まれない文字集合は、診断メッセージに表示することはコンパイラに要求されない
- `static_assert`宣言では、新たな型やオブジェクトは宣言しない。また、実行時にサイズや時間コストは発生しない
- (C++23以降 or CWG 2518が適用された環境): template文(もしくは適切な特殊化や[C++17 constexpr if 文](/lang/cpp17/if_constexpr.md)の中の文)が実際にインスタンス化されるまで、`static_assert`文の宣言は遅延される。
- (CWG 2518が適用された環境): template文(もしくは適切な特殊化や[C++17 constexpr if 文](/lang/cpp17/if_constexpr.md)の中の文)が実際にインスタンス化されるまで、`static_assert`文の宣言は遅延される。
- [C++17 constexpr if 文](/lang/cpp17/if_constexpr.md)の解説を参照

##
Expand Down
2 changes: 1 addition & 1 deletion lang/cpp17/if_constexpr.md
Original file line number Diff line number Diff line change
Expand Up @@ -164,7 +164,7 @@ int main()
}
```
### (C++23以降 or CWG 2518が適用された環境) `static_assert`文に関する例外
### (CWG 2518が適用された環境) `static_assert`文に関する例外
上に述べたように、`constexpr if`文の中の文は廃棄文においても、非依存名の検証を行う。このため特に`static_assert`文を使う時に直感的ではない挙動を示していた。
Expand Down

0 comments on commit 49f9140

Please sign in to comment.