3

我用 C++ 编写了这段代码：

class Foo
{
public:
    int& fun(){return var;}       // 1st fun
    int fun() const {return var;}  // 2rd fun
 private:
    int var;
};
int main()
{
    Foo foo;
    int i = foo.fun();
    return 0;
}

我知道 C++ 不能通过返回值来区分重载函数，但是为什么当我向第二个函数添加一个 const 时，重载可以工作？'const'做了什么？

4

3 回答 3

6

编译器无法区分返回类型，因为返回值可以在执行赋值之前进行转换。另一方面，调用函数的对象是函数的参数（尽管是隐含的），因此编译器可以区分它。

于 2012-08-11T02:05:43.583 回答
2

const 的使用方式如下：

Foo inst1;
const Foo inst2;

inst1.fun();    // 1st fun
inst2.fun();    // 2nd fun

函数名后面的 const 指的是隐式this参数。因此，对于 inst1 它将Foo*和对于 inst2 const Foo*。这将引导过载。

返回值不用于选择重载。同一层不允许具有相同参数集和不同类型返回值的方法/函数。

于 2012-08-11T02:04:47.263 回答
1

对于它的价值，标准中的语言（§13.3.1/3,4）：

类似地，在适当的时候，上下文可以构造一个参数列表，其中包含一个隐含的对象参数来表示要操作的对象。由于实参和形参在它们各自的列表中按位置关联，因此约定是隐式对象形参（如果存在）始终是第一个形参，而隐含对象形参（如果存在）始终是第一个形参。

对于非静态成员函数，隐式对象参数的类型是

—“对 cv X 的左值引用”，用于没有引用限定符或 & 引用限定符声明的函数

— 使用 && ref-qualifier 声明的函数的“对 cv X 的右值引用”，其中 X 是函数所属的类，cv 是成员函数声明上的 cv 限定。[ 示例：对于类 X 的 const 成员函数，假定额外参数的类型为“对 const X 的引用”。—结束示例]

于 2012-08-11T02:12:39.190 回答