是 C++保证调用成员函数的某个常量？

Question

如果我有以下内容：

class A {
    int foo() const {
       j++;
       return i;
    }

    int& foo() {
       return i;
    }

    int i;
    mutable int j;
};

那么显然类似

A a;
a.foo() = 5;

调用非常量版本。但是需要满足哪些条件才能确保调用的是 const 或非常量版本，举几个例子......

int i = a.foo(); //I would expect to call the const. Is it guaranteed?

const int j = a.foo(); //Ditto

const int& l = a.foo(); //Ditto

int& k = a.foo(); //I would expect the non-const
foobar(k); //foobar is "void foobar(int)"
return; //but the compiler could potentially decide the const version is fine.

Answer 1

当对象本身是 const 时，将调用 const 函数。

int i = static_cast<const A>(a).foo(); //calls const function

另请参阅此代码以更好地理解：（必须阅读注释）

void f(const A &a) //a is const inside the function
{
    int i = a.foo(); // calls const function
}
void h(A &a) //a is non-const inside the function
{
    int i = a.foo(); // calls non-const function
}

A a;
f(a);
h(a); //pass the same object!

请参阅在线演示：http:// /ideone.com/96flE

Answer 2

a 的常量决定了哪个函数 - 您对返回值所做的操作不属于重载决策的一部分。您的所有示例都将调用非常量版本。

Answer 3

在确定采用哪个重载时，从不考虑返回值。

另外，当 a 声明为 时

A a;

，非常量版本优先。

如果 a 被声明为

const A a;

那么 const 版本只能被调用。

Answer 4

您的成员函数调用是否解析为 const 成员函数，取决于“this”指针的常量性，即隐式传递给被调用成员函数的点或箭头运算符的 LHS 上的对象。

解析为非 const：

A a;
a.foo();

解析为 const：

void bar(const A& a)
{
   a.foo();
}