C++ 重载解析、用户定义转换和函数模板

Question

对于 g++ 3.4 和 4.7，我观察到以下奇怪的行为:

如果需要用户定义的转换，则函数模板不匹配，而普通函数会。我在 C++98 标准中找不到相应的规则。 g++ 是否正确(正如我假设的那样)？或者这是一个错误？

template <class T>
int x(auto_ptr_ref<T> p)
{
  return 1;
}
// this would match
/*
int x(auto_ptr_ref<int> p)
{
   return 2;
}
*/
void dummy()
{
  cout << x(auto_ptr<int>()) << endl;
}

Answer 1

海湾合作委员会是正确的，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.

对于您的代码，auto_ptr_ref 与auto_ptr 不匹配，模板参数T 的推导失败，因此函数模板x() 根本不会被考虑用于重载决议。