c++中const的详细用法和const char*, char const*, char*const的区别，const和define宏定义的区别

const的详细用法和const char*, char const*, char*const的区别，const和define宏定义的区别

一个电脑小白的自我成长之路，*_^

下面的代码中编译器会报一个错误，你知道是哪个语句错了吗？

```cpp
typedef char * pStr;
char string[4] = "abc";
const char *p1 = string;
const pStr p2 = string;
p1++;
p2++;

是p2++出错了。这个问题提醒我们：typedef和#define不同，它不是简单的文本替换。上述代码中const pStr p2并不等于const char * p2。const pStr p2和const long x本质上没有区别，都是对变量进行只读限制，只不过此处变量p2的数据类型是我们自己定义的而不是系统固有类型而已。因此，const pStr p2的含义是：限定数据类型为char *的变量p2为只读，因此p2++错误。

解释：const char *p1 = string; 你可以这样理解：(const char) *p1 = string, p1是一个指针，指向const char的东西，这个东西就是string(string是一个字符数组的首地址，它的地址声明后肯定是const的，除非该数组销毁)，但是p1是一个指针变量，它是可以递增的，即你看到的p1++，它可以完成从数组的来遍历数组的目的。
　　而const pStr p2 = string;是这样的：由于p2不是指针，const直接修饰到了p2,即现在的p2是常量了（所以p2++就出错了，因为常量不能改），它的类型是pStr(我们自己定义的类型)，相当于 const int p2, const long p2等等，const都是直接修饰p2的，只不过int，long是系统类型，而pStr是我们定义的类型。为什么会出现这种效果了，就是因为 typedef,它把char *定义成一个复合的类型，要从整体上来理解语义，而不是字符替换后来理解语义。

const 与 指针
类型声明中const用来修饰一个常量，有如下两种写法，那么，请问，下面分别用const限定不可变的内容是什么?
1)、const在前面

const int nValue； //nValue是const
　　const char *pContent; //*pContent是const, pContent可变
　　const (char *) pContent;//pContent是const,*pContent可变
　　char* const pContent; //pContent是const,*pContent可变
　　const char* const pContent; //pContent和*pContent都是const 

2)、const在后面，与上面的声明对等

int const nValue； // nValue是const
　　char const * pContent;// *pContent是const, pContent可变
　　(char *) const pContent;//pContent是const,*pContent可变
　　char* const pContent;// pContent是const,*pContent可变
　　char const* const pContent;// pContent和*pContent都是const 

答案与分析：
　　const和指针一起使用是C语言中一个很常见的困惑之处，在实际开发中，特别是在看别人代码的时候，常常会因为这样而不好判断作者的意图，下面讲一下我的判断原则：
　　沿着号划一条线，如果const位于的左侧，则const就是用来修饰指针所指向的变量，即指针指向为常量；如果const位于*的右侧，const就是修饰指针本身，即指针本身是常量。你可以根据这个规则来看上面声明的实际意义，相信定会一目了然。
　　另外，需要注意：对于const (char *) ; 因为char *是一个整体，相当于一个类型(如 char)，因此，这是限定指针是const。

const char*, char const*, char*const的区别问题几乎是C++面试中每次都会有的题目。
Bjarne在他的The C++ Programming Language里面给出过一个助记的方法：
把一个声明从右向左读。

char * const cp; ( * 读成 pointer to ) cp is a const pointer to char
const char * p; p is a pointer to const char;
char const * p; 同上因为C++里面没有const*的运算符，所以const只能属于前面的类型。

C++标准规定，const关键字放在类型或变量名之前等价的。

const int n=5; //same as below
int const m=10

结论：
char * const cp : 定义一个指向字符的指针常数，即const指针
const char* p : 定义一个指向字符常数的指针
char const* p : 等同于const char* p
const char **是一个指向指针的指针，那个指针又指向一个字符串常量。
char **也是一个指向指针的指针，那个指针又指向一个字符串变量。

char a[3] = “abc” 合法吗？使用它有什么隐患？
　　答案与分析：
　　在标准C中这是合法的，但是它的生存环境非常狭小；它定义一个大小为3的数组，初始化为“abc”。注意，它没有通常的字符串终止符’\0’，因此这个数组只是看起来像C语言中的字符串，实质上却不是，因此所有对字符串进行处理的函数，比如strcpy、printf等，都不能够被使用在这个假字符串上。

1. const修饰普通变量和指针

const修饰变量，一般有两种写法：
const修饰变量，一般有两种写法：

const TYPE value;

TYPE const value;

这两种写法在本质上是一样的。它的含义是：const修饰的类型为TYPE的变量value是不可变的。

对于一个非指针的类型TYPE，无论怎么写，都是一个含义，即value只不可变。

例如：

const int nValue；         //nValue是const

int const nValue；    // nValue是const

但是对于指针类型的TYPE，不同的写法会有不同情况，例如：

A. const char *pContent;

B. char * const pContent;

C. char const *pContent;

D. const char* const pContent;

对于前三种写法，我们可以换个方式，给其加上括号

A. const (char) *pContent;

B. (char*) const pContent;

C. (char) const *pContent;

这样就一目了然。根据对于const修饰非指针变量的规则，很明显，A=C.

• 对于A,C, const修饰的类型为char的变量*pContent为常量，因此，pContent的内容为常量不可变.

• 对于B, 其实还有一种写法： const (char*) pContent;

含义为：const修饰的类型为char*的变量pContent为常量，因此，pContent指针本身为常量不可变.

• 对于D, 其实是A和B的混合体，表示指针本身和指针内容两者皆为常量不可变

总结:

(1) 指针本身是常量不可变

char*) const pContent;

const (char*) pContent;

(2) 指针所指向的内容是常量不可变

const (char) *pContent;

(char) const *pContent;

(3) 两者都不可变

const char* const pContent;

还有其中区别方法：

沿着*号划一条线，

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

如果const位于*的右侧，const就是修饰指针本身，即指针本身是常量。

2. const修饰函数参数

const修饰函数参数是它最广泛的一种用途，它表示函数体中不能修改参数的值(包括参数本身的值或者参数其中包含的值)。它可以很好

void function(const int Var); //传递过来的参数在函数内不可以改变(无意义，因为Var本身就是形参)

void function(const char* Var); //参数指针所指内容为常量不可变

void function(char* const Var); //参数指针本身为常量不可变(也无意义， 因为char* Var也是形参)

参数为引用，为了增加效率同时防止修改。

修饰引用参数时：

void function(const Class& Var);//引用参数在函数内不可以改变

void function(const TYPE& Var); //引用参数在函数内为常量不可变

3. const 修饰函数返回值

const修饰函数返回值其实用的并不是很多，它的含义和const修饰普通变量以及指针的含义基本相同。

(1) const int fun1() 这个其实无意义，因为参数返回本身就是赋值。

(2) const int * fun2()

调用时 const int *pValue = fun2();

我们可以把fun2()看作成一个变量，那么就是我们上面所说的1.(1)的写法，即指针内容不可变。

(3) int* const fun3()

调用时 int * const pValue = fun2();

我们可以把fun2()看作成一个变量，那么就是我们上面所说的1.(2)的写法，即指针本身不可变。

4. const修饰类对象/对象指针/对象引用

const修饰类对象表示该对象为常量对象，其中的任何成员都不能被修改。对于对象指针和对象引用也是一样。

const修饰的对象，该对象的任何非const成员函数都不能被调用，因为任何非const成员函数会有修改成员变量的企图。

例如：

class AAA

{
   void func1();

void func2() const;

}

const AAA aObj;

aObj.func1();     #  ×

aObj.func2();     #  正确

 

const AAA* aObj = new AAA();

aObj->func1(); #  ×

aObj->func2(); #  正确

5. const修饰成员变量

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

class A

{

   …

   const int nValue;       //成员常量不能被修改

   …

   A(int x): nValue(x) {}; //只能在初始化列表中赋值

}

6. const修饰成员函数

const修饰类的成员函数，则该成员函数不能修改类中任何非const成员函数。一般写在函数的最后来修饰。

class A

{

   …

void function()const; //常成员函数, 它不改变对象的成员变量. 也不能调用类中任何非const成员函数。

}

对于const类对象/指针/引用，只能调用类的const成员函数，因此，const修饰成员函数的最重要作用就是限制对于const对象的使用。

7. const常量与define宏定义的区别

(1) 编译器处理方式不同

define宏是在预处理阶段展开。

const常量是编译运行阶段使用。

(2) 类型和安全检查不同

define宏没有类型，不做任何类型检查，仅仅是展开。

const常量有具体的类型，在编译阶段会执行类型检查。

(3) 存储方式不同

define宏仅仅是展开，有多少地方使用，就展开多少次，不会分配内存。

const常量会在内存中分配(可以是堆中也可以是栈中)。