详解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.");
 // ...
 }
// ...
};



相关阅读:
JavaScript程序员应该知道的45个实用技巧
MySQL错误ERROR 1615 解决方法
javascript实现点击商品列表checkbox实时统计金额的方法
javascript中键盘事件用法实例分析
MySQL中select语句介绍及使用示例
浅析JavaScript中的delete运算符
Android新浪微博下拉刷新(最新消息显示在最上面)
php异常处理使用示例
C#批量更新sql实例
js 3种归并操作的实例代码
浅析Android手机卫士手机定位的原理
php去除数组中重复数据
Android实现判断某个服务是否正在运行的方法
css的margin collapsing导致最上面会出现一个横条
快速导航
PHP MySQL HTML CSS JavaScript MSSQL AJAX .NET JSP Linux Mac ASP 服务器 SQL jQuery C# C++ java Android IOS oracle MongoDB SQLite wamp 交通频道 作文范文 胶州-宣威 许昌-徐州 沈阳-登沙河 镇安-锦州 绥阳-苇河 四平-李家 公营子-乃林 大英东-三江县 文登-沂南 郑州-江油 华容东-黄冈东 彭州-红光镇 榕江-贵定县 小得江-茂舍祖 宝鸡-吉安 衡山-湘潭 白水镇-杨林 白鸡坡-雨格 通北-扶余 昭通-新余 鄄城-任丘 保定东-曲靖北 胶州-淄博 燕山-上万 合浦-宾阳 大埔-河源 贲红-商都 泰宁-福安 涟源-曲靖 新天-新高峰 菏泽-北戴河 新安-广南卫 盖州-到保 凌源东-鸽子洞 麻城-乐都 窑上-梁底下 青岛北-开原西 大杨树东-鹤山 苏州-慈利 义乌-余姚 玉林-融安 惠东-龙岩 宇宙地-古鲁满汗 新余-六枝 株洲-茂名 清原-济南东 轸溪-南尔岗 深圳-唐山 惠州-厦门 即墨北-文登东 丹东-铁佛寺 汕尾-镇江 苏家屯-龙爪沟 萍乡-慈利 甘洛-眉山 上海-磁窑 羊者窝-江所田 芜湖-新化 驻马店西-清远 德安-福州 襄阳-庐山 衡水-谷城 通辽-敖来 潍坊-肃宁 衡阳-莒县 莱西北-天津南 宜城-益阳 天津-盖州西 富海-龙门河 兴安岭-扎罗木得 新余北-缙云西 浠水-灵宝 北京西-包头东 共青城-荆州 北岗-丹东 哈达阳-劲松 余粮堡-孤山子 信阳-清河城 白旗-超梁沟 建始-肥东 列车火车票的价钱
从云浮做车到玉林,在转车到钦州,要多久
从丰镇到成吉思汗陵墓怎么走?路程多少?
从上海火车列车站坐几路车到昭华路51号
请问从合肥到阜阳的长途客车客运最晚一班是几点?
庆阳环县 至定西陇西怎么走
请问有从河北迁安直达山东泰山的列车火车吗
潍坊五洲时代城有业主群
1208次列车为什么在火车列车站买的票价和网上查询的票价不一样?
达州到广州7月10号之前列车票怎么定
天津红桥意库创意街 做什么车可以到
阳高到包头的火车有哪些车次
(最好一小时给我答案)南京市栖霞区和燕路290号(迈皋桥医院)怎么坐车
滨州到济南的汽车票价
急!急求.淮安到东台
乐清到宁波在宁波到北京的联票火车列车票吗
南京中华门地铁站对面的中华门汽车客车站有到温州的车吗
威海 汽车客车装饰_威海 汽车客车装饰
请问有没有晚上7点以后在珠海回陆丰东海镇的车
贵阳到沈阳的特快专递几天能到达
北京去纽约的飞机票
邯郸到黄骅港的客车汽车几点发车啊
广东的高三的英语口语考试
沈阳公交从浑南管委会到三好街怎么走
从江苏赣榆到河南宝丰县怎么乘车
去张家港旅游应该先去那里?
石家庄到青岛的长途客车
从云南托运家电到杭州市什么物流安全点
从汕头到广州复大肿瘤院的车程
杭州九堡客运中心坐几路公交可以到达嘟嘟城

Copyright © 2016 phpStudy |