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;
}


  • 1
    点赞
  • 0
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值