C++入门系列---C++ const 常量对象、常量成员函数和常引用

01 常量对象

如果不希望某个对象的值被改变，则定义该对象的时候可以在前面加const关键字。

性质：

①C++不允许在常量对象上调用成员函数，除非成员函数本身也被声明为常量。甚至对不会修改对象的成员函数，也是如此，此外，编译器不允许声明常量的成员函数修改对象；

②对一般情况下，通常修改对象的构造函数和析构函数而言，它们不允许被声明成const，但是他们依然可以用于修改常量对象的初始化；

③对象名列表可以由多个对象名，它们之间用逗号隔开，常量对象在定义的同时初始化，初始化后，再也不能修改它们的数据成员。

class CTest
{
public:
    void SetValue() {}
private:
    int m_value;
};

const CTest obj; // 常量对象

02 常量成员函数

在类的成员函数后面可以加const关键字，则该成员函数成为常量成员函数。

• 在常量成员函数中不能修改成员变量的值（静态成员变量除外）;
• 也不能调用同类的 非 常量成员函数（静态成员函数除外）

class Sample
{
public:
    void GetValue() const {} // 常量成员函数
    void func(){}
    int m_value;
};

void Sample::GetValue() const // 常量成员函数
{
    value = 0; // 出错
    func();    // 出错
}

int main()
{
    const Sample obj;
    obj.value = 100; // 出错，常量对象不可以被修改
    obj.func(); // 出错,常量对象上面不能执行 非 常量成员函数
    obj.GetValue // OK,常量对象上可以执行常量成员函数
    
    return 0;
}

03 常量成员函数的重载 

两个成员函数，名字和参数表都一样，但是一个是const，一个不是，那么是算是重载。

class Sample
{
public:
    Sample() { m_value = 1; }
    int GetValue() const { return m_value; } // 常量成员函数
    int GetValue() { return 2*m_value; } // 普通成员函数
    int m_value;
};

int main()
{
    const Sample obj1;
    std::cout << "常量成员函数 " << obj1.GetValue() << std::endl;
    
    Sample obj2;
    std::cout << "普通成员函数 " << obj2.GetValue() << std::endl;
}

执行结果：

常量成员函数 1
普通成员函数 2

04 常量引用 

引用前面可以加const关键字，成为常引用。不能通过常引用，修改其引用的变量的。

const int & r = n;
r = 5; // error
n = 4; // ok!

 对象作为函数的参数时，生产该对象参数是需要调用构造函数的，这样效率就比较低。用指针作为参数，代码又不好看，如何解决呢？

可以用对象的引用作为参数，防止引发复制构造函数，如：

class Sample
{
    ...  
};

void Func(Sample & o) // 对象的引用作为参数
{
    ...
}

 但是有个问题，对象引用作为函数的参数有一定的风险性，若函数中不小心修改了形参0，则实参也会跟着变，这可能不是我们想要的，如何避免呢？

可以用对象的常引用作为参数，如：

class Sample
{
    ...  
};

void Func(const Sample & o) // 对象的常引用作为参数
{
    ...
}

这样函数中就能确保不会出现无意中更改o值的语句了。