为什么不隐式调用模板化函数的运算符转换?(C++)

原因是在模板推导过程中,您没有得到隐式类型转换,它永远不会达到这一点。

考虑:

template <typename T>
struct foo {};

template <typename U>
void bar(foo<U>)
{}

foo<int> f;
bar(f);

对于对bar的调用,编译器可以推断出 U 是一个 int ,并实例化函数。但是,考虑:

template <typename U>
void bar(foo<const U>)
{}  // note  ^^^^

foo<int> f;
bar(f);

没有 U 编译器可以推断出 foo 匹配参数的类型。因此,模板实例化失败。转换是不可能发生的。

template <typename U>
void tf(pointer<const float>);

^除非在函数调用中显式指定参数类型,否则编译器将不匹配对此函数的函数调用,因为您不使用类型名 U 作为函数参数。我怀疑你想做如下的事情:

template <typename U>
void tf(pointer<U>);