c++ - operator[](const char *) 歧义

Question

下面的代码

#include <string>

struct Foo {
    operator double() {
        return 1;
    }

    int operator[](std::string x) {
        return 1;
    }
};

int main() {
    Foo()["abcd"];
}

使用 g++ 编译良好，但使用 clang 和 intel 编译器编译失败，因为声明的方法和 native 运算符 [] 之间存在歧义。

如果 Foo 隐式转换为 int，我会很清楚，但这里转换为 double。这不是解决了歧义吗？

Answer 1

§13.3.3.1.2 [over.ics.user]/p1-2:

A user-defined conversion sequence consists of an initial standard conversion sequence followed by a user-defined conversion (12.3) followed by a second standard conversion sequence. If the user-defined conversion is specified by a constructor (12.3.1), the initial standard conversion sequence converts the source type to the type required by the argument of the constructor. If the user-defined conversion is specified by a conversion function (12.3.2), the initial standard conversion sequence converts the source type to the implicit object parameter of the conversion function.

The second standard conversion sequence converts the result of the user-defined conversion to the target type for the sequence.

特别是，存在从浮点到整型的隐式转换(§4.9 [conv.fpint]/p1):

A prvalue of a floating point type can be converted to a prvalue of an integer type. The conversion truncates; that is, the fractional part is discarded. The behavior is undefined if the truncated value cannot be represented in the destination type.

为了解决重载问题，适用的候选项是:

Foo::operator[](std::string x)              // overload
operator[](std::ptrdiff_t, const char *);   // built-in

给定一个类型为 (Foo, const char [5]) 的参数列表。

要匹配第一个运算符函数，第一个参数是精确匹配；第二个需要用户定义的转换。

为了匹配第二个内置函数，第一个参数需要一个用户定义的转换序列(用户定义的转换为double，然后是标准转换为std::ptrdiff_t ，一个 float 转换)。第二个参数需要一个标准的数组到指针的转换(仍然是精确匹配等级)，这比用户定义的转换要好。

因此对于第一个参数，第一个函数更好；对于第二个参数，第二个函数更好，我们有一个交叉的情况，重载解析失败，程序格式错误。

请注意，虽然出于运算符重载决策的目的，用户定义的转换序列可以有两个标准转换序列(一个在用户定义转换之前，一个在用户定义转换之后)，并且非类类型的操作数可以是转换以匹配候选者，如果选择了内置运算符，则第二个标准转换序列不适用于类类型的操作数，并且在运算符被解释为内置(§13.3.1.2 [over.match.oper]/p7):

If a built-in candidate is selected by overload resolution, the operands of class type are converted to the types of the corresponding parameters of the selected operation function, except that the second standard conversion sequence of a user-defined conversion sequence (13.3.3.1.2) is not applied. Then the operator is treated as the corresponding built-in operator and interpreted according to Clause 5.

因此，如果 Foo::operator[](std::string x) 被移除，编译器应该报告错误，而 clang 不会。这是一个明显的 clang 错误，如 it fails to reject the example given in the standard .