类 this指针 const成员函数 std::string isbn() const {return bookNo;}

Posted 2020-08-07 晴朗

tags:

篇首语：本文由小常识网(cha138.com)小编为大家整理，主要介绍了类 this指针 const成员函数 std::string isbn() const {return bookNo;}相关的知识，希望对你有一定的参考价值。

转载：http://www.cnblogs.com/little-sjq/p/9fed5450f45316cf35f4b1c17f2f6361.html

C++ Primer 第07章类

7.1.2

Sales_data类的定义如下：

#ifndef SALES_DATA_H
#define SALES_DATA_H
#include <string>
#include <iostream>
class Sales_data {
public:
std::string isbn() const {return bookNo;}
Sales_data& combine(const Sales_data&);
double avg_price() const;
private:
std::string bookNo;
unsigned units_sold = 0;
double revenue = 0.0;
};
Sales_data add(const Sales_data&, const Sales_data&);
std::ostream &print(std::ostream&, const Sales_data&);
std::istream &read(std::istream&, const Sales_data&);
#endif

注意第8行:

std::string isbn() const {return bookNo;}

这里const的作用是修改隐式this指针的类型，默认情况下，this的类型是指向类类型非常量版本的常量指针。例如在Sales_data成员函数中，this的类型是Sales_data *const，即类一旦实例化一个对象后，this指向这个对象，是不能改变的，但是对象本身可以变(通俗的讲，this保存的地址不能变，但是*this指向的内容是可以变的，所以*this是非常量，不可以将this绑定一个常量对象)，举个例子：

const int a = 5; //a为整型常量
int *const pa = &a; //pa是常量指针，但是*pa可以变，但是a又是常量，所以报错

所以这样就会带来一个问题：我们不能在一个常量对象上调用普通成员函数，测试如下：

去掉const，测试代码如下：

#include "Sales_data.h"
int main()
{
Sales_data data1;
std::cout << data1.isbn() << std::endl;
return 0;
}

结果OK，data1是非常量，调用普通成员函数没有问题，下面做一个改变，将data1声明成常量

#include "Sales_data.h"
int main()
{
const Sales_data data1;
std::cout << data1.isbn() << std::endl;
return 0;
}

CodeBlocks编译报错

error: passing \'const Sales_data\' as \'this\' argument of \'std::string Sales_data::isbn()\' discards qualifiers [-fpermissive]

如果isbn是一个普通函数而this是一个普通指针参数，则我们应该把this声明成const Sales_data *const。毕竟，在isbn的函数体内不会改变this所指向的对象，所以把this设置为指向常量的指针有助于提高函数的灵活性。

然而，this是隐式的并且不会出现在参数列表中，所以在哪儿将this声明成指向常量的指针就成为我们必须面对的问题。C++语言的做法是允许把const关键字放在成员函数的参数列表之后，此时，紧跟在参数列表后面的const表示this是一个指向常量的指针。像这样使用const的成员函数被称作常量成员函数(const member function)。

可以把isbn的函数体想象成如下形式：