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

Question

我有以下代码：

template <class T>
struct pointer
{
  operator pointer<const T>() const;
};


void f(pointer<const float>);

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

void g()
{
  pointer<float> ptr;
  f(ptr);
  tf(ptr);
}

当我使用 gcc 4.3.3 编译代码时，我收到一条消息 (aaa.cc:17: error: nomatching function for call to 'tf(pointer&)'< /code>) 表明编译器对于非模板化函数 f() 调用了'操作符指针'，但对于模板化函数 tf() 则没有调用。为什么除了使用 const 和非常量版本重载 tf() 之外，是否有任何解决方法？

预先感谢您的任何帮助。

Answer 1

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

考虑一下：

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 的类型与参数的类型相匹配。因此，模板实例化失败。没有机会发生转换。

Answer 2

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

^ 除非您在函数调用时显式指定参数类型，否则编译器不会将函数调用与此函数匹配，因为您不使用类型名称 U 作为函数参数。我怀疑你想做类似的事情：

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