C++ const 用法

最新推荐文章于 2024-05-21 13:39:05 发布

chentanxiong9975

最新推荐文章于 2024-05-21 13:39:05 发布

阅读量85

点赞数

原文链接：https://my.oschina.net/iblackangel/blog/888258

版权

引言

C++ const 允许指定一个语义约束，编译器会强制实施这个约束，它限定一个变量不允许被改变，使用 const 在一定程度上可以提高程序的安全性和可靠性。另外，在观看别人代码的时候，清晰理解 const 所起的作用，对理解对方的程序也有一些帮助。

修饰常量

const 修饰的变量是不可变的。以下两种定义形式在本质上是一样的：

const int a = 10;
int const a = 10;

指针使用 const

指针本身是常量不可变

char *const ptr;

指针所指向的内容是常量不可变，但指针本身可变

const char *ptr;

两者都不可变

const char *const ptr;

其中的区别方法，沿着 * 号划一条线：

如果 const 位于 * 的左侧，const 就是用来修饰指针所指向的变量，即指针指向为常量。
如果 const 位于 * 的右侧，const 就是修饰指针本身，即指针本身是常量。

函数中使用 const

const 修饰函数参数
- 传递过来的参数在函数内不可变（无意义，因为 var 本身就是形参）
```
void function(const int var);
```
- 参数指针所指内容为常量不可变
```
void function(const char *var);
```
- 参数指针本身为常量不可变（无意义，因为 char *var 也是形参）
```
void function(char *const var);
```
- 参数为引用，为了增加效率同时防止修改。修饰引用参数时：
```
void function(const std::string &var);    // 引用参数在函数内不会发生改变
```
const 修饰函数返回值

const 修饰函数返回值的含义和 const 修饰普通变量以及指针的含义基本相同。

源码 zeromq-4.1.4/src/err.cpp 示例：
```
// 我们把 errno_to_string() 看作一个变量， 即指针内容不可变
const char *zmq::errno_to_string(int errno_) 
{
    switch (errno) {
	  /* ... */
	  case EFSM:
	      return "Operation cannot be accomplished in current state";
	  }
}
```
一般情况下，函数的返回值为某个对象，如果将其声明为 const 时，多用于操作符的重载。

源码 zeromq-4.1.4/src/mutex.hpp 示例：

struct scoped_lock_t
{
    scoped_lock_t (mutex_t& mutex_)
        : mutex (mutex_)
    {
        mutex.lock ();
    }

    ~scoped_lock_t ()
    {
        mutex.unlock ();
    }

private:

    mutex_t& mutex;

    // Disable copy construction and assignment.
    scoped_lock_t (const scoped_lock_t&);
    const scoped_lock_t &operator = (const scoped_lock_t&);
};
  
  ```

类相关 const

const 修饰成员变量

const 修饰类的成员变量，表示该成员变量不能被修改，同时它只能在初始化列表中赋值。

class Car
{
    Car(const int vl) : _value(vl) { }

	   const int _value;
};

源码 zeromq-4.1.4/src/epoll.hpp 示例：

class epoll_t
{
    epoll_t (const ctx_t &ctx_) : ctx(ctx_) 
	   { 
	       // ... 
	   }

	   const ctx_t &ctx;
};

const 修饰成员函数

const 修饰类的成员函数，它不改变对象的成员变量，也不能调用类中任何非 const 成员函数，一般写在函数的最后来修饰。
```
class Car
{
    int value() const
	   {
	       return _value;
	   }
};
```
对于 const 类对象/指针/引用，只能调用类的 const 成员函数，因此，const 修饰成员函数的最重要作用就是限制对于 const 对象的使用。
- const 成员函数不被允许修改它所在对象的任何一个数据成员。
- const 成员函数能够访问对象的 const 成员函数，不可以访问其他成员函数。
const 修饰类对象/对象指针/对象引用
- const 修饰类对象表示该类对象为常量对象，其中的任何数据成员都不能被修改。对于对象指针和引用也是一样。
- const 修饰的对象，该对象的任何非 const 成员函数都不能被调用，因为任何非 const 成员函数会有修改成员变量的企图。
```
class ClassName 
{
    void func1();
	   void func2() const;
};

void function(const ClassName & obj)
{
    obj.func1();     // compile error
	   obj.func2();     // 正确
}
```