constexpr到底是什么？
constexpr表达式是指值不会改变并且在编译过程就能得到计算结果的表达式。声明为constexpr的变量一定是一个const变量，而且必须用常量表达式初始化：
constexpr int mf = 20; //20是常量表达式
constexpr int limit = mf + 1; // mf + 1是常量表达式
constexpr int sz = size(); //之后当size是一个constexpr函数时才是一条正确的声明语句
指针和constexpr
必须明确一点，在constexpr声明中如果定义了一个指针，限定符conxtexpr仅对指针有效，与指针所指的对象无关。
const int*p = nullptr; //p是一个指向整形常量的指针
constexpr int* q = nullptr; //q是一个指向整数的常量指针
p是一个指向常量的指针，q是一个常量指针，其中的关键在于constexpr把它所定义的对象置为了顶层const。
-
#include <iostream>
-
-
int main()
-
{
-
int i = 10;
-
int j = 100;
-
-
std::cout << "i=" << i << std::endl;
-
-
constexpr int* p = &i;
-
*p = 8;
-
-
std::cout << "i=" << i << std::endl;
-
-
//p = &j; //error
-
-
return 0;
-
}
结果如下：
使用GNU gcc编译器时，constexpr指针所指变量必须是全局变量或者static变量(既存储在静态数据区的变量)。
-
#include <iostream>
-
-
int main()
-
{
-
static int bufSize = 512;
-
-
std::cout << "bufSize=" << bufSize << std::endl;
-
-
constexpr int* ptr = &bufSize;
-
*ptr = 1024;
-
std::cout << "bufSize=" << bufSize << std::endl;
-
-
return 0;
-
}
ps:全局变量和局部变量的存储区域不同，全局变量存放在静态数据区，局部变量存放在栈区。但还有一个小点就是存放在静态数据区的变量是由低地址向高地址存放的，但存放在栈区的变量却是由高地址向低地址存放的，存放在静态数据区的还有静态局部变量和静态全局变量。
constexpr函数
constexpr函数是指用于常量表达式的函数。
遵循以下规定：（1）函数的返回类型以及所有形参的类型都得是字面值类型；（2）函数体中必须只有一条return语句。
-
#include<iostream>
-
-
using namespace std;
-
-
constexpr int new_sz() {
-
return 42;
-
}
-
-
int main(int argc, char* argv[]) {
-
constexpr int foo = new_sz();
-
cout << foo << endl; //42
-
getchar();
-
return 0;
-
}
分析：我们把new_sz定义成无参的constexpr函数。因为编译器能在程序编译时验证new_sz函数返回的是常量表达式，所以可以用new_sz函数初始化constexpr类型的变量foo。
执行该初始化任务时，编译器把对constexpr函数的调用替换成其结果值。为了在编译过程中随时展开，constexpr函数被隐式地指定为内联函数。
constexpr函数体内也可以含有其他语句，只要这些语句在运行时不执行任何操作就行（求解答？）。例如，constexpr函数中可以有空语句、类型别名以及using声明。
-
constexpr int size() { //返回值类型为字面值类型
-
; //空语句
-
using In = int; //using声明
-
typedef int INT; //类型别名
-
return 10;
-
}
我们允许constexpr函数的返回值并非一个常量。当scale的实参是常量表达式，它的返回值也是常量表达式，反之则不然：
-
#include<iostream>
-
-
using namespace std;
-
-
constexpr int size() {
-
;
-
using namespace std;
-
typedef int INT;
-
return 10;
-
}
-
-
constexpr int new_sz() {
-
return 42;
-
}
-
-
//如果arg是常量表达式，则scale(arg)也是常量表达式
-
constexpr size_t scale(size_t cnt) {
-
return new_sz()*cnt;
-
}
-
-
int main(int argc, char* argv[]) {
-
int arr[scale(2)]; //正确
-
//int i = 2;
-
//int arr2[scale(i)]; //错误：scale(i)不是常量表达式
-
const int j = 2;
-
int arr3[scale(j)]; //正确
-
getchar();
-
return 0;
-
}
把内联函数和constexpr函数放在头文件中：
和其他函数不一样，内联函数和constexpr函数可以在程序中多次定义。毕竟，编译器要想展开函数仅有函数声明是不够的，还需要函数的定义。不过，对于某个给定的内联函数或者constexpr函数来说，它的多个定义必须完全一致。基于这个原因，内联函数和constexpr函数通常定义在头文件中。
文章来源: blog.csdn.net，作者：irrationality，版权归原作者所有，如需转载，请联系作者。
原文链接：blog.csdn.net/weixin_54227557/article/details/120608811
- 点赞
- 收藏
- 关注作者
评论（0）