c++ - 是否存在 C4930 Visual C++ 警告未指示错误的真实案例？

Question

Visual C++ 可以发出 C4930 "unused function prototype" warning在以下情况下:

void SomeUsefulFunction()
{
    SomeResourceLock lock(); //C4930 - unused function prototype
    //code requiring the above lock
}

在上面的代码中，目的是构造一个堆栈分配的 RAII 对象:

void SomeUsefulFunction()
{
    SomeResourceLock lock; //okay
    //code requiring the above lock
}

但是由于括号中的变量定义变成了函数原型(prototype)，因此没有构造 RAII 对象，也没有“锁定”对象，代码行为也发生了变化。

此外，警告仅在未使用的原型(prototype)位于函数内部时触发，而不是在类级别。在函数内有一个函数原型(prototype)似乎很没用并且不调用原型(prototype)函数。

现在我很想使用 pragma warning 让 Visual C++ 将该特定警告视为错误。

有没有C4930不报错的真实案例？

Answer 1

C++ 使局部函数声明合法，尽管我很少看到使用此功能。这通常是一个错误，但是例如，如果您真的使用了这样的声明并调用了匹配函数:

int main()
{
    int foo();
    return foo();
}

然后删除函数调用:

int main()
{
    int foo();
    return 0;
}

如果它突然不再编译，那将是愚蠢的。

因此，如果这并不表示您端有错误，那么现实世界的情况几乎不存在，但编译器也必须考虑虚构世界的问题，因为有时现实世界会变得非常不真实。显示警告对我来说似乎是一个很好的权衡:编译器告诉你它不确定它是否是你真正想要的。

要点是，编译器编写者不能让它成为错误，因为它在语法上是有效的。如果您想将其视为代码中的错误，它可能不会给您带来任何问题。