const用法

你也许有常量的概念并会用关键字const声明一个变量为常量,但是你知道const除了声明常量外,还可以声明const指针和const成员函数。本文将讨论const对象是如何建立、const对象的用途以及他们的语法。

Const声明

仅仅用一个关键字就可以声明三种截然不同的结构,所以const声明常常让人混淆。让我们仔细看看这些这三种不同的const结构。

Const对象
当你把某个对象定义为const类型(在这里“对象”一词用的是它的广义语义,例如保存一个变量或者类对象的一段内存)之前,你需要确保程序不会再修改它。Const声明必须包括合适的初始化。代码清单A中包含有不同const对象的实例。

Const指针
如果把一个指针定义为const类型,那么程序就不能再让它指向一个新的地址。不过const指针所指向的对象仍可以修改,如代码清单B所示。

Const成员函数
一个类对象的状态由它的非静态数据成员组成。类中不需要修改对象状态的成员函数应该定义为const类型。你可以在类的成员函数的参数表后面加上关键字const来声明它为const函数。例如:

class Person{public:
int getAge() const {return age;} //const成员函数
private: int age;};

注意const成员函数是约束语法设计(the Design by Contract idiom)的一个重要的组成部分。Const成员函数确保了编程者承诺要实现的功能(如,保持对象的状态不变)由编译器强制实现。任何试图从内部修改const成员变量以及非const成员变量的举动都会导致编译时错误的产生:

int Person::getAge() const{
return ++age; //编译时出错
}
另外,const声明可以证明函数的行为。
混合类型

到目前为止,一切似乎都没有问题。然而,声明混合类型时麻烦不期而至。你能在下面的例子中分辨出x和y是哪一种类型么?

const char * x= “hello”;
char const * y= “world”;

x和y的类型是一样的,即“指向const类型字符串的指针”——虽然const出现在x和y的位置上。关键字const可以出现在它声明的变量的类型名(字)的前面或者后面,这不会影响到声明的意义——这与下面例子中的关键字long和unsigned很相似:

int long x;
long int y;
unsigned long l;
long unsigned m;

现在,让我们看看下面这个const声明:

char * const z= “world”;

这里,z的类型是“指向非const类型字符串的const型指针”。编译器是如何知道变量z是const指针而x和y不是呢?

--------------------------------------------------------------------------------
const指针和指向const变量的指针的区别是什么?
通过检查关键字出现在const星号之前还是之后,你可以区分const指针和const变量。“* const”声明一个const指针,与之相反,当const出现在星号之前,指针指向的对象是const类型的。
--------------------------------------------------------------------------------

指向const对象的const指针
你可以在单个声明中把const对象和const指针联在一起,即声明指向const对象的const指针。例如:


const int n=10;
const int * const p= & n; // 指向const int对象的const指针

因为p的声明中出现了“* const”,所以p是const型指针。p指向一个const型的整数,因在它的声明中,关键字const出现在星号之前。在通过有固定地址的内存缓冲来访问ROM设备的情况下,指向const对象的const指针的用法就特别有用。

现在,你也许正在想“我是不是可以在单个的声明语句中把三种const结构联在一起?”,答案是肯定的。在下面的例子中,我们定义一个返回一个指向const整数的const指针的const成员函数:

 

class A{
//…
const int * const get_scores(int id) const;
};


运算符const_cast<>
const_cast<>运算符用来消除对象的const属性。不过,使用这个运算符还有几个限制,我们将简单的讨论这些限制。

消除const属性
尽管const_cast<>可以消除一个对象的const属性,但这并不意味着你就可以修改该对象。考虑下面的例子:

const char * p= “hello world”;int main() {
char * s = const_cast (p); // 消除const属性
strcpy(s, “danger!”); // 不可以,不明确的状态
}

试图重写字符串s将会导致不明确的状态。其原因是const对象可能保存在系统的只读内存中。如果你强制去除一个对象的const属性可以把该对象当着非const对象使用(例如,把它传递给一个接受char *类型参数的函数),但不能修改它。

非const型到const型的转换
绝大多数程序员不知道const_cast<>也有相反的操作,也就是说,它可以把一个非const型的对象转换为const型对象。例如:


char s[]= “fasten your seatbelt”;
size=strlen(const_cast (s));// 更明确

但是你可以看到使用const_cast<>h的机会很少,原因是C++在需要使用const型对象的环境下会自动执行非const型到const型的转换。因此,你不会真正需要这样使用const_cast<>,除非你想验证你的代码。

结论
const在语法上的障碍常常使得编程者放弃使用它,这就削弱了编程质量和产生的代码的可读性以及可维护性。诚然,指向const对象的指针和const指针的区分不应该这么容易混淆——尤其是在处理混合类型时;不过,通过检查const限定词相对星号的位置可以消除上述的模糊性,并且,const成员函数很容易辨识(const出现在参数表后)。如果你对const感到头痛的话,相信通过本文,你会发现const的妙用。

文章出处:http://www.diybl.com/course/3_program/c++/cppjs/2008827/137764.html

评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值