C++ const成员函数

 我们在写c++类或者阅读一些c++代码的过程中, 我们会遇到这种情形:我们会发现在成员函数的形参列表之后还紧跟一个const, 但是对其的含义一知半解。

#include <iostream>
#include <string>

class Case{
public:
    Case(char *s):content(s){}

    void test_const() const{
        std::cout << "function with const" << std::endl;
    }

    void test_const(){
        std::cout << "function without const" << std::endl;
    }
private:
    char *content;
};

int main()
{
    Case test1("const!");
    test1.test_const();
    const Case test2("not hava const!");
    test2.test_const();
    return 0;
}

 看上述代码， 我们会发现两者都是调用test_const这个方法， 但是输出的结果却是不一样的。 当我们谈到这个问题， 我们不得不说this指针的问题，编译器会将生成对象的地址传递给this指针。因此我们可以等价的认为，调用成员变量的代码变成这样：

// 实际我们编写的代码，能够执行的
test1.test_const();
// 伪代码，用于说明的，不能执行
Case::test_const(&test1);

 我们发现和python中的处理有些类似，不过python能够自定义self的名称，在这里我们无法自定义this的名称。对我们而言这个this，是一个隐形的形参，因此我们不能定义任何名称为this的参数。 又因为我们不能修改this的值，但是能够修改this指向的值。我们不难发现这个this是一个顶层const，所以其类型为Case *const（我们通过CodeBlocks的调试也可以发现）。虽然this是一个隐藏的形参， 但是仍然需要遵循变量初始化的规则。因此默认情况，我们不能将this绑定到一个常量对象上。因此我们不能用常量对象调用普通函数，因为普通函数有可能包含修改对象值的操作。例如我们将带const的代码注释之后，我们会发现，代码已经不能运行了。

【修改1：删除带const的test_const方法】

#include <iostream>
#include <string>

class Case{
public:
    Case(char *s):content(s){}
    void test_const(){
        std::cout << "function without const" << std::endl;
    }
private:
    char *content;
};

int main()
{
    Case test1("const!");
    test1.test_const();
    const Case test2("not hava const!");
    test2.test_const();
    return 0;
}

 我们根据const的性质，很容易可以发现，删除不带const的test_const，是可以正常运行的。
【修改2： 删除不带const的test_const】

#include <iostream>
#include <string>

class Case{
public:
    Case(char *s):content(s){}

    void test_const() const{
        std::cout << "function with const" << std::endl;
    }
private:
    char *content;
};

int main()
{
    Case test1("const!");
    test1.test_const();
    const Case test2("not hava const!");
    test2.test_const();
    return 0;
}

 因为this是一个隐藏的形参，因此我们没有办法直接显示的将this的类型声明为const Case* const，所以c++语言提供了这个方法来将this声明为const Case *const类型。明白了这个原因之后我们可以知道，一旦在函数形参列表后加上const， 那么在该方法内，我们将不能修改对象的值。

【修改3】 

#include <iostream>
#include <string>

class Case{
public:
    Case(char *s):content(s){}
    void test_const() const{
        std::cout << "function without const" << std::endl;
        std::cout << "修改前:" << this->content << std::endl;
        // 错误，试图修改this指向对象的成员变量
        this->content = "modify!";
        // 正确，没有修改this指向对象的成员变量
        // 只是将成员变量指向的地址上的内容修改了
        // 并没有修改。地址本身
        this->content[0] = '!';
        this->content[1] = '!';
        std::cout << "修改后:" << this->content << std::endl;
    }
private:
    char *content;
};

int main()
{
    char s2[] = "not hava const!";
    const Case test2(s);
    test2.test_const();
    return 0;
}