c++笔记_内联函数和constexpr函数

一、内联函数可避免函数调用开销

将函数指定为内联函数，通常就是将它在每个调用点上“内联地”展开。在函数的返回类型前面加上关键字inline，这样就可以将它声明成内联函数了：

inline const string &shorterString(const string &s1,const string &s2)
{
	return s1.size()<s2.size() ? s1 : s2;
}

内联机制用于优化规模较小、流程直接、频繁调用的函数。

二、constexpr函数

constexpr函数是指用于常量表达式的函数。定于constexpr函数的方法与其他函数类似，不过要遵循几项约定：函数的返回类型及所有形参的类型都是字面值类型，而且函数体中必须有且只有一条return语句：

constexpr int new_sz() {return 42;}
constexpr int foo =new_sz();		//正确：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函数的调用。

consterpr函数不一定返回常量表达式。