const

最新推荐文章于 2024-07-12 03:21:22 发布

Aiphis7

最新推荐文章于 2024-07-12 03:21:22 发布

阅读量277

点赞数

分类专栏： C/C++

C/C++ 专栏收录该内容

26 篇文章

订阅专栏

刚才转载了一篇文章《情景分析“C语言的const关键字”》,csdn上也有一篇《Const用法小结》，可能很多人看了这两篇文章之后就对const绝望了，太复杂了。其实const并不复杂，它是有规则的，不然设计语言的语法就不好弄了（大家看一下编译原理就好理解了）。下面就说一下我对const的理解：

我觉得，语言里面的关键字，都有一个修饰域（即这个关键字修饰那块范围），还有一个修饰方向（即从那里开始修饰）。对于c类似的语言(c,c++,java),关键字的修饰方向都是从向右的，即关键字不会修饰它左边的东西。从编译原理的角度就好理解为什么这样了，我们现在编译器采用的基本都是LR(k)进行语法分析，LR（k）分析中k的意思是向有看输入串的个数，如果语法分析的时候得向左做看，那就不适合LR（k）了。关键字的修饰域好理解点，就是关键字修饰到哪里为止，对于c类似的语言(c,c++,java)，修饰域一般都是语句之内。

那我们对照const来理解一下：

const int max = 100;

const的修饰范围为int max,这里面的变量为max，所以代表max不能改。

=====================================================================

int const max = 100;

const的修饰范围为max,这里面的变量为max，所以照样代表max不能改。这里说一下，我们一般对static的写法是static int i=0;其实int static i=0;也是合法的。

=====================================================================

   const int *A;//修饰指向的对象，A可变，A指向的对象不可变
   const的修饰范围为int* A，这里面的变量为A，所以你只有使用*A才能达到const的修饰级别。所以代表的是A可变，

A指向的对象不可变，也就是使用*A=10是非法的。

 =====================================================================

int const *A;//修饰指向的对象，A可变，A指向的对象不可变

const的修饰范围为* A，这里面的变量为A，所以你只有使用*A才能达到const的修饰级别。所以代表的意思和上面是一致的。

 =====================================================================

int *const A; 　 //修饰指针A， A不可变，A指向的对象可变

const的修饰范围为A，这里面的变量为A，所以const是直接修饰A，也就是A就达到了const修饰级别，所以A=&M是非法的。

 =====================================================================

const int *const A; //指针A和A指向的对象都不可变

前一个const的修饰范围为int *const A，后一个const修饰范围为A,所以无论是使用A，还是*A都会达到const的修饰级别，

所以指针A和A指向的对象都不可变。

 =====================================================================

void fun0(const B* a );

const的修饰范围为B* a，所以*a才会达到const的修饰级别，所以在函数体里面不能使用*a=c;

 =====================================================================

void fun1(const B& a);

const的修饰范围为B& a，所以a就会达到const的修饰级别，所以在函数体里面不能使用a=c;

 =====================================================================

const B fun2( );

const的修饰范围为B，所以返回值就达到了const的修饰级别，所以下面的代码是非法的，

const B temp=fun2();

temp=c;

 =====================================================================

const B* fun3( );

const的修饰范围为B* ，所以返回值取值才会达到const的修饰级别，所以下面的代码是非法的，

const B* temp=fun2();

temp=&c;//合法

*temp=c;//非法

 =====================================================================

class Stack

{

public:

void Push(int elem);

int Pop(void);

int GetCount(void) const; //const 成员函数

private:

int m_num;

int m_data[100];

};

int Stack::GetCount(void) const

{

++m_num; //编译错误，企图修改数据成员m_num

Pop(); //编译错误，企图调用非const函数

Return m_num;

}

const修饰的是类成员方法的函数体，所以代表的意思是类的成员变量是不允许修改的。我觉得这个还和编译器有点关系，因为c++编译的时候一般会将this指针作为最后一个参数传进去（有些编译器会作为第一个参数传进行），所以上面的代码也可以理解的成为const修饰的是this指针，所以(（*this）.m_mum)++就已经达到了const的修饰级别了，所以会报错，调用成员方法原理也一样（C++的对象到编译的底层其实和c的结构体是相似的，最初c++编译器就是先编译成c，然后由c编译成可执行程序，大家搜索一下cfront就可以了解这段历史）。

=====================================================================

我觉得通过上面的分析方法就十分好理解const这个关键字，若有错误之处欢迎大家指出。

const 的用法的原理详细分析起来，一定要给出理由的话，还是比较困难的，但c编译器对const处理的语法规则还是有章可循的。

下面就具体分析一下const的语法规则:

const int a=2; //const修饰了int ,表示这行代码定义的变量,最后的取的int型的值是常量2，不可被后面的代码修改。

int const a=2; //const修饰了变量a ,表示这行代码定义的变量,最后的取的int型的值是常量2，不可被后面的代码修改。

const int *a; //const修饰了int ,表示这行代码定义的变量,最后的取的int型的值是常量，不可被后面的代码修改，

//但这行代码所定义的变量a是一个地址量因为没有被const修饰，还是可以被修改的。

int const *a; //const修饰了 *a , *a表示这行代码定义的变量a的取值, *a为int型值，即这行代码定义了a，最后的取的int型的值是常量，不可被后面的代码修改，

//但这行代码所定义的变量a是一个地址量因为没有被const修饰，还是可以被修改的。

int * const a; //const修饰了 a , a是一个地址变量，则a中存储的地址量将是一个常量，不能被后面的代码修改。这行代码中未被const修饰的是 *a 即对变量地址的取值，所以*a是可以被修改的。

const int **a; //const修饰了int ,表示这行代码定义的变量,最后的取的int型的值是常量，不可被后面的代码修改，