const 成员函数

我们知道，在成员函数中，如果没有修改成员变量，应该给成员函数加上 const 修饰符，例如

#include <iostream>

using namespace std;

class Foo
{
public:
    Foo(int x) : _x(x) {}
    int getX() const { return _x; }
private:
    int _x;
};

int main()
{
    Foo f(1);
    cout << f.getX() << endl;
    return 0;
}

如果不加 const 修饰符，当使用 const 对象调用成员函数时，编译报错：

#include <iostream>

using namespace std;

class Foo
{
public:
    Foo(int x) : _x(x) {}
    int getX() { return _x; }
private:
    int _x;
};

int main()
{
    const Foo f(1);
    cout << f.getX() << endl;
    return 0;
}

jingyg@jingyg:~/share/mytest/cpp_test$ g++ -std=c++11 test.cpp 
test.cpp: In function ?.nt main()?.
test.cpp:17:17: error: passing ?.onst Foo?.as ?.his?.argument of ?.nt Foo::getX()?.discards qualifiers [-fpermissive]

由测试可知：

	const 对象	非 const 对象
const 成员函数	成功	成功
非 const 成员函数	失败	成功

const 对象有一个隐藏含义：保证成员变量不变。

const 变量还可以作为函数签名的一部分：

#include <iostream>

using namespace std;

class Foo
{
public:
    Foo(int x) : _x(x) {}
    int getX() const { cout << "with const" << endl; return _x; }
    int& getX() { cout << "without const" << endl; return _x; }
private:
    int _x;
};

int main()
{
    const Foo f(1);
    cout << f.getX() << endl;

    Foo f1(3);
    int& x = f1.getX();
    x = 2;
    cout << f1.getX() << endl;
    return 0;
}

jingyg@jingyg:~/share/mytest/cpp_test$ g++ -std=c++11 test.cpp 
jingyg@jingyg:~/share/mytest/cpp_test$ ./a.out 
with const
1
without const
without const
2

可以看到 const 对象调用 const 成员函数，非 const 对象调用非 const 成员函数