const和typedef关键字.docx

const和typedef关键字.docx

《const和typedef关键字.docx》由会员分享，可在线阅读，更多相关《const和typedef关键字.docx（21页珍藏版）》请在冰豆网上搜索。

const和typedef关键字

1.C中的CONST

const是一个C语言的关键字，它限定一个变量不允许被改变。

使用const在一定程度上可以提高程序的安全性和可靠性，另外，在观看别人代码的时候，清晰理解const所起的作用，对理解对方的程序也有一些帮助。

另外CONST在其他编程语言中也有出现，如C++、PHP5、C#.net、HC08C。

　　C中CONST的使用：

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

请看下面几个问题。

　　问题：

const变量&常量

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

　　constintn=5;

　　inta[n];

　　答案与分析:

　　1）、这个问题讨论的是“常量”与“只读变量”的区别。

常量肯定是只读的，例如5，"abc"，等，肯定是只读的，因为常量是被编译器放在内存中的只读区域，当然也就不能够去修改它。

而“只读变量”则是在内存中开辟一个地方来存放它的值，只不过这个值由编译器限定不允许被修改。

C语言关键字const就是用来限定一个变量不允许被改变的修饰符（Qualifier）。

上述代码中变量n被修饰为只读变量，可惜再怎么修饰也不是常量。

而ANSIC规定数组定义时长度必须是“常量”，“只读变量”也是不可以的。

　　2）、注意：

在ANSIC中，这种写法是错误的，因为数组的大小应该是个常量，而constintn,n只是一个变量（常量!

=不可变的变量，但在标准C++中，这样定义的是一个常量，这种写法是对的），实际上，根据编译过程及内存分配来看，这种用法本来就应该是合理的，只是ANSIC对数组的规定限制了它。

　　3）、那么，在ANSIC语言中用什么来定义常量呢？

答案是enum类型和#define宏，这两个都可以用来定义常量。

　　问题：

const变量&const限定的内容

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

　　typedefchar*pStr;

　　charstring[4]="abc";

　　constchar*p1=string;

　　constpStrp2=string;

　　p1++;

　　p2++;

　　答案与分析：

　　问题出在p2++上。

　　1）、const使用的基本形式：

constcharm;

　　限定m不可变。

　　2）、替换1式中的m,constchar*pm;

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

　　3）、替换1式char,constnewTypem;

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

　　问题：

const变量&字符串常量

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

　　char*p="i'mhungry!

";

　　p[0]='I';

　　答案与分析：

　　上面的代码可能会造成内存的非法写操作。

分析如下，"i'mhungry"实质上是字符串常量，而常量往往被编译器放在只读的内存区，不可写。

p初始指向这个只读的内存区，而p[0]='I'则企图去写这个地方，编译器当然不会答应。

　　问题：

const变量&字符串常量2

　　请问chara[3]="abc"合法吗？

使用它有什么隐患？

　　答案与分析：

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

　　问题5：

const&指针

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

　　1）、const在前面

　　constintnValue；//nValue是const

　　constchar*pContent;//*pContent是const,pContent可变

　　const（char*）pContent;//pContent是const,*pContent可变

　　char*constpContent;//pContent是const,*pContent可变

　　constchar*constpContent;//pContent和*pContent都是const

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

　　intconstnValue；//nValue是const

　　charconst*pContent;//*pContent是const,pContent可变

　　（char*）constpContent;//pContent是const,*pContent可变

　　char*constpContent;//pContent是const,*pContent可变

　　charconst*constpContent;//pContent和*pContent都是const

　　答案与分析：

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

　　（这个规则是错的）（因为“（）”的出现，使得这个规则有时候是不成立的）沿着*号划一条线，如果const位于*的左侧，则const就是用来修饰指针所指向的变量，即指针指向为常量；如果const位于*的右侧，const就是修饰指针本身，即指针本身是常量。

你可以根据这个规则来看上面声明的实际意义，相信定会一目了然。

　　另外，需要注意：

对于const（char*）;因为char*是一个整体，相当于一个类型（如char），因此，这时限定指针是const。

　　一个简单的判断方法：

指针运算符*，是从右到左，那么如：

