Question

我有一个断言宏，定义为：

#define likely(cond) (__builtin_expect((cond), 1))
#define unlikely(cond) (__builtin_expect(!!(cond), 0))

static void assert_fail(const char *__assertion, const char *__file,
                           unsigned int __line, const char *__function) {
    fprintf(stderr, "\nASSERT failed %s:%d %s()\n%s\n", __file, __line, __function, __assertion);

    void *array[50];
    size_t size = backtrace(array, 50);     // Fill out array of pointers to stack entries
    backtrace_symbols_fd(&array[1], size, STDERR_FILENO);
    exit(1);
}

#define assert(expr) ( likely(expr) ? (void) (0) : \
                       assert_fail(#expr, __FILE__, __LINE__, __func__ ))

哪个工作正常，除非你在断言条件中发出一个简单的错误，例如错误的变量名：

assert(size > 0);

它打印出一个完全合理的错误，然后是5个音符（包括重复），这使得它更难以阅读。是否有任何理智的方法来解决这个问题，以便更容易阅读？核心问题似乎是使用宏，但考虑到使用__FILE__，__LINE__等，我无法在此处看到如何避免这种情况。

禁用“注意：每个函数只报告一次未声明的标识符”会在可能的情况下将其减半（尽管我找不到任何方法）

abc.c: In function 'init':
abc.c:53:12: error: 'size' undeclared (first use in this function)
     assert(size > 0);
            ^
include/assert.h:21:41: note: in definition of macro 'likely'
 #define likely(cond) (__builtin_expect((cond), 1))
                                         ^
abc.c:53:5: note: in expansion of macro 'assert'
     assert(size > 0);
     ^
abc.c:53:12: note: each undeclared identifier is reported only once for each function it appears in
     assert(size > 0);
            ^
include/assert.h:21:41: note: in definition of macro 'likely'
 #define likely(cond) (__builtin_expect((cond), 1))
                                         ^
abc.c:53:5: note: in expansion of macro 'assert'
     assert(size > 0);
     ^

Answer 1

作为一般规则，在处理编译器错误时，您将解决您找到的第一个错误，然后重新编译。这样你就不会浪费时间追逐级联错误。

在这种特殊情况下，您会注意到您有一条“错误”行，后面跟着几条“注释”行。每当您看到“注释”消息时，它会向您提供有关最新“错误”或“警告消息”的其他信息。你不应该压制这些信息（我不相信你可以），因为它们可以为你提供关于错误真正来源的宝贵信息。

以下是这些“注释”消息有用的示例：

#include <stdio.h>

void f1(double x);

int main()
{
    f1(3);
    return 0;
}


void f1(int x)
{
    printf("x=%d\n", x);
}

在此代码中，f1的声明与定义不符。编译器生成以下消息：

x1.c:12:6: error: conflicting types for ‘f1’
 void f1(int x)
      ^
x1.c:3:6: note: previous declaration of ‘f1’ was here
 void f1(double x);

“错误”消息告诉您第12行的定义与声明不匹配，但它没有说明它与之冲突的声明。这出现在随后的“注释”消息中。在一个大型项目中，如果没有“注释”消息，您可能无法找到冲突。

Answer 2

如果expression的计算结果为TRUE，则assert（）不执行任何操作。如果expression的计算结果为FALSE，则assert（）会在stderr上显示错误消息（标准错误流以显示错误消息和诊断）并中止程序执行。

C断言宏的多个错误

2 个答案: