constexpr 指定符 C++11 起

转载   myhaspl   2018-11-12   浏览量:13


constexpr 指定符声明可以在编译时求得函数或变量的值。然后这些变量和函数(若给定了合适的函数参数)可用于仅允许编译时常量表达式之处。用于对象或非静态成员函数 (C++14 前)声明的 constexpr 指定符隐含 const 。用于函数声明的 constexpr 指定符或 static 成员变量 (C++17 起)隐含 inline 。

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.
// [email protected]
//

#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;
}```

转载自://blog.51cto.com/13959448/2315716

招聘 不方便扫码就复制添加关注:程序员招聘谷,微信号:jobs1024


上一篇:

C++语言学习(九)——C++标准库简介
C++语言学习(九)——C++标准库简介一、C++标准库简介1、C++标准库简介C++标准库(C++StandardLibrary),是类库和函数的集合。C++编译器厂商根据C++标准委员会官方的ISO规范并将其转化为代码。C++编译器厂商在实现C++标准库过程中必须依赖其不同操作系统所提供的系统调用接口,因此每个平台都有其自己的C++标准库实现。C++标准库的特点如下:A、C++标准库不是C++
C++语言学习(八)——操作符重载
C++语言学习(八)——操作符重载一、操作符重载基础1、操作符重载的语法通过operator关键字可以定义特殊的函数,operator本质是通过函数重载操作符。Typeoperatoroperatorname(constTypep1,constTypep2){Typeret;returnret;}2、友元函数重载操作符可以将操作符重载函数声明为友元函数。#include
C++语言学习(七)——友元
C++语言学习(七)——友元一、友元简介1、友元简介面向对象编程的类的设计机制实现了数据的隐藏与封装,类的成员变量一般定义为私有成员,成员函数一般定义为公有的,是类与外部的通信接口。在实践中,类外的某些函数需要频繁地访问类的成员变量,可以将类外的函数定义为类的友元函数。除了友元函数外,还有友元类,两者统称为友元。友元的作用是提高了程序的运行效率(即减少了类型检查和安全性检查等都需要时间开销),但友
C++语言学习(六)——二阶构造模式
C++语言学习(六)——二阶构造模式一、构造函数的问题构造函数存在的问题:A、构造函数只提供自动初始化成员变量的机会B、不能保证初始化逻辑一定成功,如申请系统资源可能失败C、执行return语句后构造函数立即结束构造函数创建的对象可能是半成品对象,半成品对象是合法的对象,但是程序bug的来源之一。因此实际工程开发过程中使用二阶构造模式。二、二阶构造模式1、二阶构造模式简介由于构造函数存在的潜在问题
C++语言学习(五)——C++语言中的CV限定符错误
C++语言学习(五)——C++语言中的CV限定符错误一、CV限定符错误简介1、CV限定符简介CV限定符即cv-qualifier,C++语言中指const和volatile限定符。通常,C++语言中有两种情况不能使用CV限定符进行限定:A、非成员函数不能使用CV限定B、静态成员函数不能使用CV限定2、CV限定符错误信息简介C++语言中CV限定符错误信息如“cannothavecv-qualifie
C++语言学习(四)——类与对象
C++语言学习(四)——类与对象一、构造函数(constructor)1、构造函数简介C++语言中,构造函数是与类名相同的特殊成员函数。在类对象创建时,自动调用构造函数,完成类对象的初始化。类对象本身是变量,在栈、堆上创建的对象,对象的成员初始化为随机值;在静态存储区创建的对象,对象的成员初始化为0。2、构造函数的定义构造函数声明的语法如下:classname(parameters);没有参数的构
Fishhook原理 源码解读)
用到技术利用dyld相关接口,我们可以注册image装载的监听方法:externvoid_dyld_register_func_for_add_image(void(func)(conststructmach_headermh,intptr_tvmaddr_slide));调用_dyld_register_func_for_add_image注册监听方法后,当前已经装载的image(动态库等)会立
C++反射机制:可变参数模板实现C++反射
1.概要??本文描述一个通过C++可变参数模板实现C++反射机制的方法。该方法非常实用,在Nebula高性能网络框架中大量应用,实现了非常强大的动态加载动态创建功能。Nebula框架在coding.net的仓库地址。??C++11的新特性--可变模版参数(variadictemplates)是C++11新增的最强大的特性之一,它对参数进行了高度泛化,它能表示
MachOView源码 AppController.mm
//AppController.h/**AppController.h*MachOView**Createdbypsaghelyion15/06/2010.**/#import@classMVPreferenceController;@interfaceMVAppController:NSObject
火车订票系统源码笔记c++
火车订票系统源码笔记c++