C中CONST的使用-CSDN博客

C中CONST的使用：

　　const是一个C语言的关键字，它限定一个变量不允许被改变。使用const在一定程度上可以提高程序的安全性和可靠性，另外，在观看别人代码的时候，清晰理解const所起的作用，对理解对方的程序也有一些帮助。

　　虽然这听起来很简单，但实际上，const的使用也是c语言中一个比较微妙的地方，微妙在何处呢？请看下面几个问题。

　　问题：const变量 & 常量

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

　　const int n = 5;

　　int a[n];

　　答案与分析:

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

　　2)、注意：在ANSI C中，这种写法是错误的，因为数组的大小应该是个常量，而const int n,n只是一个变量（常量 != 不可变的变量，但在标准C++中，这样定义的是一个常量，这种写法是对的），实际上，根据编译过程及内存分配来看，这种用法本来就应该是合理的，只是 ANSI C对数组的规定限制了它。

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

　　问题：const变量 & const 限定的内容

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

　　typedef char * pStr;

　　char string[4] = "abc";

　　const char *p1 = string;

　　const pStr p2 = string;

　　p1++;

　　p2++;

　　答案与分析：

　　问题出在p2++上。

　　1)、const使用的基本形式： const char m;

　　限定m不可变。

　　2)、替换1式中的m, const char *pm;

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

　　3)、替换1式char, const newType m;

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

　　问题：const变量 & 字符串常量

　　请问下面的代码有什么问题？

　　char *p = "i'm hungry!";

　　p[0]= 'I';

　　答案与分析：

　　上面的代码可能会造成内存的非法写操作。分析如下， “i'm hungry”实质上是字符串常量，而常量往往被编译器放在只读的内存区，不可写。p初始指向这个只读的内存区，而p[0] = 'I'则企图去写这个地方，编译器当然不会答应。

　　问题：const变量 & 字符串常量2

　　请问char a[3] = "abc" 合法吗？使用它有什么隐患？

　　答案与分析：

　　在标准C中这是合法的，但是它的生存环境非常狭小；它定义一个大小为3的数组，初始化为“abc”，，注意，它没有通常的字符串终止符'/0'，因此这个数组只是看起来像C语言中的字符串，实质上却不是，因此所有对字符串进行处理的函数，比如strcpy、printf等，都不能够被使用在这个假字符串上。

　　问题5：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。

C++中CONST
　　（一）简单介绍，把握全局

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

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

　　2.》》const与指针和引用。

　　（a）const与指针。

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

　　int me；

　　const int * p1=&me；//可以通过me来修改其值，但是不能用*p1来修改，p1可以转向

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

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

　　第一个此时const的意思是对p1来讲它指向的就是const常量，虽然me不是，但是对p1来说就是。

　　（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; //常成员函数, 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()

　　{

　　return X;

　　}

　　void SetX(int X)

　　{

　　this->X = X;

　　}

　　};

　　void main()

　　{

　　const C constC;

　　cout<<constC.GetX();

　　}

　　如果我们编译上面的程序代码，编译器会出现错误提示：constC是个常量对象，它只能调用const成员函数。虽然GetX( )函数实际上并没有改变数据成员X，由于没有const关键字限定，所以仍旧不能被constC对象调用。如果我们将上述代码中：

　　int GetX()

　　改写成：

　　int GetX()const

　　再重新编译，就没有问题了。

　　const成员函数的使用

　　const成员函数表示该成员函数只能读类数据成员，而不能修改类成员数据。定义const成员函数时，把const关键字放在函数的参数表和函数体之间。有人可能会问：为什么不将const放在函数声明前呢？因为这样做意味着函数的返回值是常量，意义完全不同。下面是定义const成员函数的一个实例：

　　class X

　　{

　　int i;

　　public:

　　int f() const;

　　};

　　关键字const必须用同样的方式重复出现在函数实现里，否则编译器会把它看成一个不同的函数：

　　int X::f() const

　　{

　　return i;

　　}

　　如果f( )试图用任何方式改变i或调用另一个非const成员函数，编译器将给出错误信息。任何不修改成员数据的函数都应该声明为const函数，这样有助于提高程序的可读性和可靠性。

本文来自CSDN博客，转载请标明出处：http://blog.csdn.net/liukun321/archive/2010/06/26/5696382.aspx

void 收藏
1.概述

　　本文将对void关键字的深刻含义进行解说，并详述void及void指针类型的使用方法与技巧。

　　2.void的含义

　　void的字面意思是“无类型”，void *则为“无类型指针”，void *可以指向任何类型的数据。

　　void几乎只有“注释”和限制程序的作用，因为从来没有人会定义一个void变量，让我们试着来定义：

　　void a;

　　这行语句编译时会出错，提示“illegal use of type 'void'”。不过，即使void a的编译不会出错，它也没有任何实际意义。

　　void真正发挥的作用在于：

　　（1）对函数返回的限定；

　　（2）对函数参数的限定。

　　我们将在第三节对以上二点进行具体说明。

　　众所周知，如果指针p1和p2的类型相同，那么我们可以直接在p1和p2间互相赋值；如果p1和p2指向不同的数据类型，则必须使用强制类型转换运算符把赋值运算符右边的指针类型转换为左边指针的类型。

　　例如：

　　float *p1;

　　int *p2;

　　p1 = p2;

　　其中p1 = p2语句会编译出错，提示“'=' : cannot convert from 'int *' to 'float *'”，必须改为：

　　p1 = (float *)p2;

