C\C++的一些关键词 const_c define 关键词-CSDN博客

例：为什么下面的例子在使用一个const变量来初始化数组，ANSI C的编译器会报告一个错误呢？　

const int n = 5;

int a[n];

答案与分析：

1）这个问题讨论的是“常量”与“只读变量”的区别。常量，例如5， "abc"，等，肯定是只读的，因为常量是被编译器放在内存中的只读区域，当然也就不能够去修改它。而“只读变量”则是在内存中开辟一个地方来存放它的值，只不过这个值由编译器限定不允许被修改。C语言关键字const就是用来限定一个变量不允许被改变的修饰符（Qualifier）。上述代码中变量n被修饰为只读变量，可惜再怎么修饰也不是常量。而ANSI C规定数组定义时长度必须是“常量”，“只读变量”也是不可以的，“常量”不等于“不可变的变量”。但是在C99中，局部数组是可以使用变量作为其长度的。

2）但是在标准C++中，这样定义的是一个常量，这种写法是对的。实际上，根据编译过程及内存分配来看，这种用法本来就应该是合理的，只是ANSI C对数组的规定限制了它（实际上用GCC或VS2005编译以上代码，确实没有错误产生，也没有给出警告）。

3）那么，在ANSI C中用什么来定义常量呢？答案是enum类型和#define宏，这两个都可以用来定义常量。

例如：

#define N 10

enum {N=10};

例：下面的代码编译器会报一个错误，请问，哪一个语句是错误的呢？　

typedef char * pStr;

char string[4] = "bbc";

const char *p1 = string; //1式

const pStr p2 = string; //2式

p1++;

p2++;

答案与分析：

问题出在p2++上。

1）const使用的基本形式： const type m;

限定m不可变。

2）替换基本形式中的m为1式中的*p1，替换后const char *p1;

限定*p1不可变，当然p1是可变的，因此问题中p1++是对的。

3）替换基本形式中的type为2式中的pStr，替换后const pStr m;

限定m不可变，题中的pStr就是一种新类型，因此问题中p2不可变，p2++是错误的。

下面分别用const限定不可变的内容是什么？

1）const在前面

const int nValue； //nValue是const

const char *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* const pContent; //pContent和*pContent都是const

答案与分析：

const和指针一起使用是C语言中一个很常见的困惑之处，在实际开发中，特别是在看别人代码的时候，常常会因为这样而不好判断作者的意图，下面讲一下我的判断原则：

const只修饰其后的变量，至于const放在类型前还是类型后并没有区别。如：const int a和int const a都是修饰a为const。*不是一种类型，如果*pType之前是某类型，那么pType是指向该类型的指针

一个简单的判断方法：指针运算符*，是从右到左，那么如：char const * pContent，可以理解为char const (* pContent)，即* pContent为const，而pContent则是可变的。^[1]

int const * p1,p2;

p2是const；(*p1)是一整体，因此(*p1)是const，但p1是可变的。int * p1,p2只代表p1是指向整型的指针，要表示p1、p2都是指针是需写成int * p1,* p2。所以无论是* const p1,p2还是const * p1,p2，里面的*都是属于p1的。

int const * const p1,p2;

p2是const，是前一个const修饰的，*p1也被前一个const修饰，而p1被后一个const修饰。

int * const p1,p2;

p1是const，（* const p1）是整体，所以const不修饰p2。

指针指向及其指向变量的值的变化

const在*的左边，则指针指向的变量的值不可变；在*的右边，则指针的指向不可变。简记为“左定值，右定向”。

1）指针指向的变量的值不能变，指向可变

int x = 1;

int y = 2;

const int* px = &x;

int const* px = &x; //这两句表达式一样效果

px = &y; //正确，允许改变指向

*px = 3; //错误，不允许改变指针指向的变量的值

2）指针指向的变量的值可以改变，指向不可变

int x = 1;

int y = 2;

int* const px = &x;

px = &y; //错误，不允许改变指针指向

*px = 3; //正确，允许改变指针指向的变量的值

3）指针指向的变量的值不可变，指向不可变

int x = 1;

int y = 2;

const int* const px = &x;

int const* const px = &x;

px = &y; //错误，不允许改变指针指向

*px = 3; //错误，不允许改变指针指向的变量的值

在c中，对于const定义的指针，不赋初值编译不报错，

即int* const px;等不会报错。

但是，在C++中

int* const px;和const int* const px;会报错，const int* px;不报错。

必须初始化指针的指向int* const px = &x;const int* const px=&x;

强烈建议在初始化时说明指针的指向，防止出现野指针！

C++ CONST

（一）简单介绍，把握全局

const与define，指针，引用，函数，类成员

