C++ const常量对象、常量成员函数和常引用

01 常量对象

如果不希望某个对象的值被改变，则定义该对象的时候可以在前面加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值的语句了。