来自 C 断言宏的多个错误

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%sn", __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=%dn", 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

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