为什么在类的const版本上选择非const版本？

Question

以下是测试代码：

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

void foo (const int); 

现在，当调用：

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

为什么它always chooses the non-const version？即使制作operator const int() const;对调用foo()也没有任何影响。除了标准参考之外，有人可以从逻辑上解释它背后的原因吗？

Answer 1

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

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

如果你希望它是const限定的，你需要明确要求常量限定A：

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

其中identity定义为

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

注意，有真operator const int() const和operator int() const之间没有差异：结果是一个右值和唯一的类型右值可以是常量限定（int不是类型）。

另请注意，您所拥有的void foo(const int)与void foo(int)之间没有区别。上参数类型顶层常量-限定符不影响功能的类型（即，这两个声明的类型是void foo(int)）。除此之外，这是因为调用者是否有顶级const限定符并不重要;无论如何都必须复制一份。顶级const限定符只影响函数的定义。

Answer 2

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

Answer 3

James McNellis ’答案真的覆盖了一切，但它没有’ t伤害（我希望）更多的解释。

所以。

当你打电话给＆hellip;

o.operator int() 

＆hellip;那么过载的选择完全取决于的恒定性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时，第一个被选中。

总而言之，唯一可行的选择就是总是选择第二个，这会使第一个无用，是吗？

干杯&第h。，