为什么类的 const 版本选择非常量版本？

Question

以下是测试代码：

struct A
{
  operator int ();
  operator int () const;
};

void foo (const int);

现在，调用时：

foo(A());  // calls A::operator int()

为什么总是选择非常量版本？即使使 operator const int () const; 也不会对调用 foo() 产生任何影响。除了标准参考之外，有人可以逻辑地解释其背后的原因吗？

Answer 1

A() 为您提供一个非 const 限定的临时 A 对象。是的，A() 表达式是一个右值表达式，但这并不会使 A 对象成为 const 限定的。

由于 A 对象不是 const 限定的，因此非 const operator int() 与 const operator int() 完全匹配需要进行资格转换，因此选择非常量重载作为最佳匹配。

如果您希望它是 const 限定的，则需要显式请求 const 限定的 A：

foo(identity<const A>::type());

其中 identity 定义为

template <typename T>
struct identity { typedef T type; };

请注意，之间实际上没有区别operator const int() const 和 operator int() const：结果是右值，并且只有类类型右值可以是 const 限定的（int代码> 不是类类型）。

另请注意，您拥有的 void foo(const int) 和 void foo(int) 之间没有区别。参数类型的顶级 const 限定符不会影响函数的类型（即，这两个声明的类型都是 void foo(int)）。除其他原因外，这是因为对于调用者来说是否有顶级 const 限定符并不重要；无论如何，它都必须复制一份。顶级 const 限定符仅影响函数的定义。

Answer 2

詹姆斯·麦克内利斯' 的答案确实涵盖了所有内容，但（我希望）更多解释也不会造成伤害。

所以。

当您调用……

    o.operator int()

时，重载选择完全取决于o的常量。

没有别的了。

要了解原因，请考虑此类：

struct Bar
{
    void f() {}
    void f() const {}
};

从技术上讲，这些成员函数不需要是成员函数。它们也可以被选择为独立的功能。但是他们需要 Bar 参数：

struct Bar
{};

void f( Bar& ) {}
void f( Bar const& ) {}

希望现在更容易看到，当您

Bar o;
f( o );

这样做时，可以选择第一个函数。事实也是如此。因为如果选择了第二个功能，那么您将永远无法获得第一个功能。因为如果您将对象设置为 const，那么选择第一个对象就会破坏 const 的正确性。因此，当对象为 const 时，只能选择第二个，因此，当对象不是 const 时，将选择第一个。

简而言之，该规则的唯一实际替代方案是始终选择第二个规则，这将使第一个规则变得毫无用处，是吗？

干杯&呵呵，

Answer 3

关于 C++，您必须记住一条规则：它从不考虑选择重载时返回的值。在这种情况下，由于 operator int 函数不带任何参数，因此它也无法使用参数列表来缩小选择范围。它可以使用它所调用的对象的常量。由于这是一个新的临时对象，它不是 const，因此它不会选择 const 重载。