C++之谈谈const——常量对象、常量成员函数

首先来看一下常量对象的定义：
常量对象 (const object)，如果不希望某个对象的值被改变，即其成员函数不能有改变，则定义该对象的时候可以在前面加上const关键字，则此对象就被声明为了常量对象。

如果有一个类MyClass，则声明一个MyClass的对象时在前面加上const关键字，即：

const MyClass myClass();

就将myClass声明为了一个常量对象。

接下来再来看一下常量成员函数的定义：

常量成员函数 (const member function)， 可读取类中的数据成员，但不能修改。

const可以放在很多地方，其中当const放在了函数参数列表后面，大括号前面，如下：

int MyFun() const { return m_data; }

会将成员函数声明为了常量成员函数，表明这个函数内不允许修改类的数据成员。而普通的成员函数内是可以对类的数据成员进行修改的。

这里再插播一句，就是重载，const也属于参数列表的一部分，所以同名同形参类型和个数的常量和非常量函数，也属于函数重载，如下，为MyFun1的两个重载函数：

int MyFun1() { return m_data; }

int MyFun1() const { return m_data; }

---

有了这两个定义，现在我们可以说：

有两种对象，const object和non-const object；

有两种成员函数，const member function和non-const member function。

那么他们之间又有什么调用的约束或者说关系呢？

	const object	ono-const boject
const member function	?	?
non-const member function	?	?

来看这么一个类：

class MyClass
	{
	public:
		MyClass();
		MyClass(int iData) :m_data(iData) {}
		~MyClass();
	public:
		inline int GetData() const { return m_data; }
		inline int GetData(int iValue) { return m_data += iValue; }

	private:
		int m_data;
	};

它有一个int类型的成员变量m_data，两个成员函数，一个是const，一个non-const，作用都是返回一个int类型的值，不同的是一个改变了m_data的值，一个不改变。

然后看下对象和函数的调用：

int main()
{
    MyClass myClassA(1);
    cout << myClassA.GetData() << endl;
    cout << myClassA.GetData(1) << endl;
    const MyClass myClassB(1);
    cout << myClassB.GetData() << endl;
    cout << myClassB.GetData(1) << endl;

    system("pause");
}

这样写看起来没什么问题，但是编译器会报错：

没有与参数列表和对象匹配的 重载函数 "TestConst::MyClass::GetData" 实例(对象包含阻止匹配的类型限定符)	

到这里就知道了，非常量对象可以调用常量成员函数，也可以调用非常量成员函数，而常量对象则只能调用常量成员函数。

如果我们把MyClass的成员函数改成下面这种GetData的常量和非常量的重载呢？

class MyClass
	{
	public:
		MyClass();
		MyClass(int iData) :m_data(iData) {}
		~MyClass();
	public:
		inline int GetData() const { return m_data; }
		inline int GetData() { return ++m_data; }

	private:
		int m_data;
	};

可以猜一下下面这种调用会是什么情况？

int main()
{
    MyClass myClassA(1);
    cout << myClassA.GetData() << endl;
    const MyClass myClassB(1);
    cout << myClassB.GetData() << endl;

    system("pause");
}

结果输出为：

2
1

这是因为C++还有这么一个规则：

当成员函数的const版本和non-const版本同时存在时，常量对象只能调用const版本，而非常量对象只能调用non-const版本！