我们在写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;
}