非类型模板参数特化

Question

当我使用 GCC 编译时，它需要设置开关 (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{}>{}>();
}

Answer 1

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