C89中的assert宏实现，如何退出程序？

Question

我正在尝试在 C89 标准中实现我自己的 assert 宏。

我希望它和原来的一模一样：

dir/file.c:20: MyFunction: Assertion `null != pointer` failed.

有2个问题：

1. 没有打印函数名称的选项，因为预标识符 __FUNC__ 仅在 c99 标准后可用。
2. 我不知道如何退出程序。我尝试了exit(1) 和__Exit(1)，但它们都不起作用，我认为这是因为macros 在每个处理阶段被转换为代码，这意味着预处理器甚至不知道这些是什么@ 987654328@ 功能尚未。因为它们只在编译阶段相关，对吧？

这是我的代码：

/********************************* Inclusions *********************************/
#include <stdio.h>  /* printf, NULL */

/***************************** Macros Definitions *****************************/
#define ASSERT(expr) \
    if (!(expr)){ \
        fprintf(stderr, "%s:%d: Assertion `%s` failed.\n" \
                ,__FILE__, __LINE__, #expr); }

/******************************************************************************/
int main()
{
    void *null_ptr = NULL;
    
    ASSERT(NULL != null_ptr);
    
    printf("ALL WORKS");
    
    return (0);
}

/******************************************************************************/

我的输出是：

`file.c:25: Assertion `NULL != null_ptr` failed.`

有什么方法可以获取函数名或者用宏退出程序吗？ 因为现在，我没有得到函数的名称，更重要的是，即使断言打印了错误消息，程序也没有停止。

这很奇怪，因为无法获取函数名或使用宏退出程序，但原始的assert 却可以做到这两点？

P.S __FILE__ 每个标识符只为我打印文件名，就像 file.c 而不是 dir/file.c 就像原来的 assert 那样。这是为什么呢？

我希望我能写出类似的东西：

#define ASSERT(expr) \
        if (!(expr)){ \
            fprintf(stderr, "%s:%d: %s: Assertion `%s` failed.\n" \
                    ,__FILE__, __LINE__, __FUNC__, #expr); exit(1) }

谢谢。

Answer 1

1. 确实，C89 没有办法获取函数名。因此，如果您只能依赖 C89，那么您将不得不这样做。请注意，甚至在 C99 之前，许多实现可能已经为此提供了自己的扩展，并且可能在自己的 assert() 定义中使用了这些扩展；例如GCC 有__FUNCTION__。

2. 如果断言失败，标准的assert() macro 会调用abort()。所以如果你想复制它的行为，你也可以这样做。

Answer 2

Nate Eldredge 回答了您的大部分问题。作为对您的 P.S. 的回应，我怀疑这是编译器可以在内部做而我们做不到的事情。与函数名称相同，但没有 __func__（尽管 GCC 有一个可以使用的 __FUNCTION__ 宏）。

您仍然可以使您的assert 更接近编译器assert。 assert 试图尽可能地模拟一个函数。因此，首先，它必须作为一个表达式工作，而你的不是因为if。此外，它应该返回void。 man page on assert 给出了这个“原型”：

void assert(scalar expression);

这两个都是可能的。这是我刚刚制作的assert，（我认为）设法满足这两个要求：

#define ASSERT(expr)                                                        \
    ((expr) ?                                                               \
        (void) 0 :                                                          \
        (void) (fprintf(stderr, "%s:%d: %s: Assertion `%s` failed\n",       \
                        __FILE__, __LINE__, __FUNCTION__, #expr), abort()))

这利用了__FUNCTION__ GCC 扩展，如果你愿意，你可以删除它。