1.const与define。两者都可以用来定义常量，但是const定义时，定义了常量的类型，所以更精确一些。#define只是简单的文本替换，除了可以定义常量外，还可以用来定义一些简单的函数，有点类似内联函数(Inline)。const和define定义的常量可以放在头文件里面。（小注：可以多次声明，但只能定义一次）

2.const与指针和引用。

（a）const与指针。

先来看看下面的几种定义：

int me；

const int * p1=&me；//p1可变，*p1不可变，此时不能用*p1来修改，但是p1可以转向

int * const p2=&me；//p2不可变，*p2可变，此时允许*p2来修改其值，但是p2不能转向。

const int *const p3=&me；//p3不可变，*p3也不可变，此时既不能用*p3来修改其值，也不能转向

（b）指针和引用的区别很简单，就是引用更简洁，更安全。因为引用声明时必须初始化。引用更接近const指针，一旦与某个变量关联，就将一直效忠于他。

（c）const指针可以接受const和非const地址，但是非const指针只能接受非const地址。所以const指针的能力更强一些，所以尽量多用const指针，这是一种习惯。

3.（a）const与函数。由于 c，所以经常把函数的形参类型设为const，而且多为const 引用。但是这里有一个限制，不能把不是左值的地址传递给引用。（左值包括变量，数组元素，结构成员，引用，被解除引用的指针等）。形参是const类型的，说明该函数将不会修改其值，该函数便为const函数。

（b）const与类成员函数。先看看下面这段代码：

const Stock land =Stock("hyd");

land.show();

land 是常量，但是类成员函数show无法保证不修改land，所以编译器将拒绝执行该段代码。除非你能保证show像const函数一样，但这需要另外一种语法，即：

void show() const;(声明)

void Stock::show() const{}(定义)。

（二）详细介绍，注重细节

C中常用:“ #define 变量名变量值”定义一个值替代,然而却有个致命缺点:缺乏类型检测机制,这样预处理在C++中成为可能引发错误的隐患,于是引入const.

const使用:

1. 用于指针的两种情况:const是一个左结合的类型修饰符.

int const *A; //A可变,*A不可变

int *const A; //A不可变,*A可变

2.限定函数的传递值参数:

void function(const int Var); //传递过来的参数在函数内不可以改变.

3.限定函数返回值型.

const int function(); //此时const无意义

const myclassname function(); //函数返回自定义类型myclassname.

4限定函数类型.

void function()const; //常成员函数, 常成员函数是不能改变成员变量值的函数。

例如：

int Point::GetY()

{

return yVal;

}

这个函数被调用时，不改变Point对象，而下面的函数改变Point对象：

void Point:: SetPt (int x, int y)

{

xVal=x;

yVal=y;

}

为了使成员函数的意义更加清楚，我们可在不改变对象的成员函数的函数原型中加上const说明：

class Point

{

public:

int GetX() const;

int GetY() const;

void SetPt (int, int);

void OffsetPt (int, int);

private:

int xVal, yVal;

};

const成员函数应该在函数原型说明和函数定义中都增加const限定：

int Point::GetY() const

{

return yVal;

}

class Set {

public:

Set (void){ card = 0; }

bool Member(const int) const;

void AddElem(const int);

//...

};

bool Set::Member (const int elem) const

{

//...

}

非常量成员函数不能被常量成员对象调用，因为它可能企图修改常量的数据成员：

const Set s;

s.AddElem(10); // 非法: AddElem不是常量成员函数

s.Member(10); // 正确

*******但构造函数和析构函数对这个规则例外，它们从不定义为常量成员，但可被常量对象调用（被自动调用）。它们也能给常量的数据成员赋值，除非数据成员本身是常量。

为什么需要const成员函数？

我们定义的类的成员函数中，常常有一些成员函数不改变类的数据成员，也就是说，这些函数是"只读"函数，而有一些函数要修改类数据成员的值。如果把不改变数据成员的函数都加上const关键字进行标识，显然，可提高程序的可读性。其实，它还能提高程序的可靠性，已定义成const的成员函数，一旦企图修改数据成员的值，则编译器按错误处理。

const成员函数和const对象

实际上，const成员函数还有另外一项作用，即常量对象相关。对于内置的数据类型，我们可以定义它们的常量，用户自定义的类也一样，可以定义它们的常量对象。例如，定义一个整型常量的方法为：

const int i=1 ；

同样，也可以定义常量对象，假定有一个类classA，定义该类的常量对象的方法为：

const classA a(2)；

这里，a是类classA的一个const对象，"2"传给它的构造函数参数。const对象的数据成员在对象寿命期内不能改变。但是，如何保证该类的数据成员不被改变呢？

为了确保const对象的数据成员不会被改变，在C++中，const对象只能调用const成员函数。如果一个成员函数实际上没有对数据成员作任何形式的修改，但是它没有被const关键字限定的，也不能被常量对象调用。下面通过一个例子来说明这个问题：

class C

{

int X;

public:

int GetX()