c++ - GCC5 : Nested variable template is not a function template?

Question

<分区>

Answer 1

如 dupe 所示，这是 gcc6 中修复的错误。

看起来在保留模板变量的同时没有解决方法。

对于避开变量模板的解决方法，您可以使用良好的旧静态非模板变量:

template<typename T>
struct traits {

    template<typename X>
    struct Is_vect
    {
        static constexpr bool value = true;
    };
};

template<typename T1, typename T2>
struct Are_all_vect
{
    static constexpr bool value = traits<T1>::template Is_vect<T2>::value;
};


bool something() {
    return Are_all_vect<void, double>::value;
}

或 constexpr 模板函数:

template<typename T>
struct traits {
    template<typename X>
    static constexpr bool vect() { return true; }
};

template<typename T1, typename T2>
constexpr bool all_vect() { return traits<T1>::template vect<T2>(); }

bool something() {
    return all_vect<void, double>();
}