这是可行的代码:
template<typename... Args> struct count;
template<>
struct count<> {
static const int value = 0;
};
template<typename T, typename... Args>
struct count<T, Args...> {
static const int value = 1 + count<Args...>::value;
};
现在我想知道为什么我们需要部分专门化计数类模板?
我们可以这样做:
template< typename... args> struct dd; // edited according to answer but now getting error redeclared with 2 template parameters which is point below with mark %%
template<>
struct dd<>{
static const int value = 0;
};
template<typename T, typename... args> //%%
struct dd{
static const int value= 1+ dd<args...>::value;
};
但这不起作用,但为什么呢?
任何帮助非常感谢:)
编辑:根据答案编辑解决方案.
解决方法:
使用模板< typename T,typename ... Args>你不能创建省略T的专业化(即dd<>) – 包可以是空的,但T不能.因此,您将模板声明为仅包含一个包的模板,专门用于空包以停止递归,并且部分专用于< T,Args ...>解压缩一种类型并创建一个包含(n – 1)类型的新包.
对于编辑:您不能定义具有不同参数但名称相同的另一个模板,您必须专门化现有的模板.
标签:c,c11,variadic-templates 来源: https://codeday.me/bug/20190729/1576463.html
本站声明: 1. iCode9 技术分享网(下文简称本站)提供的所有内容,仅供技术学习、探讨和分享; 2. 关于本站的所有留言、评论、转载及引用,纯属内容发起人的个人观点,与本站观点和立场无关; 3. 关于本站的所有言论和文字,纯属内容发起人的个人观点,与本站观点和立场无关; 4. 本站文章均是网友提供,不完全保证技术分享内容的完整性、准确性、时效性、风险性和版权归属;如您发现该文章侵犯了您的权益,可联系我们第一时间进行删除; 5. 本站为非盈利性的个人网站,所有内容不会用来进行牟利,也不会利用任何形式的广告来间接获益,纯粹是为了广大技术爱好者提供技术内容和技术思想的分享性交流网站。