为什么这个赋值操作导致函数调用不明确？

Question

考虑以下程序编译并运行正常:

#include <iostream>
#include <string>
using std::string;
struct BB
{
 // generic cast
 template<typename T>
 operator T() const
 {   
   std::cout<<"Generic cast\n";
   return 0;
 }
 // string cast
 operator string() const
 { 
   std::cout<<"string cast\n";
   return string("hello");
 }
};
int main()
{
  BB b;
  string s = b; // copy constructor
}

但如果我稍微更改main()函数的代码如下:

int main()
{
  BB b;
  string s;
  s = b;
} 

编译器给出以下错误消息(请参阅此处的实时演示)

[Error] ambiguous overload for 'operator=' (operand types are 'std::string {aka std::basic_string<char>}' and 'BB')

为什么这个电话不明确？这背后的原因是什么？看起来有很多重载operator=像一个for char,one for char*,one for const char*etc.这就是上面的程序让编译器变得模棱两可.

Answer 1

您的问题是模板转换运算符.

template<typename T>
operator T() const
{
    std::cout << "Generic cast\n";
    return 0;
}

允许BB转换为任何内容.因此,std::string::operator=可以考虑采用不同类型的所有重载.由于它们都是有效的,因此无法解决歧义并且您会收到错误.

如果您删除了模板转换,那么它将进行编译.模板转换也可以标记为explicit,然后您可以使用a static_cast到您想要的类型.