c – 如何使用默认模板参数分隔模板化类的声明和实现？

2019-08-28 08:08:18 阅读：310 来源： 互联网

我喜欢将我的类的声明和实现分开.我知道类模板和函数的实现也必须进入头文件,这不是问题.

我在实现这个课时遇到了麻烦：

template <size_t S, std::enable_if_t<(S > 0), int> = 0>
class Foo {
public:
    Foo();
}

到目前为止,我尝试过：

template<size_t S>
Foo<S>::Foo() {}

哪个失败了

error C3860: template argument list following class template name must list parameters in the order used in template parameter list

error C2976: ‘Foo<S,<__formal>>’ : too few template arguments

和

template<size_t S, int i>
Foo<S, i>::Foo() {}

哪个失败了

error C3860: template argument list following class template name must list parameters in the order used in template parameter list

error C3855: ‘Foo<S,<unnamed-symbol>>’ : template parameter ‘__formal’ is incompatible with the declaration

我也尝试过将模板声明更改为

template< size_t S,typename = std :: enable_if_t<(S> 0)>>

这也失败了第一条错误消息.

这样做的正确方法是什么？

解决方法:

您无法部分专门化模板功能(这就是您在第一个代码段中所做的工作).如果你问的是如何在课外定义它,试试这个：

template <size_t S, std::enable_if_t<(S > 0), int> j>
Foo<S, j>::Foo(){}

你不能只是替换std :: enable_if_t<(S> 0),int> by int,因为定义不相等(enable_if一个SFINAE出S == 0的情况).

Live snippet

标签：c,templates,c14,sfinae,enable-if
来源： https://codeday.me/bug/20190828/1749617.html

本站声明： 1. iCode9 技术分享网（下文简称本站）提供的所有内容，仅供技术学习、探讨和分享；
2. 关于本站的所有留言、评论、转载及引用，纯属内容发起人的个人观点，与本站观点和立场无关；
3. 关于本站的所有言论和文字，纯属内容发起人的个人观点，与本站观点和立场无关；
4. 本站文章均是网友提供，不完全保证技术分享内容的完整性、准确性、时效性、风险性和版权归属；如您发现该文章侵犯了您的权益，可联系我们第一时间进行删除；
5. 本站为非盈利性的个人网站，所有内容不会用来进行牟利，也不会利用任何形式的广告来间接获益，纯粹是为了广大技术爱好者提供技术内容和技术思想的分享性交流网站。

ICode9

c – 如何使用默认模板参数分隔模板化类的声明和实现？