const 限定符 学习笔记 C++


const对普通变量进行修饰,以表该变量在以后的使用中不被修改。

初始化

/*
*因对象一旦创建后其值便不能被修改,所以必须进行初始化
*根据初始化的值给定的表达式,初始化时机会再编译时或运行时确定
*当编译确定时,会在调用其值的地方编译时便用其值进行替换  
*(类似于define文本替换,但是define不会作类型检查)
*/
const int i = 12;                 //编译时初始化
const int j = get_size();         //运行时初始化

等价写法:
int const i = 12;
int const j = get_size();

const 对象作用域

默认仅在当前文本文件有效
需要在多个文件中生效时,需要在其声明和定义处用extern进行修饰


xxx.cc
extern const int i = 123;
xxx.h
extern const int i;

const 引用及指针

引用 [1]
当我们使用引用时一般都期望改变其值, 但是对于const对象本身是不被允许.
修改的,因此对于想把const对象绑定到引用时需要进行const修饰, 以表该引用不会改变其值.

引用的类型必须与其引用对象的类型一致 [2], 但是在初始化常量引用时只要表达式的结果能转换成引用的类型即可。例如

double dval = 3.14;
const int &ri = dval;
原因是编译器做了如下替换:
const int temp = dval;
const int &ri = temp;
// temp 是编译器临时创建的用于暂存表达式求值结果的临时变量。

// 另const引用可以绑定在非const变量上
int i = 3;
const int &k_ri = i;
i = 5;        //此时k_ri == 5;

指针及顶层const和底层const
指针本身是个变量,那其也可被const修饰,用于表明该指针的值不会被改变。
由于指针指向的亦是一个变量,那么该变量也存在const修饰的可能性,即一个指针变量可能存在双层const. 所谓低层const即用于修饰指针本身不会被改变,顶层const用于修饰指针指向的变量不会被改变。

int i = 1, b= 2;
const int *p = &i;  //底层const, *p解引用的值无法被改变, 但是p可以指向别的变量
*p = 4;   //不合法
p = &b;   //合法
int *const p2 = &i; //顶层const, p2无法指向其它变量,但是*p解引用的值可以改变.
*p2 = 1;  //合法
p2 = &b;  //不合法

注意:
进行对象拷贝时,对象必须有相同的底层const, 而顶层const则不影响.

const 在类中的使用

class Foo {
public:
    ...
    int get_i() { ++z_; return i_;}
    int get_z() { return z_; };
    ...
private:
    int i_;  //随意...
    int z_;  //计数get_i() 被调用的次数;
}

//对于Foo这样的类,如果某一天我们头脑发热想要声明一个常量,并调用相关成员,如下
const Foo k_var;
k_var.get_i();        //调用出错
k_var.get_z();       //调用出错
//对于成员函数的调用会提示报错,因为这些函数的调用可能会改变内部成员变量的值,
//这与你的期望不匹配。因此我们必须声明一个可被常量调用的版本, 通常如下,

class Foo {
public:
    ...
    int get_i() { ++z_; return i_;}
    int get_i() const { ++z_; return i_;}    //常量版本
    int get_z() { return z_; };
    int get_z() const { return z_; };          //常量版本
    ...
}

k_var.get_i();        //调用出错
k_var.get_z();       //正确
//此时对get_z()的调用是正确的,但是get_i()仍然是错误的,
//因为它试图在const成员函数里面改变成员变量的值z_,
//成员函数一旦被const修饰,通常意味着this指针的形态在其内部是const *this(便于理解),
//那么++this->z_这样的操作肯定是不合法的。
//但是对于z_这样我们希望无论在常量或非常量中都希望能够改变的值,我们可以在声明前加mutable修饰,表明是个可变的数据

class Foo {
public:
    ...
    int get_i() { ++z_; return i_;}
    int get_i() const { ++z_; return i_;}    //常量版本
    int get_z() { return z_; };
    int get_z() const { return z_; };          //常量版本
    ...
private:
    int i_;  //随意...
    mutable int z_;  //计数get_i() 被调用的次数;
}

k_var.get_i();   //正确

  1. 实际上引用的底层实现即是指针.

  2. C++ primer 2.4.1.