charconst*pContent，可以理解为charconst（*pContent），即*pContent为const，而pContent则是可变的。

2．C++中CONST

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

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

　　1.》》const与define。

两者都可以用来定义常量，但是const定义时，定义了常量的类型，所以更精确一些。

#define只是简单的文本替换，除了可以定义常量外，还可以用来定义一些简单的函数，有点类似内置函数。

const和define定义的常量可以放在头文件里面。

（小注：

可以多次声明，但只能定义一次）

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

　　（a）const与指针。

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

　　intme；

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

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

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

　　（b）指针和引用的区别很简单，就是引用更简洁，更安全。

因为引用声明是必须初始化。

引用更接近const指针，一旦与某个变量关联，就将一直效忠于他。

　　（c）const指针可以接受const和非const地址，但是非const指针只能接受非const地址。

所以const指针的能力更强一些，所以尽量多用const指针，这是一种习惯。

　　3.》》（a）const与函数。

由于c，所以经常把函数的形参类型设为const，而且多为const引用。

但是这里有一个限制，不能把不是左值的地址传递给引用。

（左值包括变量，数组元素，结构成员，引用，被解除引用的指针等）。

形参是const类型的，说明该函数将不会修改其值，该函数便为const函数。

　　（b）const与类成员函数。

先看看下面这段代码：

　　constStockland=Stock（"hyd"）;

　　land.show（）;

　　land是常量，但是类成员函数show无法保证不修改land，所以编译器将拒绝执行该段代码。

除非你能保证show像const函数一样，但这需要另外一种语法，即：

　　voidshow（）const;（声明）

　　voidStock:

:

show（）const{}（定义）。

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

　　C中常用:

“#define变量名变量值”定义一个值替代,然而却有个致命缺点:

缺乏类型检测机制,这样预处理在C++中成为可能引发错误的隐患,于是引入const.

　　const使用:

　　1.用于指针的两种情况:

const是一个左结合的类型修饰符.

　　intconst*A;//A可变,*A不可变

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

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

　　voidfunction（constintVar）;//传递过来的参数在函数内不可以改变.

　　3.限定函数返回值型.

　　constintfunction（）;//此时const无意义

　　constmyclassnamefunction（）;//函数返回自定义类型myclassname.

　　4限定函数类型.

　　voidfunction（）const;//常成员函数,Const成员函数不能改变对象的成员函数。

　　例如：

　　intPoint:

:

GetY（）

　　{

　　returnyVal;

　　}

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

　　voidPoint:

:

SetPt（intx,inty）

　　{

　　xVal=x;

　　yVal=y;

　　}

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

　　classPoint

　　{

　　public:

　　intGetX（）const;

　　intGetY（）const;

　　voidSetPt（int,int）;

　　voidOffsetPt（int,int）;

　　private:

　　intxVal,yVal;

　　};

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

　　intPoint:

:

GetY（）const

　　{

　　returnyVal;

　　}

　　classSet{

　　public:

　　Set（void）{card=0;}

　　boolMember（constint）const;

　　voidAddElem（constint）;

　　//...

　　};

　　boolSet:

:

Member（constintelem）const

　　{

　　//...

　　}

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

　　constSets;

　　s.AddElem（10）;//非法:

AddElem不是常量成员函数

　　s.Member（10）;//正确

　　*******但构造函数和析构函数对这个规则例外，它们从不定义为常量成员，但可被常量对象调用（被自动调用）。

它们也能给常量的数据成员赋值，除非数据成员本身是常量。

　　为什么需要const成员函数？

　　我们定义的类的成员函数中，常常有一些成员函数不改变类的数据成员，也就是说，这些函数是"只读"函数，而有一些函数要修改类数据成员的值。

如果把不改变数据成员的函数都加上const关键字进行标识，显然，可提高程序的可读性。

其实，它还能提高程序的可靠性，已定义成const的成员函数，一旦企图修改数据成员的值，则编译器按错误处理。

　　const成员函数和const对象

　　实际上，const成员函数还有另外一项作用，即常量对象相关。

对于内置的数据类型，我们可以定义它们的常量，用户自定义的类也一样，可以定义它们的常量对象。

