为什么VS2017上的get_index实现失败？

Question

Barry 为变种提供了这个华丽的get_index ：

template <typename> struct tag { };

template <typename T, typename V>
struct get_index;

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

使用如下：

using V = variant<A, B, C>;
constexpr const size_t N = get_index<B, V>::value;  // 1

它在Clang（OSX）中运行良好。

但在Visual Studio 2017中， 我得到以下内容：

<source>(10): error C2039: 'index': is not a member of 'std::variant<tag<Ts>...>'
<source>(10): note: see declaration of 'std::variant<tag<Ts>...>'
<source>(11): note: see reference to class template instantiation 'get_index<T,std::variant<_Types...>>' being compiled
Compiler returned: 2

我不明白为什么。 有任何想法吗？

（完全披露：在我的项目中我实际上使用的是mpark::variant因为我一直在使用Xcode 9，它没有std::variant 。但是，从上面的Godbolt MCVE可以看出这会影响实现std::variant 。我确信问题出在上面的代码中，或者在编译器中。）

Answer 1

我打赌我的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; }

我从main()调用它

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

没问题也在main()声明以下变量

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()>
 { };

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

example.cpp

（12）：错误C2440：'初始化'：无法从'初始化列表'转换为'std :: variant ...>'

（12）：注意：目标类型没有构造函数

（13）：注意：请参阅正在编译的类模板实例化'get_index>'的引用

编译返回：2

似乎由于我无法理解的原因，编译器没有在get_index看到std::variant<tag<Ts>...>作为std::variant及其所有方法。