inline/constexpr function

1.内联函数能避免函数调用的开销
将函数指定为内联函数,通常就是将它在每个调用点上 “内联地”展开。假设我们把shorterString函数定义成内联函数, 则如下调用:

cout << shorterString(s1, s2) << endl;

将在编译过程中展开成类似千下面的形式:

cout << (sl.size() < s2.size() ? s1 : s2) << endl;

从而消除了shorterString函数的运行时开销。
在shorterString函数的返回类型前面加上关键字inline, 这样就可以将它声明成内联函数了:

    //内联版本:寻找两个string对象中较短的那个
    inline const string &
    shorterString(const string &sl, const string &s2){
        return sl.size() <= s2.size() ? sl : s2;
    }

内联函数说明只是向编译器发出的一个请求,编译器可以选择忽略这个请求。

2.constexpr 函数
constexpr函数Cconstexpr function)是指能用于常釐表达式的函数。定义constexpr函数的方法与其他函数类似,但是又如下几项约束:

  • 函数的返回类型及所有形参的类型都得是字面值类型;
  • 函数体中必须有且只有一条return语句;
 constexpr int new_sz () {
        return 42;
    }
 constexpr int foo = new_sz () ; //正确: foo是一个常量表达式,在编译过程中,constexpr 函数被隐式的指定为内联函数

我们把new_sz 定义成无参数的constexpr 函数。因为编译器能在程序编译时验证new_sz函数返回的是常朵表达式, 所以可以用new_sz函数初始化constexpr类型的变量 foo。
执行该初始化任务时, 编译器把对constexpr函数的调用替换成其结果值。为了能在编译过程中随时展开, constexpr函数被隐式地指定为内联函数。

  • constexpr函数体内也可以包含其他语句,只要这些语句在运行时不执行任何操作就行。例如,constexpr函数中可以有空语句、类型别名以及using声明。
  • constexpr函数的返回值并非一个常量:
    //如果arg是常量表达式, 则scale(arg)也是常量表达式
    constexpr size_t scale(size_t cnt) { 
        return new_sz() * cnt;
    }

当scale 的实参是常量表达式时, 它的返回值也是常量表达式; 反之则不然:

    int arr[scale(2) ];//正确: scale(2)是常量表达式
    int i = 2; // i不是常量表达式
    int a2[scale(i)];//错误: scale(i)不是常量表达式

当我们给scale函数传入一个形如字面值2的常械表达式时, 它的返同类型也是常量表达式。此时, 编译器用相应的结果值替换对scale函数的调用。
如果我们用一个非常量表达式调用scale函数, 比如int类型的对象i, 则返回值是一个非常量表达式。当把scale函数用在需要常量表达式的上下文中时, 由编译器负责检查函数的结果是否符合要求。如果结果恰好不是常量表达式,编译器将发出错误信息。

NOTE:constexpr 函数不一定返回常量表达式;

3.把内联函数和constexpr 函数放在头文件内
和其他函数不一样, 内联函数和constexpr函数可以在程序中多次定义。毕竟, 编译器要想展开函数仅有函数声明是不够的, 还需要函数的定义。不过, 对于某个给定的内联函数或者constexpr函数来说, 它的多个定义必须完全一致。基于这个原因, 内联函数和constexpr函数通常定义在头文件中。

4.令成员作为内联函数
在类中, 常有一些规模较小的函数适合千被声明成内联函数。定
义在类内部的成员函数是自动inline的;可以在类的内部把inline作为声明的一部分显式地声明成员函数, 同样的,也能在类的外部用inline关键字修饰函数的定义:

    /* 可以在函数的定义处指定inline */
    inline Screen &Screen:::move(pos r, pos c){ 
        pos row = r * width;
        cursor = row + c ;
        return *this;
    }
    /*在类的内部声明成inline*/
    char Screen:: get (pos r, pos c) const{
        pos row = r * width;
        return contents[row + c);
    };

虽然我们无须在声明和定义的地方同时说明inline, 但这么做其实是合法的。不过,最好只在类外部定义的地方说明inline, 这样可以使类更容易理解。

NOTE: 和我们在头文件中定义inline函数的原因一样,inline成员函数也应该与相应的类定义在同一个头文件中。

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

推荐阅读更多精彩内容

  • 前言 把《C++ Primer》[https://book.douban.com/subject/25708312...
    尤汐Yogy阅读 9,513评论 1 51
  • 一些情况下函数有个别形参不会被用到,此类形参通常不命名以表示在函数体内不会使用它。但是即便是这样,调用此函数的时候...
    修司敦阅读 327评论 0 0
  • 面向对象 Object Oritented 基于对象(Object Based) vs. 面向对象(Object ...
    Royye阅读 458评论 0 1
  • #1.定义抽象数据类型1.1 设计Sales_data类1.2 定义改进的Sales_data类1.3 定义类相关...
    MrDecoder阅读 404评论 0 0
  • 0.一些有用的概念 <0>: 自动对象:对于普通局部变量对应的对象而言,当函数的控制路径经过该变量定义语句时创建该...
    BrightHewei阅读 246评论 0 1