Skip to content

Commit ffb8d64

Browse files
committed
fix: lambda式を用いたcgw2518回避を除去 (#1260)
編集方針「正確なものに不要な情報はない」はあるものの、全体の構成として必要性を感じなくなったので除去する。 内容そのものをうまく当てはまる形で復活させられるならばそれに異議を唱えるものではないが、いい方法が浮かばなかった。 ref: - #1260 (comment)
1 parent 3da7c5d commit ffb8d64

File tree

1 file changed

+0
-22
lines changed

1 file changed

+0
-22
lines changed

lang/cpp17/if_constexpr.md

-22
Original file line numberDiff line numberDiff line change
@@ -170,28 +170,6 @@ int main()
170170
}
171171
```
172172
173-
上の例では`false_v`を作ったが、ラムダ式でも同様のことができる。ラムダ式はそれが記述された位置から見て最小のスコープ (ブロックスコープ/クラススコープ/名前空間スコープ) で宣言されるクラスとして扱われる。例えば、下の例では`f()`という関数テンプレート内で宣言される。関数テンプレート内のクラスは依存名になるため、テンプレートの宣言時に検証されず、テンプレート実体化まで評価を遅らせることができる。
174-
175-
```cpp example
176-
#include <type_traits>
177-
178-
template <typename T>
179-
void f(T)
180-
{
181-
if constexpr (std::is_same_v<T, int>)
182-
{
183-
// Tがintのときのみ評価される
184-
static_assert([]{return false;}());
185-
}
186-
}
187-
188-
int main()
189-
{
190-
f(2.4);
191-
f(3);
192-
}
193-
```
194-
195173
### 類似機能との比較
196174
197175
`constexpr if`文の導入によってC++の`if`系の条件分岐は3種類になった。

0 commit comments

Comments
 (0)