C++11的静态断言

断言就是将一个返回值总是需要为真的判别式放在语句中，来排除在设计的逻辑上不应该出现的情况。C++11标准中引入了静态断言：static_assert

在C++标准中，<cassert>或assert.h为我们提供了assert宏，但是这个宏只有在运行时才进行断言，这有很多的限制，因为有时候，程序的某些路径我们可能执行不到，所以最好能够在编译的时候就产生断言。

C++11标准中就引入了静态断言来解决这个问题。

静态断言static_assert使用起来非常简单，它接受两个参数
1、断言表达式，就是一个需要为正的表达式。
2、警告信息，用来在产生断言的时候提示信息。
such as：

#include<cstring>
using namespace std;template <typename T,typename U> int bit_copy(T &a,U &b){static_assert(sizeof(a)==sizeof(b),"参数的长度不一样，可能出现越界！");memcpy(&a,&b,sizeof(b));
}
int main(){int a;long b=0x1234567;bit_copy(a,b);
}

C++11的静态断言相关推荐

c++11中静态断言static_assert
c++11中的静态断言(static_assert) 在c++11中引入了,目的是在编译时就能检查处一些问题.写法如下: static_assert(常量表达式,提示字符串); 如果第一个参数常量表达 ...
探索C++0x: 1. 静态断言(static_assert)
转载请注明来源:http://blog.csdn.net/thesys/archive/2010/06/02/5641350.aspx 简介 C++0x中引入了static_assert这个关键字,用 ...
C++笔记-断言、静态断言、R转义符
目录断言静态断言 R转义符断言在assert.h和cassert中有这3个短语,可以获取当前文件,第几行.哪个函数. 感觉这个在Linux调试上十分有用,在此记录下! 程序运行截图如下: 源码 ...
C++断言与静态断言
断言是很早之前就有的东西了,只需要引入cassert头文件即可使用.往往assert被用于检查不可能发生的行为,来确保开发者在调试阶段尽早发现"不可能"事件真的发生了,如果真的发生 ...
c语言静态断言,C断言/静态断言
关于断言,可以作为一种很强大的调试方式或者程序运行时的错误诊断但是断言也不是适合于各种地方,服务器软件和嵌入式程序一般不适用,断言会强制中断正在运行的程序,对于服务器等程序来说, 将会是一个灾难.加 ...
11 linux suse 本地源_suse 11 Linux 静态路由的添加方法
系统:suse 11 Linux 版本:SUSE Linux Enterprise Server 11 (i586) VERSION = 11 PATCHLEVEL = 0 简单介绍一下配置文件方式添 ...
win10下QT5.11.1静态编译(带MYSQL)
编译前准备工作: 下载QT5.11.1 https://download.qt.io/archive/qt/5.11/5.11.1/ 下载Python: https://www.python.org/ ...
suse linux12添加路由,suse 11 Linux 静态路由的添加方法
系统:suse 11 Linux 版本:SUSE Linux Enterprise Server 11 (i586) VERSION = 11 PATCHLEVEL = 0 简单介绍一下配置文件方式添 ...
C++11中静态局部变量初始化的线程安全性
标准关于局部静态变量初始化,有这么几点要求: 变量在代码第一次执行到变量声明的地方时初始化. 初始化过程中发生异常的话视为未完成初始化,未完成初始化的话,需要下次有代码执行到相同位置时再次初始化. 在 ...

C++11的静态断言

C++11的静态断言相关推荐

最新文章

热门文章