C++编译器选择了类成员函数的错误重载

Question

我有这样的代码：

template <class T>
class Something
{
    T val;
public:
    inline Something() : val() {}
    inline Something(T v) : val(v) {}
    inline T& get() const { return val; }

    inline Something& operator =(const Something& a) { val = a.val; return *this; }
};

typedef Something<int> IntSomething;
typedef Something<const int> ConstIntSomething;

class Other
{
public:
    IntSomething some_function()
    {
        return IntSomething(42);
    }

    ConstIntSomething some_function() const
    {
        return ConstIntSomething(42);
    }
};

void wtf_func()
{
    Other o;
    ConstIntSomething s;
    s = o.some_function();
}

但是，编译器在 wtf_func() 中选择了错误的 Other::some_function() 重载（即非常量重载）。我该如何解决这个问题？请注意，由于某些原因，我无法更改 Other::some_function() 的名称。

Answer 1

o 不是 const 限定的，因此选择非 const some_function。如果要选择 const 限定的重载，则需要在 o 上添加 const 限定符：

Other o;
Other const& oref(o);
ConstIntSomething s;
s = oref.some_function();

当重载决策发生时，编译器只查看 o.some_function() > 子表达式；它不会查看函数调用周围的上下文来决定选​​择其他内容。此外，在重载决策期间不考虑成员函数的返回类型。

请注意，将 IntSomething 隐式转换为 ConstIntSomething 可能更有意义，可以使用 IntSomething 中的 operator ConstIntSomething() 重载 （不太好）或使用非显式的 ConstIntSomething(IntSomething const&) 构造函数ConstIntSomething（更好）。

Answer 2

它不会选择错误的过载； const-ness 通过 this 是否为 const 来解析。在您的情况下，o 是非const，因此选择非const 重载。

您可以通过创建对 o 的常量引用来破解此问题，例如：

const Other &o2 = o;
s = o2.some_function();

但实际上，您可能应该考虑 Something 中的重载。例如，您目前无法执行此操作：

IntSomething x;
ConstIntSomething y;
y = x;

这听起来不正确。为什么不应该允许您将 const 引用传递给非常量引用？

Answer 3

您的对象 o 必须是 const 对象，才能在其上调用 const 函数。否则，编译器会正确地选择该函数的非 const 版本。

Answer 4

编译器根据将成为 this 的对象的常量性来选择要使用的重载。您可以使用 static_cast 使其调用所需的版本：s = static_cast(o.some_function());

Answer 5

您可能还想复制 C++0x 标准库容器中的新行为。像 Vector 这样的容器现在具有成员 cbegin() 和 cend()，无论容器是否为 const，它们都会返回 const_iterator，这与 begin() 不同和end()

class Other {
    // Rest of other
public:
    // No overload for non-const
    // Even if called with a non const Other, since this member is marked
    // const, this will be of type Other const * in all cases and will call
    // the const qualified overload of some_function.
    ConstIntSomething csome_function() const
    {
        return some_function();
    }
};