c/c++ const关键字笔记

学习总结，错误之处还请大牛们指正，谢谢

const 英文全名constance，中文翻译恒定的。

定义一个const变量必须初始化，如const int i = 3。而这样的语句：const int i; i = 3则不会通过编译。

一般来说，const可能放在四种位置

第一种：定义变量

const int i = 3和 int const i = 3的含义是一样的。

const int *p 和int const *p含义一样，*p不可改变，就是说p指向的数据不能通过向*p赋值的方式改变。

int *const p表示p不可变，即p指向的地址不能改变，但是可以通过*p改变p所指向的整型数据的值。

const int * const p表示p不可变，p指向的数据不可变。

我发现大多习惯这样定义：const typename value，如const int a，而不是int const a。对于大多数情况来说这没什么问题，但是这样：

typedef PINT int *;

const PINT p和PINT const p的含义就不一样了。也许PINT const p更不容易被程序员误解。

第二种：函数参数声明

如果我们不希望传递给函数的实参被修改，那么可以如下声明一个函数：void fun( const char *p)。最典型的例子是我们常用的一些函数

unsigned int strlen(const char *str), char *strcpy(char *dst, const char *src)等等。

对于c++来说，可能经常见到在拷贝构造函数和=重载中出现const，如

class A

{

public:

    A(const A &t);

    A &operator=(const A &t);

};

不过并不是说所有的拷贝构造函数和=重载都应该用到const。如果有的资源只能够让一个类使用（暂时称为唯一资源吧），那么我们想使用一个新的对象代替老的对象的时候，利用拷贝构造函数或赋值拷贝可以得到老对象的所有资源，但是这样一来新老对象都拥有了对唯一资源的使用权，也许在函数体中我们该释放老对象对唯一资源的使用权，这就必然需要修改老对象的成员变量。

第三种：成员函数尾部

class A

{

public:

    void func() const;

};

这表示在func()实现中不可修改成员变量，任何在该函数体中改变成员变量的行为都会导致编译错误。但有个办法可以在该函数提中改变成员变量。使用mutable关键字声明的成员变量在该函数体中能够被改变。

class A

{

public:

    void func() const {a = 3;}

private:

    mutable int a;

};这样不会导致编译错误，但本人不推荐这样使用。

第四种:函数头

有时候可能会为了增加效率这样定义一个函数:

class A

{

public:

    STUDENT & getStu() {return stu;}

private:

    STUDENT stu; //STUDENT为学生类型，比较复杂

};

但是如果有人很暴力，A a; a.getStu()=anotherStu;这样就给a.stu赋值了。也许我们并不希望别人能够这么做，于是将声明改成const STUDENT & getStu()，用编译错误去阻止他人的暴行吧……

 

关于const的一些小心得

我们知道，在c/c++中不可以动态定义一个数组，比如

int i;

cin>>i; // 输入i

int a[i];是不会通过编译的因为编译器不知道该给a分配多大的空间。

但是这样

const int i = 3;

int a[i]是可以的。于是我想能不能这样：

int i;

cin>>i;

const int len = i;

int a[len];高兴的是在某些编译器上顺利通过。这样在某种程度上实现了需要用new或malloc才能实现的效果，我们就不用对这块内存进行管理了。但是不幸的事也发生了，在另一些编译器无法通过编译。因为编译器无法知道该给数组a分配多大空间。如果没记错的话，c/c++对栈空间的分配是在编译期进行的。而在编译期用户不可能来得及给i赋值。我认为让这种语句无法通过编译更为合理。如果你的编译器让它通过了，我也希望不要这么做，注意代码的可移植性……

 

const修饰的变量我认为理解为只读变量更合适，虽然很多书上说明它是常量。如果我们定义了一个常量，试图用任何手段去修改这个常量都是徒劳的。但const修饰的变量却很容易被修改。

const int a = 6;

int *p = (int *)&a; 

*p = 3;

于是a的值为3了。如果打印出a，可能会发现仍然是6，别惊讶，这是编译器优化的结果，在所有用到a的地方，可能都直接用6替换了。但是实际a的内存被该成了3。

 

c++关键字const_cast能够解除变量的const属性