编译器不按套路出牌,该怎么办?const 成员函数深度剖析

一、const 成员函数

首先来复习一下 const 成员函数,我们自己实现一个字符串 MyStr,内部使用 char* 指针保存原始数据,使用 get_length() 函数获取数组的长度,由于 get 函数不会修改成员变量,可以使用 const 关键字修饰 get_length() 函数,编译期就会帮我们检查是否修改了成员变量,如果有修改,就会在编译期报错,这样就可以保护成员变量不被修改。

arduino 复制代码
class MyStr {
public:
  MyStr() {...}
  ~MyStr() {...}
  size_t get_length() const {
    // _length = 1;  编译出错
    return _length;
  }
  
private:
  char* _data = nullptr;
  size_t _length = 0;
}

二、logic const 和 bitwise const

编译器是怎么实现 const 成员检查的呢?在编译时它会检查该函数有没有对成员变量进行修改,比如上面代码里的赋值操作 _length = 1 就明显修改了成员变量,发现这样的操作编译器就会报警,这种校验就是 bitwise const。

然而只有 bitwise const 是不够的,设想 MyStr 中的 _data 使用了高速缓存,还有别的操作会修改字符串的长度,get_length() 函数需要改成下面这样。

arduino 复制代码
size_t get_length() const {
  _length = strlen(_data); // 编译器会报错
  return _length;
}

更新字符串长度并没有改变 _data 的内容,从逻辑(logic)来讲符合 const 函数的定义,但编译器并不这样认为,我们可以使用 mutable 字段让编译器不再阻拦我们,像下面这样

arduino 复制代码
MyStr {
public:
  MyStr() {...}
  ~MyStr() {...}
  size_t get_length() const {
    _length = strlen(_data); // 编译器不会报错
    return _length;
  }
  
private:
  char* _data = nullptr;
  mutable size_t _length = 0;
}

这种逻辑上不改变数据的 const 函数就叫做 logic const。

三、编译器检查不出怎么办

上面讲了一种绕过编译器检查的情况,下面来看一种编译器检查不出来的问题,当类的成员变量为指针时,只改变指针指向的数据而不改变指针,编译器是不会认为违背 const 原则的。比如我们提供 operater[] 操作符来访问 MyStr 的元素

arduino 复制代码
class MyStr {
public:
  ...
  char& operator[](const size_t index) const {
    return _data[index];
  }
private:
  char* _data = nullptr;
  size_t _length = 0;
}

MyStr my_str;
my_str[0] = 'a'; // 这样就通过const函数改变了成员变量指针指向的内容,并且编译器不会报错

这种情况怎么办呢?我们一定要记得把 const 函数的返回值设置为 const

arduino 复制代码
class MyStr {
public:
  ...
  const char& operator[](const size_t index) const {
    return _data[index];
  }
private:
  char* _data = nullptr;
  size_t _length = 0;
}

MyStr my_str;
my_str[0] = 'a'; // 这样编译器就会报错,因为我们修改了常引用

总结

最后把前面讲的总结为两点:

  1. 想要绕过编译器 const 检查时,对成员变量增加 mutable 修饰
  2. 常量函数的返回值(特别是引用和指针)一定要加 const 修饰
相关推荐
tan180°2 小时前
MySQL表的操作(3)
linux·数据库·c++·vscode·后端·mysql
彭祥.3 小时前
Jetson边缘计算主板:Ubuntu 环境配置 CUDA 与 cudNN 推理环境 + OpenCV 与 C++ 进行目标分类
c++·opencv·分类
lzb_kkk3 小时前
【C++】C++四种类型转换操作符详解
开发语言·c++·windows·1024程序员节
胖大和尚5 小时前
clang 编译器怎么查看在编译过程中做了哪些优化
c++·clang
钱彬 (Qian Bin)6 小时前
一文掌握Qt Quick数字图像处理项目开发(基于Qt 6.9 C++和QML,代码开源)
c++·开源·qml·qt quick·qt6.9·数字图像处理项目·美观界面
双叶8367 小时前
(C++)学生管理系统(正式版)(map数组的应用)(string应用)(引用)(文件储存的应用)(C++教学)(C++项目)
c语言·开发语言·数据结构·c++
源代码•宸7 小时前
C++高频知识点(二)
开发语言·c++·经验分享
jyan_敬言9 小时前
【C++】string类(二)相关接口介绍及其使用
android·开发语言·c++·青少年编程·visual studio
liulilittle9 小时前
SNIProxy 轻量级匿名CDN代理架构与实现
开发语言·网络·c++·网关·架构·cdn·通信
tan77º10 小时前
【Linux网络编程】Socket - UDP
linux·服务器·网络·c++·udp