c++ - 为什么不为模板函数隐式调用运算符转换？ (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: no matching function for call to ‘tf(pointer<float>&)’ )，表明编译器调用了 'operator pointer<const T>'对于非模板函数 f()，但对于模板函数 tf() 则没有。为什么以及除了使用 const 和非 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 的类型与参数的类型相匹配。因此，模板实例化失败。没有机会发生转换。