constexpr ifの落とし穴

会社の同僚から、以下のようなコードが動かない、ネット上をググると解決策らしきものが見つかるがそれもいまいち納得できない、という相談を受けた。 template < typename T > void f() { if constexpr ( std::is_same<T, int>{} ) { // Tがintのときのみ発動してほしい // 実際は常に発動する static_assert( false ) ; } } C++17にはconstexpr ifが追加された。これは条件付きコンパイルではない。条件付き実体化抑制だ。 constexpr ifは以下のように使う。 struct S { int value() { return 42 ; } } ; template < typename T > int to_int(T t) { int value{} ; if constexpr

[joint1]

C++がバージョンアップしていってるの面白いんだけど、めんどいっちゅうか、テンプレートメタプログラミングの理解が途中なのでね、もう少しやねんて

[rryu]

static_assertは副作用があるから評価のタイミングが異なると困るのか。

[tanakakazu]

C++はもうついていけない世界

[tsekine]

初心者から永遠に抜け出せる気がしないorz

[theatrical]

会社にこんだけ詳しい人が居るのはだいぶ羨ましい。

[tyru]

「C++の落とし穴を教えてほしい」