详解C++编程中断言static_assert的使用

断言和用户提供的消息
C++ 语言支持可帮助您调试应用程序的三个错误处理机制：#error 指令、static_assert 关键字和 assert (CRT) 宏。所有的三种机制都会发出错误消息，其中两个还会测试软件断言。软件断言指定在程序的某个特定点应满足的条件。如果编译时断言失败，编译器将发出诊断消息和编译错误。如果运行时断言失败，操作系统将发出诊断消息并关闭应用程序。
备注
应用程序的生存期由预处理、编译和运行时阶段组成。每个错误处理机制都会访问在这三个阶段之一中可用的调试信息。若要有效地调试，请选择提供有关该阶段的相应信息的机制：
#error 指令在预处理时有效。它将无条件地发出用户指定的消息并导致编译因错误而失败。该消息可包含由预处理器指令操作的文本，但不会计算任何生成的表达式。
static_assert 声明在编译时有效。它将测试由用户指定且可以转换为布尔值的整数表达式表示的软件断言。如果表达式的计算结果为零 (false)，编译器将发出用户指定的消息，并且编译因错误而失败。
static_assert 声明对调试模板尤其有用，因为模板参数可包含在用户指定的表达式中。
assert (CRT) 宏在运行时有效。它会计算用户指定的表达式，如果结果为零，系统将发出诊断消息并关闭应用程序。很多其他宏（如_ASSERT 和 _ASSERTE）与此宏类似，但它们发出不同的系统定义或用户定义的诊断消息。

static_assert
在编译时测试软件断言。如果指定的常量表达式为 false，则编译器显示指定的消息，并且编译失败，错误为 C2338；否则，声明不起作用。
语法

static_assert(
 constant-expression,
 string-literal
);

参数

参数 说明
constant-expression 可以转换为布尔值的整型常量表达式。如果计算出的表达式为零 (false)，则显示 string-literal 参数，并且编译因出错而失败。如果表达式不为零 (true)，则 static_assert 声明无效。
string-literal 当 constant-expression 参数为零时显示的消息。该消息是编译器的基本字符集中的一个字符串；即，不是多字节或宽字符。

备注
static_assert 声明的 constant-expression 参数表示软件断言。软件断言指定在程序的某个特定点应满足的条件。如果满足该条件，则 static_assert 声明无效。如果未满足该条件，则断言失败，编译器在 string-literal 参数中显示消息，并且编译因出错而失败。
static_assert 声明在编译时测试软件断言。相反，assert (CRT) 宏在运行时测试软件断言，并会导致增大运行时花费的空间和时间。由于模板参数包含在 constant-expression 参数中，因此 static_assert 声明对于调试模板很有用。
当遇到声明时，编译器将检查 static_assert 声明是否存在语法错误。如果编译器不依赖于模板参数，则编译器会立即计算 constant-expression 参数。否则，在对模板进行实例化时，编译器将计算 constant-expression 参数。因此，当遇到声明时，编译器可能一次发布一个诊断消息，而在对模板进行实例化时也是如此。
可以在命名空间、类或块范围中使用 static_assert 关键字。（由于 static_assert 关键字可以在命名空间范围内使用，因此，即使它不将新名称引入程序中，但从技术上讲，它也是一个声明。）
说明
在下面的示例中，static_assert 声明具有命名空间范围。由于编译器知道类型 void * 的大小，因此可以立即计算表达式。
示例

static_assert(sizeof(void *) == 4, "64-bit code generation is not supported.");

说明
在下面的示例中，static_assert 声明具有类范围。 static_assert 验证模板参数是否为纯旧数据 (POD) 类型。编译器将在声明 static_assert 声明时检查该声明，但不计算 constant-expression 参数，直到在 main() 中实例化 basic_string 类模板。
示例

#include <type_traits>
#include <iosfwd>
namespace std {
template <class CharT, class Traits = std::char_traits<CharT> >
class basic_string {
 static_assert(tr1::is_pod<CharT>::value,
     "Template argument CharT must be a POD type in class template basic_string");
 // ...
 };
}
struct NonPOD {
 NonPOD(const NonPOD &) {}
 virtual ~NonPOD() {}
};
int main()
{
 std::basic_string<char> bs;
}

说明
在下面的示例中，static_assert 声明具有块范围。 static_assert 验证 VMPage 结构的大小是否与该系统的虚拟内存页大小相等。
示例

#include <sys/param.h> // defines PAGESIZE
class VMMClient {
public:
 struct VMPage { // ...
   };
 int check_pagesize() {
 static_assert(sizeof(VMPage) == PAGESIZE,
  "Struct VMPage must be the same size as a system virtual memory page.");
 // ...
 }
// ...
};
赞 (0)

