非类型模板参数专门化 [英] Non-type template parameter specialization

问题描述

我和GCC一起编译时，它需要设置Switch(A)，而msvc和Clang找不到MyType专门化，反之亦然。谁是对的？

template <std::size_t col_size, auto val>
struct sized_t2 {
    // static constexpr std::size_t size = col_size;
    // static constexpr auto value = val;
    using type = decltype(val);
};

template <typename>
struct MyType;


/* // (A)
#define GCC_CONST const
/*/
#define GCC_CONST
//*/

template <std::size_t col_size, auto val>
struct MyType<GCC_CONST sized_t2<col_size, val>> {
    using type = int;
};

template<sized_t2... Cols>
auto Test2()
{
    using XXX = std::tuple<typename MyType<decltype(Cols)>::type...>;
    (void)XXX{};
    return;
}

int main()
{
    struct x{};
    Test2<sized_t2<42,x{}>{}>();
}

推荐答案

这是一个GCC错误：decltype应用于模板参数会给出参数的(已调整，推导)类型，而不是(常量限定的)模板参数的对象如果它是类类型([dcl.type.decltype]/1.2)，则参数名称引用该对象作为表达式。可以照常使用额外的圆括号来获得表达式解释。

这篇关于非类型模板参数专门化的文章就介绍到这了，希望我们推荐的答案对大家有所帮助，也希望大家多多支持IT屋！