例如，定义一个整型常量的方法为：

　　constinti=1；

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

　　constclassAa

（2）；

　　这里，a是类classA的一个const对象，"2"传给它的构造函数参数。

const对象的数据成员在对象寿命期内不能改变。

但是，如何保证该类的数据成员不被改变呢？

　　为了确保const对象的数据成员不会被改变，在C++中，const对象只能调用const成员函数。

如果一个成员函数实际上没有对数据成员作任何形式的修改，但是它没有被const关键字限定的，也不能被常量对象调用。

下面通过一个例子来说明这个问题：

　　classC

　　{

　　intX;

　　public:

　　intGetX（）

　　{

　　returnX;

　　}

　　voidSetX（intX）

　　{

　　this->X=X;

　　}

　　};

　　voidmain（）

　　{

　　constCconstC;

　　cout<

　　}

　　如果我们编译上面的程序代码，编译器会出现错误提示：

constC是个常量对象，它只能调用const成员函数。

虽然GetX（）函数实际上并没有改变数据成员X，由于没有const关键字限定，所以仍旧不能被constC对象调用。

如果我们将上述代码中：

　　intGetX（）

　　改写成：

　　intGetX（）const

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

　　const成员函数的使用

　　const成员函数表示该成员函数只能读类数据成员，而不能修改类成员数据。

定义const成员函数时，把const关键字放在函数的参数表和函数体之间。

有人可能会问：

为什么不将const放在函数声明前呢？

因为这样做意味着函数的返回值是常量，意义完全不同。

下面是定义const成员函数的一个实例：

　　classX

　　{

　　inti;

　　public:

　　intf（）const;

　　};

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

　　intX:

:

f（）const

　　{

　　returni;

　　}

　　如果f（）试图用任何方式改变i或调用另一个非const成员函数，编译器将给出错误信息。

任何不修改成员数据的函数都应该声明为const函数，这样有助于提高程序的可读性和可靠性。

Typedef

目录

概述

typedef用法小结

代码简化

促进跨平台开发

C语言中typedef用法

概述

　　是一种在计算机编程语言中用来声明自定义数据类型，配合各种原有数据类型来达到简化编程的目的的类型定义关键字。

编辑本段typedef用法小结

　　在C语言的情况下，与C++稍有出入。

typedef在结构体定义，还有一些数组等地方都大量的用到。

归纳一下:

　　来源一:

UsingtypedeftoCurbMiscreantCode

　　Typedef声明有助于创建平台无关类型，甚至能隐藏复杂和难以理解的语法。

不管怎样，使用typedef能为代码带来意想不到的好处，通过本文你可以学习用typedef避免缺欠，从而使代码更健壮。

　　typedef声明，简称typedef，为现有类型创建一个新的名字。

比如人们常常使用typedef来编写更美观和可读的代码。

所谓美观，意指typedef能隐藏笨拙的语法构造以及平台相关的数据类型，从而增强可移植性和以及未来的可维护性。

本文下面将竭尽全力来揭示typedef强大功能以及如何避免一些常见的陷阱。

　　如何创建平台无关的数据类型，隐藏笨拙且难以理解的语法?

　　使用typedef为现有类型创建同义字。

　　定义易于记忆的类型名

　　typedef使用最多的地方是创建易于记忆的类型名，用它来归档程序员的意图。

类型出现在所声明的变量名字中，位于''typedef''关键字右边。

例如：

　　typedefintsize;

　　此声明定义了一个int的同义字，名字为size。

注意typedef并不创建新的类型。

它仅仅为现有类型添加一个同义字。

你可以在任何需要int的上下文中使用size：

　　voidmeasure（size*psz）;

　　sizearray[4];

　　sizelen=file.getlength（）;

　　std:

:

vectorvs;

　　typedef还可以掩饰复合类型，如指针和数组。

例如，你不用象下面这样重复定义有81个字符元素的数组：

　　charline[81];

　　chartext[81];

　　定义一个typedef，每当要用到相同类型和大小的数组时，可以这样：

　　typedefcharLine[81];

　　Linetext,secondline;

　　getline（text）;

　　同样，可以象下面这样隐藏指针语法：