　　而void *则不同，任何类型的指针都可以直接赋值给它，无需进行强制类型转换：

　　void *p1;

　　int *p2;

　　p1 = p2;

　　但这并不意味着，void *也可以无需强制类型转换地赋给其它类型的指针。因为“无类型”可以包容“有类型”，而“有类型”则不能包容“无类型”。道理很简单，我们可以说“男人和女人都是人”，但不能说“人是男人”或者“人是女人”。下面的语句编译出错：

　　void *p1;

　　int *p2;

　　p2 = p1;

　　提示“'=' : cannot convert from 'void *' to 'int *'”。

　　3.void的使用

　　下面给出void关键字的使用规则：

　　规则一如果函数没有返回值，那么应声明为void类型

　　在C语言中，凡不加返回值类型限定的函数，就会被编译器作为返回整型值处理。但是许多程序员却误以为其为void类型。例如：

　　add ( int a, int b )

　　{

　　return a + b;

　　}

　　int main(int argc, char* argv[])

　　{

　　printf ( "2 + 3 = %d", add ( 2, 3) );

　　}

　　程序运行的结果为输出：

　　2 + 3 = 5

　　这说明不加返回值说明的函数的确为int函数。

　　林锐博士《高质量C/C++编程》中提到：“C++语言有很严格的类型安全检查，不允许上述情况（指函数不加类型声明）发生”。可是编译器并不一定这么认定，譬如在Visual C++6.0中上述add函数的编译无错也无警告且运行正确，所以不能寄希望于编译器会做严格的类型检查。

　　因此，为了避免混乱，我们在编写C/C++程序时，对于任何函数都必须一个不漏地指定其类型。如果函数没有返回值，一定要声明为void类型。这既是程序良好可读性的需要，也是编程规范性的要求。另外，加上void类型声明后，也可以发挥代码的“自注释”作用。代码的“自注释”即代码能自己注释自己。

　　规则二如果函数无参数，那么应声明其参数为void

　　在C++语言中声明一个这样的函数：

　　int function(void)

　　{

　　return 1;

　　}

　　则进行下面的调用是不合法的：

　　function(2);

　　因为在C++中，函数参数为void的意思是这个函数不接受任何参数。

　　我们在Turbo C 2.0中编译：

　　＃i nclude "stdio.h"

　　fun()

　　{

　　return 1;

　　}

　　main()

　　{

　　printf("%d",fun(2));

　　getchar();

　　}

　　编译正确且输出1，这说明，在C语言中，可以给无参数的函数传送任意类型的参数，但是在C++编译器中编译同样的代码则会出错。在C++中，不能向无参数的函数传送任何参数，出错提示“'fun' : function does not take 1 parameters”。

　　所以，无论在C还是C++中，若函数不接受任何参数，一定要指明参数为void。

　　规则三小心使用void指针类型

　　按照ANSI(American National Standards Institute)标准，不能对void指针进行算法操作，即下列操作都是不合法的：

　　void * pvoid;

　　pvoid++; //ANSI：错误

　　pvoid += 1; //ANSI：错误

　　//ANSI标准之所以这样认定，是因为它坚持：进行算法操作的指针必须是确定知道其指向数据类型大小的。

　　//例如：

　　int *pint;

　　pint++; //ANSI：正确

　　pint++的结果是使其增大sizeof(int)。

　　但是大名鼎鼎的GNU(GNU's Not Unix的缩写)则不这么认定，它指定void *的算法操作与char *一致。

　　因此下列语句在GNU编译器中皆正确：

　　pvoid++; //GNU：正确

　　pvoid += 1; //GNU：正确

　　pvoid++的执行结果是其增大了1。

　　在实际的程序设计中，为迎合ANSI标准，并提高程序的可移植性，我们可以这样编写实现同样功能的代码：

　　void * pvoid;

　　(char *)pvoid++; //ANSI：正确；GNU：正确

　　(char *)pvoid += 1; //ANSI：错误；GNU：正确

　　GNU和ANSI还有一些区别，总体而言，GNU较ANSI更“开放”，提供了对更多语法的支持。但是我们在真实设计时，还是应该尽可能地迎合ANSI标准。

　　规则四如果函数的参数可以是任意类型指针，那么应声明其参数为void *

　　典型的如内存操作函数memcpy和memset的函数原型分别为：

　　void * memcpy(void *dest, const void *src, size_t len);

　　void * memset ( void * buffer, int c, size_t num );

　　这样，任何类型的指针都可以传入memcpy和memset中，这也真实地体现了内存操作函数的意义，因为它操作的对象仅仅是一片内存，而不论这片内存是什么类型。如果memcpy和memset的参数类型不是void *，而是char *，那才叫真的奇怪了！这样的memcpy和memset明显不是一个“纯粹的，脱离低级趣味的”函数！

　　下面的代码执行正确：

　　//示例：memset接受任意类型指针

　　int intarray[100];

　　memset ( intarray, 0, 100*sizeof(int) ); //将intarray清0

　　//示例：memcpy接受任意类型指针

　　int intarray1[100], intarray2[100];

　　memcpy ( intarray1, intarray2, 100*sizeof(int) ); //将intarray2拷贝给intarray1

　　有趣的是，memcpy和memset函数返回的也是void *类型，标准库函数的编写者是多么地富有学问啊！

　　规则五 void不能代表一个真实的变量

　　下面代码都企图让void代表一个真实的变量，因此都是错误的代码：

　　void a; //错误

　　function(void a); //错误