C++编译器使用函数接口给常量赋值(常量表达式函数)

48 阅读 0 评论 32 点赞

我是靠谱客的博主雪白星月，最近开发中收集的这篇文章主要介绍C++编译器使用函数接口给常量赋值(常量表达式函数)，觉得挺不错的，现在分享给大家，希望可以做个参考。

概述

关键字：constexpr

传统C++有很大的限制，一般编译期，只能通过宏定义、枚举、常量来定义某些特定值，而新标准中，可以用关键字constexpr来通过常量表达式函数，给常量赋值；

先认识下，什么是常量表达式函数和非常量表达式函数：

constexpr int func() { return 1; }//常量表达式函数
const int func() { return 1; } //非常量表达式函数，即便使用了const，让人感觉像常量表达式
int func({ return 1; }//非常量表达式函数

当然，限制也是非常明显的，也就是所谓的“要求绝对严格”

// 函数必须有单一的return，即：运行期有效代码，只有一条return语句；
//函数必须有返回值，且返回值必须不为void；
//在使用前，函数必须已有定义，或者说 必须有函数体 更为准确；
//返回值中，不能包含非常量表达式、全局数据，且必须是常量表达式；

constexpr int Fun1(){ 
	int n = 0;//不合法
	return 1;
}

constexpr int Fun2(){ 
	static_assert(0,"xxx");//合法
	return 1;
}

constexpr void Func3(){ return 1; }// 不合法