true_type、false_typeを継承した構造体の{}の意味

Question

#include <type_traits>
#include <typeinfo>
#include <iostream>

template<typename = void>
struct is_true : std::false_type {};

template<typename = void>
struct is_false : std::true_type {};

int main() {
	// 下記コード {} の意味とは
	std::cout << is_true<>{} << std::endl;
	std::cout << is_false<>{} << std::endl;
}

上記のようなコードをよく見ますが、{}はなぜ必要なのでしょうか。
初期化だと()だから代用できるかと思いましたができませんでした。

Answer 1

上記のようなコードをよく見ますが、{}はなぜ必要なのでしょうか。

structの定義には、波括弧で囲われた本体が必要です。一般にはメンバ変数・メンバ関数を中で定義しますが、1つもないときにも省略はできません。

Comments

[__ook]

ああ…そうですよね…