为何c-类模板会忽略用户定义的转换运算符，而非模板却不会？

本文共计434个文字，预计阅读时间需要2分钟。

这段代码展示了如何通过结构体和常量表达式运算符重载实现类型转换。下面是简化后的内容：

c++struct A {};struct B { constexpr operator A() const { return {}; }};void F(A a) {}int main() { F(B());}

这段代码确实编译(重要的一点是F()只接受As,并且由于存在从B到A的隐式转换,我可以很容易地将B传递给它.)

struct A {}; struct B { constexpr operator A () const {return {};} }; void F (A a) {} int main() { F(B()); return 0; }

但模板化版本无法编译：

template <typename T> struct A {}; template <typename T> struct B { constexpr operator A<T> () const {return {};} }; template <typename T> void F (A<T> a) {} int main() { F(B<int>()); return 0; }

在GCC上出现以下错误(以及在MSVC上的等效错误)：

error: no matching function for call to ‘F(B<int>)’

(附加信息表明存在F(A<>)但B不从A继承.)

对于记录,在A中实现隐式转换运算符也没有帮助.

为什么模板版本没有编译？我错过了什么吗？或者实际上没有办法用类模板做到这一点？！

(注意：我知道我可以在呼叫站点明确地将B转换为A;这不是我喜欢的.)

Template argument deduction不考虑隐式转换.

Type deduction does not consider implicit conversions (other than type adjustments listed above): that’s the job for overload resolution, which happens later.

必须首先推导出模板参数T(在重载分辨率之前),但是给定参数A< T>.如果参数B< int>,则无法从中推导出T;然后编译失败.

作为解决方法,您可以使用显式转换,或者明确指定模板参数.

F<int>(B<int>());