C++ 运算符 == 和隐式转换解析

Question

如果我将struct A 定义为：

struct A {
    const char *data;
    operator const char * () const { return data; }
    friend bool operator== (const A &s1, const char *s2)
    { return /* typical string comparison result */; }
};

我写A{"hello"} == "test2"，是A::operator== 调用吗？标准中的内容是什么（为什么A 没有隐式转换为const char *？）

"test2" == A{"hello"} 呢？在这种情况下A 是否转换？

编辑：如果struct A 也有成员怎么办：

friend bool operator== (const char *s1, const A &s2)

Answer 1

当你这样做时

A{"hello"} == "test2"

我们对operator== 执行重载解析。首先，我们通过名称查找找到可行的候选者（[over.match.viable]）：

operator==(A const&, const char*);    // yours
operator==(const char*, const char*); // built-in

接下来，我们确定哪个候选者具有最佳的隐式转换序列。这是 [over.match.best] 中的第一个决胜局：

鉴于这些定义，如果对于所有参数 i，ICS_i(F1) 的转换序列并不比 ICS_i(F2) 差，然后
(1.3) — 对于某些参数 j，ICS_j(F1) 是比 ICS_j(F2) 更好的转换序列，或者，如果不是那样，[...]

两个运算符都是第二个参数的完全匹配。在第一个参数上，您的 operator== 是精确匹配，而内置参数需要用户定义的转换。精确匹配是最好的一种转换，而用户定义是最差的——因此，你的转换顺序更好，成为最好的可行函数。

在更广泛的意义上，A 不会隐式转换为 const char*，因为有一个更好的选择，它不是必须的。

---

当你这样做时：

"test2" == A{"hello"};

您的候选者不可行 - 没有从 const char* 到 A const& 的隐式转换（第一个参数），因此唯一可行的候选者是 const char* 的内置比较，这需要用户定义的从A 转换为const char*。

如果您希望调用 A::operator==，则必须为 operator==(const char*, A const&) 添加新的重载。