　　typedefchar*pstr;

　　intmystrcmp（pstr,pstr）;

　　这里将带我们到达第一个typedef陷阱。

标准函数strcmp（）有两个‘constchar*'类型的参数。

因此，它可能会误导人们象下面这样声明mystrcmp（）：

　　intmystrcmp（constpstr,constpstr）;

　　用GNU的gcc和g++编译器，是会出现警告的，按照顺序，‘constpstr'被解释为‘char*const‘（一个指向char的常量指针），而不是‘char*'（指向char的指针）。

这个问题很容易解决：

　　typedefconstcpstr;

　　intmystrcmp（cpstr,cpstr）;//现在是正确的

　　记住：

不管什么时候，只要为指针声明typedef，那么都要在最终的typedef名称中加一个const，以使得该指针本身所指对象不会通过指针被修改。

　　链表中的大概应用

　　name保存在结构体单元的name[20]数组里;

　　typedefstructnode

　　{

　　charname[20];

　　structnode*link;

　　}stu;这是前面定义的结构体变量，一个单元包含两个部分，一个用来存储name的数组name[20],一个用来存放下一个单元地址的指向结构体node的指针。

假设该单元的地址是p,那么p->name表示第一部分name[20]的地址，p->link表示第二部分，作用是存放下一个单元的地址。

编辑本段代码简化

　　上面讨论的typedef行为有点像#define宏，用其实际类型替代同义字。

不同点是typedef在编译时被解释，因此让编译器来应付超越预处理器能力的文本替换。

例如：

　　typedefint（*PF）（constchar*,constchar*）;

　　这个声明引入了PF类型作为函数指针的同义字，该函数有两个constchar*类型的参数以及一个int类型的返回值。

如果要使用下列形式的函数声明，那么上述这个typedef是不可或缺的：

　　PFRegister（PFpf）;

　　Register（）的参数是一个PF类型的回调函数，返回某个函数的地址，其署名与先前注册的名字相同。

做一次深呼吸。

下面我展示一下如果不用typedef，我们是如何实现这个声明的：

　　int（*Register（int（*pf）（constchar*,constchar*）））

　　（constchar*,constchar*）;

　　很少有程序员理解它是什么意思，更不用说这种费解的代码所带来的出错风险了。

显然，这里使用typedef不是一种特权，而是一种必需。

持怀疑态度的人可能会问：

"OK，有人还会写这样的代码吗？

"，快速浏览一下揭示signal（）函数的头文件，一个有同样接口的函数。

　　typedef和存储类关键字（storageclassspecifier）

　　这种说法是不是有点令人惊讶，typedef就像auto，extern，mutable，static，和register一样，是一个存储类关键字。

这并不是说typedef会真正影响对象的存储特性；它只是说在语句构成上，typedef声明看起来象static，extern等类型的变量声明。

下面将带到第二个陷阱：

　　typedefregisterintFAST_COUNTER;//错误

　　编译通不过。

问题出在你不能在声明中有多个存储类关键字。

因为符号typedef已经占据了存储类关键字的位置，在typedef声明中不能用register（或任何其它存储类关键字）。

编辑本段促进跨平台开发

　　typedef有另外一个重要的用途，那就是定义机器无关的类型，例如，你可以定义一个叫REAL的浮点类型，在目标机器上它可以i获得最高的精度：

　　typedeflongdoubleREAL;

　　在不支持longdouble的机器上，该typedef看起来会是下面这样：

　　typedefdoubleREAL;

　　并且，在连double都不支持的机器上，该typedef看起来会是这样：

、

　　typedeffloatREAL;

　　你不用对源代码做任何修改，便可以在每一种平台上编译这个使用REAL类型的应用程序。

唯一要改的是typedef本身。

在大多数情况下，甚至这个微小的变动完全都可以通过奇妙的条件编译来自动实现。

不是吗?

标准库广泛地使用typedef来创建这样的平台无关类型：

size_t，ptrdiff和fpos_t就是其中的例子。

此外，象std:

:

string和std:

:

ofstream这样的typedef还隐藏了长长的，难以理解的模板特化语法，例如：

basic_string，allocator>和basic_ofstream>。