是否可以在C++中显式实例化临时变量

Is it possible to explicitly instantiate temporary variables in C++?

本文关键字：实例化 变量 C++ 是否      更新时间：2023-10-16

有些人警告说，写可能会错误使用锁

std::unique_lock<std::mutex>(mutex);

而不是以下正确的语句：

std::unique_lock<std::mutex> lock(mutex);

即创建一个未命名的临时变量，而不是本地变量。临时变量将立即被销毁，并提前解锁互斥锁。

例如，请参阅gperftools（第321-324行）标题：

// Catch bug where variable name is omitted, e.g. MutexLock (&mu);
#define MutexLock(x) COMPILE_ASSERT(0, mutex_lock_decl_missing_var_name)
#define ReaderMutexLock(x) COMPILE_ASSERT(0, rmutex_lock_decl_missing_var_name)
#define WriterMutexLock(x) COMPILE_ASSERT(0, wmutex_lock_decl_missing_var_name)

编写此宏是为了再次保护此类用例。

但它还能发生吗？显然，在这种情况下，一个足够新的GCC或clang会产生错误：

#include <iostream>
class Mutex {};
class Lock {
public:
  explicit Lock(Mutex */* dummy */) { std::cout << __PRETTY_FUNCTION__ << std::endl; }
  ~Lock() { std::cout << __PRETTY_FUNCTION__ << std::endl; }
};
int main() {
  Mutex mutex;
  {
    Lock l(&mutex);
  }
  {
    Lock(&mutex); // This line does not compile.
  }
  return 0;
}

错误：

g++ foo.cpp
foo.cpp:17:11: error: declaration of reference variable 'mutex' requires an initializer
    Lock(&mutex);
          ^~~~~
1 error generated.

有人能展示一个repro的例子吗？在这个例子中，这样的宏会捕捉到一个真正的错误？到目前为止我还想不出一个。

实际上，可以作为声明的事物的消歧规则（它们被解析为声明，而不是表达式）以及要求初始化引用的规则正在保存您。

它不会在这里拯救你：

std::mutex m;
int main(){
    std::unique_lock<std::mutex>(m); // m is a local default-constructed unique_lock
}

或此处：

struct C { Mutex m; } c;
int main() {
    Lock(&c.m);  // Constructs and destroys a temporary lock.
 }
相关文章：