标签:type-deduction c c11 templates variadic-templates
这段代码编译得很好:
template <typename T1>
struct Struct {
};
struct ConvertsToStruct {
operator Struct<int>() const;
};
template <typename T>
void NonVariadicFunc(Struct<T>);
int main() {
NonVariadicFunc<int>(ConvertsToStruct{});
return 0;
}
但是,通过使用可变参数模板尝试使其更通用,无法编译:
template <typename T1>
struct Struct {
};
struct ConvertsToStruct {
operator Struct<int>() const;
};
template <typename... T>
void VariadicFunc(Struct<T...>);
int main() {
VariadicFunc<int>(ConvertsToStruct{});
return 0;
}
出了什么问题?为什么我没有尝试显式指定VariadicFunc的模板类型成功?
Godbolt链接=> https://godbolt.org/g/kq9d7L
解决方法:
有两个理由可以解释为什么这段代码无法编译.
首先,可以部分指定模板函数的模板参数:
template<class U, class V> void foo(V v) {}
int main() {
foo<double>(12);
}
此代码有效,因为您指定了第一个模板参数U并让编译器确定第二个参数.出于同样的原因,您的VariadicFunc< int>(ConvertsToStruct {});还需要模板参数推导.这是一个类似的例子,它编译:
template<class... U> void bar(U... u) {}
int main() {
bar<int>(12.0, 13.4f);
}
现在我们知道编译器需要对代码进行推导,然后是第二部分:编译器按固定顺序处理不同的阶段:
Template argument deduction takes place after the function template name lookup (which may involve argument-dependent lookup) and before template argument substitution (which may involve SFINAE) and overload resolution.
在模板参数推断之后,隐式转换在重载解析时发生.因此,在您的情况下,当编译器执行模板参数推导时,存在用户定义的转换运算符无效.显然ConvertsToStruct本身无法匹配任何东西,因此演绎失败并且代码无法编译.
标签:type-deduction,c,c11,templates,variadic-templates 来源: https://codeday.me/bug/20190828/1748606.html
本站声明: 1. iCode9 技术分享网(下文简称本站)提供的所有内容,仅供技术学习、探讨和分享; 2. 关于本站的所有留言、评论、转载及引用,纯属内容发起人的个人观点,与本站观点和立场无关; 3. 关于本站的所有言论和文字,纯属内容发起人的个人观点,与本站观点和立场无关; 4. 本站文章均是网友提供,不完全保证技术分享内容的完整性、准确性、时效性、风险性和版权归属;如您发现该文章侵犯了您的权益,可联系我们第一时间进行删除; 5. 本站为非盈利性的个人网站,所有内容不会用来进行牟利,也不会利用任何形式的广告来间接获益,纯粹是为了广大技术爱好者提供技术内容和技术思想的分享性交流网站。