为什么没有gcc/g++对未使用的临时文件发出警告？

Question

考虑以下代码：（

void ListenerImpl::attach(boost::shared_ptr<ISubscriber> subscriber)
{
    boost::unique_lock<boost::mutex>(mtx);
    subscribers.push_back(subscriber);
}

void ListenerImpl::notify(MsgPtr msg)
{
    boost::unique_lock<boost::mutex>(mtx);

    //notify all subscribers
    BOOST_FOREACH(boost::shared_ptr<ISubscriber> subscriber, subscribers){
        subscriber->update(msg);
    }

}

这是 GoF 中描述的观察者模式的实现。） 这里的用户干预是为了防止attach()和notify()同时运行，因此有boost::unique_lock。 目标是保护订阅者容器。

但确实很难注意到这些锁实际上只是临时的（仔细看看，没有为它们指定名称）。 因此，当临时对象被破坏时，互斥锁上的锁将立即释放，即代码不是线程安全的。 我希望在这种情况下会出现编译器警告。类似“临时未使用”之类的东西。

更糟糕的是，cppcheck 也不会识别这个错误。 (cppcheck：ac/c++代码分析工具 http://sourceforge.net/ apps/mediawiki/cppcheck/index.php?title=Main_Page)

Gcc 对未使用的变量发出警告。这里的临时是一个未使用的变量，绝对是程序员不注意的结果。 那么，为什么在这种情况下没有警告呢？也许发现这种情况太复杂了？

Answer 1

编译器不会发出警告，因为您很可能正在更新构造函数内的某些static-member / global 变量（这是有效且有意义的）。例如：

struct A
{
  static int count;
  A () { count ++; }
};

现在，当您简单地调用临时：

A();

如果没有发生此类更新，编译器将不会深入 A 的构造函数并检查是否发生了有用的事情。它始终假设是一个有效的场景。有很多这样的案例可以指出与临时相关。

Answer 2

请注意，您建议的警告也会针对每个 it++; 发出，这在许多 for 循环中都可以找到。

iammilind 已经提到过，有时是故意创建并立即销毁临时值：当存在副作用时。

在模板元编程中，人们可能会创建和销毁临时对象，以防用户提供带有副作用的类。当使用一个没有副作用的简单类来实例化模板时，警告将出现在模板代码的深处。

因此，您提出的警告将有许多误报。在虚假警告中很难找到真正的警告。

因此，我希望编译器供应商已经决定将他们的时间花在其他地方更好。

Answer 3

嗯..我不确定，但是普通的 c++ 也不能防止这种情况发生吗？

class Mutex;
class Lock {
    Lock(Mutex *mutex);
};

int main() {
    Lock /* lock */ (&mtx);
    return 0;
}

使用 DJGPP 编译时，我收到此编译器警告：

C:\df>gxx -c a.cpp
a.cpp: In function 'int main()':
a.cpp:8:30: error: 'mtx' declared as reference but not initialized

如果我取消注释“lock”并添加互斥变量，则编译正常。

所以如果你的“mtx”变量是一个指针。如果您更改它并将其作为“&mtx”传递，会发生什么。