非类型模板参数专门化 [英] 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屋!
查看全文