[C/C++] constexpr函数

常量表达式是指值不会改变并且在编译过程就能够得到计算结果的表达式。显然，字面值属于常量表达式，用常量表达式初始化的 const 对象也是常量表达式。如下：

const int max_num = 20; // max_num是常量表达式
const int limit = max_num + 1; // limit 是常量表达式
int staff_size = 2; // staff_size 不是常量表达式，因为staff_size没有用const修饰
const int zs = get_size(); // sz 不是常量表达式，虽然sz是个常量，但它的值在运行时才能确定

可见：一个对象（或表达式）是不是常量表达式由它的数据类型（是否const）和初始值共同决定。

constexpr(const expression)：

const可以用来修饰常量，可是只有当其初始值是个常量表达式时，const修饰的对象才是个常量表达式。C++11 提出了 constexpr 用于定义常量表达式。一般而言，如果你认定变量是一个常量表达式，那就把它声明成 constexpr 类型。constexpr 变量在定义时必须初始化.

constexpr int mf = 20; // mf是常量表达式
constexpr int limit = mf + 1; // limit 是常量表达式
constexpr int sz = get_sz(); // 只有当 get_sz() 是一个 constexpr 函数时才是一条正确的声明语句

指针和 constexpr：

当 constexpr 修饰指针时，constexpr 仅对指针有效，与指针所指的对象无关：

const int *p = nullptr; // p 是指向常量的指针
constexpr int *q = nullptr; // q 是常指针，constexpr 仅对指针有效

当然，const 和 constptr 可以一起来修饰一个指针，用于表明指向常量的常指针。

constexpr const int *p = &i;    // 指向常量的常指针，注意 &i 必须是常量表达式，i可以是全局变量或静态变量等等。。这些变量的地址在编译时就确定了

constexpr函数：

constexpr函数是指能用于常量表达式的函数。不同于一般函数，constexpr 函数的返回值类型及所有形参的类型都是字面值类型（算术类型，引用，指针等属于字面值类型），而且函数体中有且只有一条 return 语句。为了能在编译过程中随之展开，constexpr函数被隐式地指定为内联函数。constexpr 函数的返回值在编译时就能被确定。

我们允许 constexpr 函数不一定返回常量表达式，但是我们认为：

// 如果 arg 为常量表达式，则 scale(arg)也是常量表达式
constexpr size_t scale(size_t cnt) { return 2 * cnt;}

举例：

#include <iostream>
constexpr size_t scale(size_t cnt) {
return 2 * cnt;
}
int main () {
constexpr size_t sz;
constexpr size_t s = 3;
sz = scale(s);
std::cout << sz << std::endl;
return 0;
}

可见，constexpr 函数不一定返回常量表达式，但是在 scale(3) 可以在编译时确定。

[C/C++] constexpr函数相关推荐

constexpr函数
有点难理解权且记住,使用才会体会其中真正的差别. 常量表达式的概念:在编译期就可以计算出结果的表达式. 那么为什么要用常量表达式呢,用常量表达式会有什么好处: 1.允许一些计算只在编译时进行一次,而不 ...
C++ 11 新特性： constexpr变量和constexpr函数
constexpr变量字面值类型包括算术类型.引用.指针.枚举和数据成员都是字面值类型的聚合类. 聚合类的定义: 所有成员都是public的. 没有定义任何构造函数. 没有类内初始值 ...
[C++]constexpr函数
constexpr函数(constexpr function)是指能用于常量表达式的函数.定义constexpr函数的方法与其他函数类似,不过要遵循几项约定:函数的返回类型及所有形参的类型都得是字面值 ...
《C++ Primer 第五版》（第6.3~6.7节）——返回指向数组/函数的指针，函数重载，默认形参、inline函数和constexpr函数
1.返回指向数组/函数的指针顾名思义,就是函数返回值为指向数组/函数的指针. 数组的性质:不能被拷贝,函数也不能返回数组.但可以返回数组指针/引用,声明一个返回数组指针的函数,有四种方式,一种是直接 ...
C++中constexpr函数
1 简介 constexpr函数指的是在编译的时候就能得到其返回值的函数,也就是说编译器将constexpr函数直接转换成其返回值,因此,constexpr函数都是被隐式地定义为内联函数.使用cons ...
constexpr 函数 “qCountLeadingZeroBits“ 不会生成常数表达式
Fix MSVC2017 compilation with enabled relaxed constexpr on 32-bit target qt 的bug ,按照下列地址修改源码 https: ...
c++ 函数 -函数重载 -特殊用途的语言特性(默认实参，内联函数，constexpr ,assert,NDEBUG)
c++ 函数 -函数重载 -特殊用途的语言特性文章目录 c++ 函数 -函数重载 -特殊用途的语言特性函数重载定义: 重载和const形参 const_cast 和重载 const_cast 重 ...
C++11 constexpr使用
C++11为了提高代码执行效率做了一些改善.这种改善之一就是:生成常量表达式,允许程序利用编译时的计算能力.假如你熟悉模板元编程,你将发现constexpr使这一切变得更加简单.constexpr使我 ...
C++Primer学习——函数
编译器能以任意顺序对形参进行求值函数的返回类型不能是数组类型和函数类型. 函数开始时为形参分配内存,一旦函数结束,形参也就被销毁了. 如果弄成静态局部变量,那么回到程序终止结束时才被销毁. void ...

[C/C++] constexpr函数

[C/C++] constexpr函数相关推荐

最新文章

热门文章