c++ - 断言(0)是什么意思？

Question

我在一次考试中遇到了这样的问题，但我仍然不太确定如何回答。我知道断言是测试您的程序的方法，但是我不太确定 assert(0) 正在检查什么。这是一个技巧问题吗？它总是会失败，但我不明白为什么。它在检查什么？

任何解释都会很棒，谢谢。

Answer 1

C++ 标准推迟了 assert 的定义符合 C 标准。

C99 §7.2/2:

” The assert macro puts diagnostic tests into programs; it expands to a void expression. When it is executed, if expression (which shall have a scalar type) is false (that is, compares equal to 0), the assert macro writes information about the particular call that failed (including the text of the argument, the name of the source file, the source line number, and the name of the enclosing function — the latter are respectively the values of the preprocessing macros __FILE__ and __LINE__ and of the identifier __func__) on the standard error file in an implementation-defined format. It then calls the abort function.

---

在 assert(0) 0被解释为 false ，因此当断言检查开启时，此断言将始终失败或触发。

因此它断言

“The execution will never reach this point.”

在实践中，很难让编译器对执行达到或未达到给定点闭嘴。通常编译器会首先提示执行可能到达函数的末尾而没有返回值。添加 assert(0)理想情况下应该解决这个问题，但是编译器可能会提示 assert ，或者没有意识到它表示您已经很清楚它试图警告的内容。

一个⁽¹⁾可能的措施是在那个时候也抛出一个异常:

auto foo( int x )
    -> int
{
    if( x == 1 ) { return 42; }
    assert( 0 ); throw 0;       // Should never get here!
}

当然，双重打击可以定义为更高级别的宏。关于异常类型，您可能希望将其保留为不是 std::exception ，因为这不是一个打算被普通 catch 捕获的异常。任何地方。或者，如果您信任标准异常层次结构(这对我来说没有意义，但是)，您可以使用 std::logic_error .

---

关闭assert断言检查你可以定义符号NDEBUG在包括 <assert.h> 之前.

此 header 具有特殊支持，因此您可以多次包含它，无论是否包含NDEBUG已定义。

C++11 §17.6.2.2/2:

” A translation unit may include library headers in any order (Clause 2). Each may be included more than once, with no effect different from being included exactly once, except that the effect of including either <cassert> or <assert.h> depends each time on the lexically current definition of NDEBUG.

上述双重打击的合理定义同样取决于 NDEBUG没有包含 guard ，例如

文件 assert_should_never_get_here.hpp

#include <stdexcept>        // std::logic_error
#include <assert.h>

#undef ASSERT_SHOULD_NEVER_GET_HERE
#ifdef NDEBUG
#   define ASSERT_SHOULD_NEVER_GET_HERE() \
        throw std::logic_error( "Reached a supposed unreachable point" )
#else
#   define ASSERT_SHOULD_NEVER_GET_HERE() \
        do{ \
            assert( "Reached a supposed unreachable point" && 0 ); \
            throw 0; \
        } while( 0 )
#endif

免责声明:虽然我在 2000 年代初对其进行了多次编码，但我只是为了这个答案编写了上面的代码，虽然我确实使用 g++ 对其进行了测试，但它可能不一定是完美的。

---

<支持>⁽¹⁾ 见 Basile Starynkevitch's answer讨论另一种可能性，g++ 特有的内在函数 __builtin_unreachable .