代码之家 › 专栏 › 技术社区 › Lightness Races in Orbit

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

variant c++17 visual-studio-2017 visual-studio c++

Lightness Races in Orbit · 技术社区 · 6 年前

巴里给了我们 this gorgeous get_index for variants :

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中 I'm getting 下列内容:

<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 因为我一直在使用Xcode9,而不是 std::variant . 但是,您可以从上面的godbolt mcve中看到,这会影响 STD::变异型 也。我相信问题可能出在上面的代码中,也可能出在编译器中。)

1 回复 | 直到 6 年前

max66 6 年前

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

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