c - PTHREAD_COND_INITIALIZER 与夹板

Question

我有以下代码

static pthread_mutex_t watchdogMutex = PTHREAD_MUTEX_INITIALIZER;
static pthread_cond_t watchdogCond = PTHREAD_COND_INITIALIZER;

我在使用 Splint 时收到以下错误/警告

Static watchdogCond._data._mutex initialized to null value: watchdogCond._data._mutex = (void )0 A reference with no null annotation is assigned or initialized to NULL. Use /@null@*/ to declare the reference as a possibly null pointer. (Use -nullassign to inhibit warning)

这有什么问题，它真的很危险吗？

Answer 1

听起来夹板在将指针显式初始化为 null 时存在问题，并且需要某种覆盖注释注释来禁用警告。我会简单地听从它的建议并使用 -nullassign 选项来禁用此警告。您的代码正在做什么或实现定义初始化程序宏的方式没有什么不好或有害的。这只是夹板有非理性的恐惧。