相关推荐

  • C++类中的static和const用法实例教程

    static和const是C++程序设计中非常重要的概念,本文实例列举了C++类中的static和const的规则和用法.供大家参考借鉴.具体说明如下: 首先以代码用来举例说明.示例代码如下: class A { public: A():m(10) //const成员必须在构造函数的初始化构造列表中初始化 { q = 40; } void fun1()const { m++; //错误.const成员是常量,不能改变其值. n++; //正确.static变量n属于类,但是每个对象的函数都可以访

  • C/C++中static,const,inline三种关键字详细总结

    一.关于staticstatic 是C++中很常用的修饰符,它被用来控制变量的存储方式和可见性,下面我将从 static 修饰符的产生原因.作用谈起,全面分析static 修饰符的实质. static 的两大作用: 一.控制存储方式 static被引入以告知编译器,将变量存储在程序的静态存储区而非栈上空间. 引出原因:函数内部定义的变量,在程序执行到它的定义处时,编译器为它在栈上分配空间,大家知道,函数在栈上分配的空间在此函数执行结束时会释放掉,这样就产生了一个问题: 如果想将函数中此变量的值保

  • 关于C++中的static关键字的总结

    1.面向过程设计中的static1.1静态全局变量在全局变量前,加上关键字static,该变量就被定义成为一个静态全局变量.我们先举一个静态全局变量的例子,如下: 复制代码 代码如下: //Example 1#include <iostream.h>void fn();static int n; //定义静态全局变量void main(){  n=20;  cout<<n<<endl;  fn();} void fn(){ n++;  cout<<n<

  • C++中静态成员函数与静态成员变量（static ）

    C++中静态成员函数与静态成员变量(static ) 这篇介绍了静态成员函数与静态成员变量,是我的读书笔记,我希望它够简短但又比较全面,起到复习的作用.如果有一些C++知识记不清楚了,它可以帮你很快回忆起来. 复习C语言的static关键字 (1)加在局部变量的前面使之成为静态局部变量,作用域还是在函数内部,可是生存周期延长了. (2)加在全局变量的前面限定该变量作用域为文件作用域,就是说即使其他文件使用了extern扩展作用域也不行.这在C语言的多人项目中非常有用,避免了变量的重名.然而在C+

  • 由static_cast和dynamic_cast到C++对象占用内存的全面分析

    static_cast和dynamic_cast是C++的类型转换操作符.编译器隐式执行的任何类型转换都可以由static_cast显式完成,即父类和子类之间也可以利用static_cast进行转换.而dynamic_cast只能用于类之间的转换.那么dynamic_cast的存在还有什么意义呢?因为dynamic_cast提供了一个重要的特性:运行时类型检查来保证转换的安全性. 用static_cast转换存在的危险 我们知道,一个基类指针不需要进行明确的转换操作,就可以指向基类对象或者派生类

  • c++ dynamic_cast与static_cast使用方法示例

    首先dynamic_cast: 复制代码 代码如下: #include <iostream>using namespace std;class A{    public:        virtual ~A(){} //使用dynamic_cast时,必要!};class B:public A{    public:        B(){            m_b=12;        }        void foo(){            cout<<"B

  • C++中四种对象生存期和作用域以及static的用法总结分析

    C++中四种对象生存期和作用域以及static的用法总结分析

    一.四种对象生存期和作用域 栈对象隐含调用构造函数(程序中没有显式调用) 堆对象隐含调用构造函数(程序中没有显式调用),要显式释放 全局对象.静态全局对象 全局对象的构造先于main函数 已初始化的全局变量或静态全局对象存储于.data段中 未初始化的全局变量或静态全局对象存储于.bss段中 静态局部对象 已初始化的静态局部变量存储于.data段中 未初始化的静态局部变量存储于.bss段中 复制代码 代码如下: #include <iostream>using namespace std;cl

  • 关于C/C++中static关键字的作用总结

    1.先来介绍它的第一条也是最重要的一条:隐藏.(static函数,static变量均可)当同时编译多个文件时,所有未加static前缀的全局变量和函数都具有全局可见性.举例来说明.同时编译两个源文件,一个是a.c,另一个是main.c. 复制代码 代码如下: //a.cchar a = 'A';               // global variablevoid msg(){     printf("Hello\n");} 复制代码 代码如下: //main.c int main

  • 详解C++编程中断言static_assert的使用

    断言和用户提供的消息 C++ 语言支持可帮助您调试应用程序的三个错误处理机制:#error 指令.static_assert 关键字和 assert (CRT) 宏.所有的三种机制都会发出错误消息,其中两个还会测试软件断言.软件断言指定在程序的某个特定点应满足的条件.如果编译时断言失败,编译器将发出诊断消息和编译错误.如果运行时断言失败,操作系统将发出诊断消息并关闭应用程序. 备注 应用程序的生存期由预处理.编译和运行时阶段组成.每个错误处理机制都会访问在这三个阶段之一中可用的调试信息.若要有效

  • 详解Python编程中基本的数学计算使用

    数 在 Python 中,对数的规定比较简单,基本在小学数学水平即可理解. 那么,做为零基础学习这,也就从计算小学数学题目开始吧.因为从这里开始,数学的基础知识列位肯定过关了. >>> 3 3 >>> 3333333333333333333333333333333333333333 3333333333333333333333333333333333333333L >>> 3.222222 3.222222 上面显示的是在交互模式下,如果输入 3,就显

  • 详解Swift编程中的常量和变量

    常量 常量指的是程序无法在其执行期间改变的固定值. 常量可以是任何像整型常量,浮点常量,字符常量或字符串的基本数据类型.也可以是枚举常量. 这些常量和常规变量处理一样,只是它们的值不能在定义后进行修改. 声明常量 使用常量时,则必须使用关键字 let 声明它们如下: 复制代码 代码如下: let constantName = <initial value> 下面是一个简单的例子来说明如何在 Swift 中声明一个常量: 复制代码 代码如下: import Cocoa let constA =

  • 详解Java编程中if...else语句的嵌套写法

    详解Java编程中if...else语句的嵌套写法

    if...else if...else语句 if语句后面可以跟elseif-else语句,这种语句可以检测到多种可能的情况. 使用if,else if,else语句的时候,需要注意下面几点: if语句至多有1个else语句,else语句在所有的elseif语句之后. If语句可以有若干个elseif语句,它们必须在else语句之前. 一旦其中一个else if语句检测为true,其他的else if以及else语句都将跳过执行. 语法 if...else语法格式如下: if(布尔表达式 1){

  • 详解Java编程中对线程的中断处理

    1. 引言 当我们点击某个杀毒软件的取消按钮来停止查杀病毒时,当我们在控制台敲入quit命令以结束某个后台服务时--都需要通过一个线程去取消另一个线程正在执行的任务.Java没有提供一种安全直接的方法来停止某个线程,但是Java提供了中断机制. 如果对Java中断没有一个全面的了解,可能会误以为被中断的线程将立马退出运行,但事实并非如此.中断机制是如何工作的?捕获或检测到中断后,是抛出InterruptedException还是重设中断状态以及在方法中吞掉中断状态会有什么后果?Thread.st

  • 详解Golang编程中的常量与变量

    详解Golang编程中的常量与变量

    Go语言常量 常量是指该程序可能无法在其执行期间改变的固定值.这些固定值也被称为文字. 常量可以是任何像一个整型常量,一个浮点常量,字符常量或字符串文字的基本数据类型.还有枚举常量. 常量是一样,只是它们的值不能自己定义后进行修改常规变量处理. 整型常量 一个整数文字可以是十进制,八进制,或十六进制常数.前缀指定基或基数:0x或0X的十六进制,0表示八进制,并没有为十进制. 一个整数文字也可以有一个后缀为U和L的组合,分别为无符号和长整型.后缀可以是大写或小写,并且可以以任意顺序. 这里是整数常

  • 详解C++编程中的主表达式与后缀表达式编写基础

    主表达式 主表达式是更复杂的表达式的构造块.它们是文本.名称以及范围解析运算符 (::) 限定的名称.主表达式可以具有以下任一形式: literal this :: name name ( expression ) literal 是常量主表达式.其类型取决于其规范的形式. this 关键字是指向类对象的指针.它在非静态成员函数中可用,并指向为其调用函数的类的实例. this 关键字只能在类成员函数体的外部使用. this 指针的类型是未特别修改 this 指针的函数中的 type *const

  • 详解Java编程中super关键字的用法

    详解Java编程中super关键字的用法

    通过用static来定义方法或成员,为我们编程提供了某种便利,从某种程度上可以说它类似于C语言中的全局函数和全局变量.但是,并不是说有了这种便利,你便可以随处使用,如果那样的话,你便需要认真考虑一下自己是否在用面向对象的思想编程,自己的程序是否是面向对象的. 好了,现在开始讨论this&super这两个关键字的意义和用法.在Java中,this通常指当前对象,super则指父类的.当你想要引用当前对象的某种东西,比如当前对象的某个方法,或当前对象的某个成员,你便可以利用this来实现这个目的,当

  • 详解C++编程中的单目运算符重载与双目运算符重载

    C++单目运算符重载 单目运算符只有一个操作数,如!a,-b,&c,*p,还有最常用的++i和--i等.重载单目运算符的方法与重载双目运算符的方法是类似的.但由于单目运算符只有一个操作数,因此运算符重载函数只有一个参数,如果运算符重载函数作为成员函数,则还可省略此参数. 下面以自增运算符"++"为例,介绍单目运算符的重载. [例] 有一个Time类,包含数据成员minute(分)和sec(秒),模拟秒表,每次走一秒,满60秒进一分钟,此时秒又从0开始算.要求输出分和秒的值. #

  • 详解C#编程中异常的创建和引发以及异常处理

    创建和引发异常 异常用于指示在运行程序时发生了错误.此时将创建一个描述错误的异常对象,然后使用 throw 关键字"引发"该对象.然后运行时搜索最兼容的异常处理程序. 当存在下列一种或多种情况时,程序员应引发异常: 方法无法完成其中定义的功能. 例如,如果方法的参数具有无效值: static void CopyObject(SampleClass original) { if (original == null) { throw new System.ArgumentException

随机推荐