c – 为类模板忽略用户定义的转换运算符(非模板不是这样)

这段代码确实编译(重要的一点是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>());