最后编辑于
©著作权归作者所有,转载或内容合作请联系作者
  • 序言:七十年代末,一起剥皮案震惊了整个滨河市,随后出现的几起案子,更是在滨河造成了极大的恐慌,老刑警刘岩,带你破解...
    沈念sama阅读 216,651评论 6 501
  • 序言:滨河连续发生了三起死亡事件,死亡现场离奇诡异,居然都是意外死亡,警方通过查阅死者的电脑和手机,发现死者居然都...
    沈念sama阅读 92,468评论 3 392
  • 文/潘晓璐 我一进店门,熙熙楼的掌柜王于贵愁眉苦脸地迎上来,“玉大人,你说我怎么就摊上这事。” “怎么了?”我有些...
    开封第一讲书人阅读 162,931评论 0 353
  • 文/不坏的土叔 我叫张陵,是天一观的道长。 经常有香客问我,道长,这世上最难降的妖魔是什么? 我笑而不...
    开封第一讲书人阅读 58,218评论 1 292
  • 正文 为了忘掉前任,我火速办了婚礼,结果婚礼上,老公的妹妹穿的比我还像新娘。我一直安慰自己,他们只是感情好,可当我...
    茶点故事阅读 67,234评论 6 388
  • 文/花漫 我一把揭开白布。 她就那样静静地躺着,像睡着了一般。 火红的嫁衣衬着肌肤如雪。 梳的纹丝不乱的头发上,一...
    开封第一讲书人阅读 51,198评论 1 299
  • 那天,我揣着相机与录音,去河边找鬼。 笑死,一个胖子当着我的面吹牛,可吹牛的内容都是我干的。 我是一名探鬼主播,决...
    沈念sama阅读 40,084评论 3 418
  • 文/苍兰香墨 我猛地睁开眼,长吁一口气:“原来是场噩梦啊……” “哼!你这毒妇竟也来了?” 一声冷哼从身侧响起,我...
    开封第一讲书人阅读 38,926评论 0 274
  • 序言:老挝万荣一对情侣失踪,失踪者是张志新(化名)和其女友刘颖,没想到半个月后,有当地人在树林里发现了一具尸体,经...
    沈念sama阅读 45,341评论 1 311
  • 正文 独居荒郊野岭守林人离奇死亡,尸身上长有42处带血的脓包…… 初始之章·张勋 以下内容为张勋视角 年9月15日...
    茶点故事阅读 37,563评论 2 333
  • 正文 我和宋清朗相恋三年,在试婚纱的时候发现自己被绿了。 大学时的朋友给我发了我未婚夫和他白月光在一起吃饭的照片。...
    茶点故事阅读 39,731评论 1 348
  • 序言:一个原本活蹦乱跳的男人离奇死亡,死状恐怖,灵堂内的尸体忽然破棺而出,到底是诈尸还是另有隐情,我是刑警宁泽,带...
    沈念sama阅读 35,430评论 5 343
  • 正文 年R本政府宣布,位于F岛的核电站,受9级特大地震影响,放射性物质发生泄漏。R本人自食恶果不足惜,却给世界环境...
    茶点故事阅读 41,036评论 3 326
  • 文/蒙蒙 一、第九天 我趴在偏房一处隐蔽的房顶上张望。 院中可真热闹,春花似锦、人声如沸。这庄子的主人今日做“春日...
    开封第一讲书人阅读 31,676评论 0 22
  • 文/苍兰香墨 我抬头看了看天上的太阳。三九已至,却和暖如春,着一层夹袄步出监牢的瞬间,已是汗流浃背。 一阵脚步声响...
    开封第一讲书人阅读 32,829评论 1 269
  • 我被黑心中介骗来泰国打工, 没想到刚下飞机就差点儿被人妖公主榨干…… 1. 我叫王不留,地道东北人。 一个月前我还...
    沈念sama阅读 47,743评论 2 368
  • 正文 我出身青楼,却偏偏与公主长得像,于是被迫代替她去往敌国和亲。 传闻我的和亲对象是个残疾皇子,可洞房花烛夜当晚...
    茶点故事阅读 44,629评论 2 354

推荐阅读更多精彩内容