有没有办法在C模板专门化中将条件置于常量值参数？

概述有没有办法将整数模板参数限制为专门化而不是代码冗余？ // redundant codetemplate <int N>struct A {};template <>struct A <0> {};template <>struct A <1> {};// what i want is some thing like thistemplate <int N>struct A 有没有办法将整数模板参数限制为专门化而不是代码冗余？

// redundant codetemplate <int N>struct A {};template <>struct A <0> {};template <>struct A <1> {};// what i want is some thing like thistemplate <int N>struct A {};template <>struct A <N < 2> {};

解决方法 您可以使用 SFINAE =“替换失败不是错误”.例如,有几种方法可以在这里完成

template<int N,typename E=voID>struct A { /* ... */ };     // general typetemplate<int N>struct A<N,std::enable_if_t<(N<2)> >{ /* ... */ };              // specialisation for N<2

请注意,std :: enable_if_t<>是C 14型,相当于

template<bool C,typename T=voID>using enable_if_t = typename std::enable_if<C,T>::type;

它是如何工作的？ std :: enable_if的定义类似于

template<bool C,typename T=voID>struct enable_if { using type=T; };template<typename T>struct enable_if<false,T> {};

特别是,在条件C为假的情况下,没有子类型enable_if :: type.因此,在上述特化中,enable_if_t<(N< 2>>仅对N <2扩展为有效类型(voID).对于N> = 2,我们具有替换失败,因为enable_if<(N< 2)> :: type不存在. C允许这样的失败,但只是忽略了生成的(无效的)代码.

总结

以上是内存溢出为你收集整理的有没有办法在C模板专门化中将条件置于常量值参数？全部内容，希望文章能够帮你解决有没有办法在C模板专门化中将条件置于常量值参数？所遇到的程序开发问题。

如果觉得内存溢出网站内容还不错，欢迎将内存溢出网站推荐给程序员好友。