constexpr 指定符(C++11 起)

标签：隐式   clu   include   出现   类的构造函数   goto   return   函数模板   求值   

constexpr 变量必须满足下列要求：

其类型必须是字面类型 (LiteralType) 。
它必须被立即初始化
其初始化的完整表达式，包括所有隐式转换、构造函数调用等，都必须是常量表达式
constexpr 函数必须满足下列要求：

它必须非虚
(C++20 前)
其返回类型必须是字面类型 (LiteralType)
其每个参数都必须是字面类型 (LiteralType)
至少存在一组参数值，使得函数的一个调用能为被求值的核心常量表达式的子表达式（对于构造函数为足以用于常量初始化器） (C++14 起)。不要求对这点的诊断。
函数体必须是被删除或被默认化，或只含有下列内容：
空语句（平凡分号）
static_assert 声明
不定义类或枚举的 typedef 声明及别名声明
using 声明
using 指令
恰好一条 return 语句。
(C++14 前)
函数体必须是被删除或被默认化，或含有下列内容外的任何语句：
asm 声明
goto 语句
拥有异于 case 和 default 标号的语句
try 块
非字面类型的变量定义
静态或线程存储期变量的定义
不进行初始化的变量定义。
(C++14 起)
constexpr 构造函数必须满足下列要求：

其每个参数都必须是字面类型 (LiteralType) 。
该类不能有虚基类
该构造函数不可有函数 try 块
构造函数体必须被删除或被默认化或只含有下列内容：
空语句
static_assert 声明
不定义类或枚举的 typedef 声明及别名声明
using 声明
using 指令
(C++14 前)
构造函数体的复合语句必须满足 constexpr 函数体的限制
(C++14 起)
对于 class 或 struct 的构造函数，每个子对象和每个非变体非 static 数据成员必须被初始化。若类是类联合体类，对于其每个非空匿名联合体成员，必须恰好有一个变体成员被初始化
对于非空 union 的构造函数，恰好有一个非 static 数据成员被初始化
每个被选作初始化非 static 成员和基类的构造函数必须是 constexpr 构造函数。
对于 constexpr 函数模板和类模板的 constexpr 函数成员，必须至少有一个特化满足上述要求。其他特化仍被认为是 constexpr ，尽管常量表达式中不能出现这种函数的调用。

```c++
//
// main.cpp
//
//
// Created by myhaspl on 2018/10/24.
// myhaspl@myhaspl.com.
//

#include <iostream>
using namespace std;

int bar(){return 0;}

constexpr int foo(int a)
{
if (a <=0 )
return bar();
else
return 1;
}

int main()
{
int a1[2]={0,1};
cout<<a1[foo(5)]<<endl;
cout<<a1[foo(-1)]<<endl;
}```

constexpr 指定符(C++11 起)

标签：隐式   clu   include   出现   类的构造函数   goto   return   函数模板   求值   

原文地址：http://blog.51cto.com/13959448/2315716