Question

00001 /* assert.h
00002    Copyright (C) 2001, 2003 Free Software Foundation, Inc.
00003    Written by Stephane Carrez (stcarrez@nerim.fr)       
00004 
00005 This file is free software; you can redistribute it and/or modify it
00006 under the terms of the GNU General Public License as published by the
00007 Free Software Foundation; either version 2, or (at your option) any
00008 later version.
00009 
00010 In addition to the permissions in the GNU General Public License, the
00011 Free Software Foundation gives you unlimited permission to link the
00012 compiled version of this file with other programs, and to distribute
00013 those programs without any restriction coming from the use of this
00014 file.  (The General Public License restrictions do apply in other
00015 respects; for example, they cover modification of the file, and
00016 distribution when not linked into another program.)
00017 
00018 This file is distributed in the hope that it will be useful, but
00019 WITHOUT ANY WARRANTY; without even the implied warranty of
00020 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
00021 General Public License for more details.
00022 
00023 You should have received a copy of the GNU General Public License
00024 along with this program; see the file COPYING.  If not, write to
00025 the Free Software Foundation, 59 Temple Place - Suite 330,
00026 Boston, MA 02111-1307, USA.  */
00027 
00028 #ifndef _ASSERT_H
00029 #define _ASSERT_H
00030 
00031 #ifdef NDEBUG
00032 # define assert(EX)
00033 #else
00034 # define assert(EX) (void)((EX) || (__assert (#EX, __FILE__, __LINE__),0))
00035 #endif
00036 
00037 #ifdef __cplusplus
00038 extern "C" {
00039 #endif
00040 
00041 extern void __assert (const char *msg, const char *file, int line);
00042 
00043 #ifdef __cplusplus
00044 };
00045 #endif
00046 #endif

问题是：第34行的“（void）”是什么，__ ask是什么？

Answer 1

看这行：

extern void __assert (const char *msg, const char *file, int line);

__assert是一个函数，它接受一个断言消息，一个文件名和一个行号作为参数。基本上，这是打印出错误消息并在断言失败时终止程序的方法。

然后看看上面的宏定义：

#define assert(EX) (void)((EX) || (__assert (#EX, __FILE__, __LINE__),0))

它定义了assert(EX)宏，因此它首先检查EX表达式和（因为C ++ ||运算符的短路操作）只有在它失败时才会调用{{1函数并将失败的断言异常作为字符串传递，并在源文件中调用__assert方法调用的确切位置。使用这个预处理器技巧，断言库可以在程序中键入以下内容时实现

assert()

并且您的断言在程序运行期间失败，您将获得详细的

assert(a == 0);

错误消息，可帮助您确定代码中断言失败的确切位置。

Assertion failed: a == 0 at program.c, line 23部分只是为了确保编译器不会对(void)表达式的未使用结果发出一些警告，请参阅其他答案，这些人解释得很清楚。 / p>

剩余的预处理器定义(EX) || 0用于在所有编译时生成断言，生成的可执行文件将更小更快。

Answer 2

__assert是实施的一部分;在这种情况下，库中的函数将在断言失败时被调用。 (void)只是关闭有关||运算符未使用结果的编译器警告。

Answer 3

它抑制了有关未使用的值或变量的编译器警告。

另请注意右侧的逗号运算符，它使||的两边都可以转换为bool。

__assert是一个内部函数，可能会打印一条消息并实现所需的断言行为（即调用abort()）。

Answer 4

...几乎

考虑：assert( a == 0 ); 这扩展到

(void)((a == 0) || (__assert (#a == 0, __FILE__, __LINE__),0))

如果你有表达式(x || y) - 在这种情况下，x和y都计算为bools，所以如果'a'变为0，则定义为||说试试下一个bool，即'y'

所以 - 如果你的断言是假的，(__assert (#a == 0, __FILE__, __LINE__),0)会被评估，这意味着__assert()被调用。

为什么（__assert（），0）？ __assert是一个定义为void __assert()的函数 - 嗯......大部分时间。请参阅http://www.opensource.apple.com/source/Libc/Libc-825.26/include/assert.h获取一组assert（）宏 - 请注意，所有这些宏都会调用函数...

逗号运算符允许您在同一语句中执行两项操作，即i++, j++ - 但请记住表达式必须求值某个值 - 在本例中为“0” - 所以整个语句的计算结果为(void)(0 || 0)，这是一个有效的表达式。作为副作用，您的表达式将被评估，并且可能会调用函数。

注意(void)(0 || 0)中的第一个0来自失败的断言。如果你的断言评估编译器可以创建为常量的东西，或者被评估的表达式，即(void)((a == 0) || 0)

，则可以在编译时创建

请注意逗号“，0”适用于非常迂腐的编译器 - 我通常看不到它。但(a || __assert())很常见。您可以将宏编写为

#define assert( x ) { if( ! (x)) __assert(.....); }

C ++断言assert.h中的实现

4 个答案: