0
点赞
收藏
分享

微信扫一扫

constexpr 函数


constexpr 函数 — C++ 20

constexpr double pi = 3.14;

constexpr允许你在编译时使用典型的C++函数语法进行编程,但这并不意味之constexpr只和编译期有关

constexpr函数可以在编译期运行,也可以在运行时运行

但在以下情况constexpr函数必须在编译期运行:

  • constexpr函数在编译的上下文中需要,比如数组初始化,类型萃取库,断言表达式
  • constexpr函数的值被constexpr的值需要,比如constexpr int a = func();

与模板元编程相似

constexpr 函数_c++

  • 模板元程序一定在编译期运行,但是constexpr函数可以在编译期或运行时运行
  • 模板元程序的参数可以使类型,非类型,模板
  • 编译期是没有状态的,这意味着模板元程序是纯粹的函数式风格
  • 在模板元程序中,不会修改值,只会在每次返回值
  • 在编译期,实现一个循环所需要的可变变量是不可能实现的,所有的循环都依赖递归
  • 在模板元程序中,条件执行都被模板的特化取代

对比

  1. constexpr参数与模板元函数的参数对比

constexpr 函数_模板元_02

  1. constexpr函数可以有可变的变量并修改,但是模板元函数无

constexpr 函数_知乎_03

  1. 模板元函数使用递归模拟循环

constexpr 函数_递归_04

  1. 模板元函数使用专门化或者模板结束循环

constexpr 函数_模板元_05

  1. 模板元函数不会修改变量,而是在每次递归中返回一个新值

constexpr 函数_模板元_06

  1. 模板元函数没有返回值,直接使用值作为返回值

constexpr 函数_知乎_07

实例化

template <typename T>
bool isSmaller(T fir, T sec)
{
	return fir < sec;
}

int main(int argc, char* argv[])
{
	isSmaller(5, 10); // (1)

	std::unordered_set<int> set1;
	std::unordered_set<int> set2;
	isSmaller(set1, set2); // (2)	
}

  1. 检查模板语法,通常由编译器完成
  2. 为每个不同类型的模板参数实例化一个模板函数,第二个函数会失败,因为std::unordered_set<int>不支持<

constexpr与此相似

什么是函数式编程思维? - 用心阁的回答 - 知乎 https://www.zhihu.com/question/28292740/answer/40336090

么是函数式编程思维? - 用心阁的回答 - 知乎 https://www.zhihu.com/question/28292740/answer/40336090



举报

相关推荐

0 条评论