即使一个const成员函数将修改一个成员的值,下面将使用
compile.怎么会这样 ？
#include <iostream>
struct foo
{
std::string &str;
foo(std::string &other) : str(other) {}
void operator()(std::string &some) const
{
str += some;
}
};
int main()
{
std::string ext("Hello");
foo a{ ext };
std::string more(" world!");
a(more);
cout << a.str;
return 0;
}@H_301_3@
解决方法
类成员函数的const限定符表示该成员函数(例如,foo :: operator()const)不能从客户端的角度更改对象的状态(即,它是抽象状态).这不是说对象的原始位不会改变.
它是for C编译器将对象视为原始位,除非它们可以解析the problem of aliasing.在您的情况下,编译器不能.这是由于存在非常数别名(即std :: string& str)的事实,因此对象的状态是可修改的.
也就是说,在对象a上调用operator()不改变a的状态(即,尽管ext已经改变,但str仍然是ext的别名).
上面也解释了为什么用指向常量的指针(即,std :: string * const str)指向一个对象不能保证对象不被修改.它只保证对象不会通过该指针进行更改.
