从 operator== 隐式调用构造函数

Question

我有以下代码：

class Employee {
friend string FindAddr( list<Employee> lst,string name );
public:
Employee(const string& s){ cout << "Employee CTOR" << endl;}
bool operator==( Employee& e) {
    return e.name == name;
}
private:
string name;
string addr;
};


string FindAddr( list<Employee> lst, string name ) { 
string result = "";
for( list<Employee>::iterator itr = lst.begin(); itr != lst.end(); itr++ ) { 
    if ( *itr == name ) { // Problematic code
        return (*itr).addr;
    }
}
return result;
}

据我了解，有问题的行if ( *itr == name ) 应遵循以下步骤：

1. 在Employee 类上识别它是operator==。
2. 试图确定是否存在从string name 到Employee 的转换，以便操作员可以工作。
3. 在对象 string name 上隐式调用构造函数 Employee(const string& s)。
4. 继续operator==。

但是，这一行在编译时给我带来了麻烦：

Invalid operands to binary expression ('Employee' and 'string' (aka 'basic_string<char>'))

即使我显式调用构造函数：

if ( *itr == Employee::Employee(name) )

我得到同样的错误。

这令人困惑。我很难理解隐式构造函数调用何时起作用（以及为什么即使我显式调用构造函数代码也不起作用）。

谢谢！

Answer 1

规则是：
临时文件只能绑定到const 引用。

正如您提到的 == 工作，
name 类型为 std::string 的对象需要转换为 Employee 类型，您的类 Employee 中的转换运算符应该可以实现这一点。然而，创建的Employee 对象是一个临时对象。即一个无名对象，它的寿命不足以需要一个名称。这样一个无名临时对象不能绑定到一个非常量引用。^{[Ref 1 ]}
所以你需要的是一个 const 引用：

bool operator==(const Employee& e)
                ^^^^^^

---

^{[参考 1]}
制定规则的动机：
Bajrne 在C++ 的设计和演变的第 3.7 节中概述了这一特定规则的动机。

不过，我犯了一个严重的错误，即允许非常量引用由非左值初始化。例如：

void incr(int &rr) {r++;}    

void g()
{
    double ss = 1;
    incr(ss);    //note: double passed int expected
}

由于int& 的类型不同，无法引用传递的double，因此生成了一个临时值来保存由ss 的值初始化的int。因此incr() 修改了临时的，结果没有反映回函数。

因此，很多时候临时对象是在函数调用中在不知不觉中生成的，在这些函数调用中它们是最不期望的，并且可能（错误地）假设它们的函数在传递的原始对象上工作，而函数在临时对象上运行。因此很容易编写一个假设一件事并做另一件事的代码。因此，为了避免这种容易误导的情况，我们制定了规则。

Answer 2

*itr 为您提供Employee，因此您将Employee 与字符串name 进行比较。

你需要的是if ( *itr.name == name )

这样您就可以将列表名称中的Employee 与您正在搜索的名称进行比较。