为什么在VS2017上执行索引失败?

我赌我的2美分那是一个编译器错误。

我知道如果我写的话 main()

std::cout << std::variant<tag<int>, tag<float>>{tag<float>{}}.index() << std::endl;

编译器没有抱怨。

如果我写一个模板函数,也不会抱怨

template <typename T, typename ... Ts>
void foo ()
 { std::cout << std::variant<tag<Ts>...>(tag<T>{}).index() << std::endl; }

我叫它,从 主体() 用

foo<int, long, int, long long>();

在中声明以下变量没有问题 主体()

std::integral_constant<std::size_t, std::variant<tag<int>, tag<float>>(tag<float>{}).index()>  ic;

但是如果我改变 get_index 专门化如下(使用大括号而不是圆括号进行初始化)

template <typename T, typename... Ts> 
struct get_index<T, std::variant<Ts...>>
    : std::integral_constant<std::size_t, std::variant<tag<Ts>...>{tag<T>()}.index()>
 { };

编译器抱怨,但有不同的错误

实例CPP

(12):错误C2440:“正在初始化”:无法从“初始值设定项列表”转换为“std::variant…>”

(12):注意:目标类型没有构造函数

(13):注意:参见正在编译的类模板实例化“get_index>”

编译器返回:2

看来,由于我无法理解的原因,编译器没有看到 std::variant<tag<Ts>...> 里面 获取索引 作为一个 std::variant 用所有的方法。