c++ - MSVC : a variable with non-static storage duration cannot be used as a non-type argument

Question

考虑以下受 this talk 启发的代码:

template<typename, typename...>
struct even_common_type_helper_impl;

template<std::size_t... Is, typename... Ts>
struct even_common_type_helper_impl<std::index_sequence<Is...>, Ts...>
{
    template<std::size_t I>
    using type_at = std::tuple_element_t<I, std::tuple<Ts...>>;

    using even_common_type = std::common_type_t<type_at<2 * Is>...>;
};

template<typename... Ts>
using even_common_type_helper =
    even_common_type_helper_impl<std::make_index_sequence<sizeof...(Ts) / 2>, Ts...>;

template<typename... Ts>
using even_common_type = typename even_common_type_helper<Ts...>::even_common_type;

基本上，我得到一个模板类型参数包，并尝试提取位于该包中偶数位置的所有类型的通用类型。

上面的代码适用于 gcc 8.1 和 clang 6.0，但在最新的 MSVC 版本中失败并出现以下错误:

error C2971: 'std::tuple_element_t': template parameter '_Index': 'I': a variable with non-static storage duration cannot be used as a non-type argument

我是否遗漏了这里的任何重要细节，或者这只是另一个 MSVC 错误？

Godbolt link

Answer 1

这是一个错误，Visual 在别名方面存在一些问题，这消除了 typename 的需要。 type_at

就是这种情况

template<std::size_t I>
using type_at = std::tuple_element_t<I, std::tuple<Ts...>>;

解决方法是将别名 type_at 用法替换为其别名:

using even_common_type = std::common_type_t<
    type_at<(2u * Is)>
...>;

通过

using even_common_type = std::common_type_t<
    typename std::tuple_element<2 * Is, std::tuple<Ts...>>::type
...>;

Demo