在逗号运算符的 LHS 中初始化匿名互斥锁持有类实例

Question

假设我有这样的代码：

#include "boost/thread/mutex.hpp"

using boost::mutex;
typedef mutex::scoped_lock lock;

mutex mut1, mut2;

void Func() {
 // ...
}

void test_raiicomma_1() {
 lock mut1_lock(mut1);
 Func();
}

void test_raiicomma_2() {
 (lock(mut1)), Func();
}

void test_raiicomma_3() {
 (lock(mut1)), (lock(mut2)), Func(); // Warning!
}

int main()
{
 test_raiicomma_1();
 test_raiicomma_2();
 test_raiicomma_3();
 return 0;
}

如果从多个线程调用函数 test_raiicomma_1()，它会锁定互斥体以防止任何其他线程也在该处调用 Func()同一时间。当变量 mut1_lock 被构造时，互斥锁被锁定，当它超出范围并被破坏时，互斥锁被释放。

这工作得很好，但作为一种风格问题，需要给持有锁的临时对象命名让我很恼火。函数 test_raiicomma_2() 尝试通过初始化锁定对象并在一个表达式中调用函数 Func() 来避免这种情况。

在 Func() 返回后，直到表达式末尾才会调用临时对象析构函数，这是否正确？ （如果是这样，您认为值得使用这个习惯用法，还是在单独的语句中声明锁总是更清晰？）

如果函数 test_raiicomma_3() 需要锁定两个互斥体，则为正确的是，互斥体将在调用 Func() 之前按顺序锁定，并在之后释放，但不幸的是可能会以任一顺序释放？

Answer 1

在 Func() 返回后，直到表达式结束时才会调用临时对象析构函数，这是否正确？

确保构造函数和析构函数都被调用，因为它们有副作用，并且销毁只会在完整表达式的末尾发生。

我相信它应该有效

如果函数 test_raiicomma_3() 需要锁定两个互斥体，则在调用 Func() 之前按顺序锁定互斥体，然后释放互斥体，但不幸的是可能会以任一顺序释放互斥体，这是否正确？

逗号总是从左到右评估，作用域内的自动变量总是以创建的相反顺序被销毁，所以我认为甚至可以保证它们也以（正确的）顺序释放

正如litb在评论中指出的那样，你需要大括号或者你的表达式将被解析为声明。

（如果是这样，您认为值得使用这个习惯用法，还是在单独的语句中声明锁总是更清晰？）

我不这么认为，不，为了非常非常小的收益而感到困惑......
我总是使用非常显式的锁和非常显式的作用域（通常在块内额外的 {}），如果没有“特殊”代码，体面的线程安全代码就已经足够困难了，并且在我看来保证了非常清晰的代码。

当然是YMMW:)

Answer 2

虽然不必提供有意义的名称可以减轻您的负担，但它会增加找出该代码应该做什么的任务，从而增加代码读者的负担 - 在决定是否 test_raiicomma_3 实际上按照其作者所设想的方式工作。

一段代码只写一次，但被读10次、100次、1000次，那么写所有的锁真的那么难吗？

Answer 3

互斥锁将以从左到右的顺序创建，并在完整表达式结束时释放。您可以这样写：

 // parentheses tells that it is full expression and set order explicitly
 ( ( lock(mut1), lock(mut2) ), Func() ); 

根据 C++ 标准 5.18/1，互斥体将按正确的顺序被销毁：

逗号运算符从左到右分组。
表达式：
赋值表达式
表达式，赋值表达式

一对用逗号分隔的表达式从左到右计算，左侧表达式的值为
被丢弃。左值到右值 (4.1)、数组到指针 (4.2) 和函数到指针 (4.3) 标准转换
sions 不适用于左侧表达式。左边表达式的所有副作用 (1.9)，除了
临时变量的销毁（12.2）是在评估正确表达式之前执行的。类型和
结果的值是右操作数的类型和值；如果其右操作数是，则结果是左值。