函数模板
<mutex>

std::try_lock

template <class Mutex1, class Mutex2, class... Mutexes>  int try_lock (Mutex1& a, Mutex2& b, Mutexes&... cde);
尝试锁定多个互斥量
使用其 try_lock 成员函数(非阻塞)尝试锁定作为参数传递的所有对象。

该函数依次调用每个参数(先是 a,然后是 b,最后是 cde 中的其他参数)的 try_lock 成员函数,直到所有调用都成功,或者其中一个调用失败(返回 false 或抛出异常)。

如果函数因为某个调用失败而结束,则会对所有成功调用 try_lock 的对象调用 unlock,并返回锁定失败的对象的参数顺序号。不会对参数列表中的其余对象执行进一步的调用。

参数

a, b, cde
要尝试锁定的对象。
Mutex1Mutex2Mutexes 必须是 可锁定类型

返回值

如果函数成功锁定所有对象,则返回 -1
否则,函数返回未能锁定的对象的索引(a0b1,依此类推)。

示例

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
// std::lock example
#include <iostream>       // std::cout
#include <thread>         // std::thread
#include <mutex>          // std::mutex, std::try_lock

std::mutex foo,bar;

void task_a () {
  foo.lock();
  std::cout << "task a\n";
  bar.lock();
  // ...
  foo.unlock();
  bar.unlock();
}

void task_b () {
  int x = try_lock(bar,foo);
  if (x==-1) {
    std::cout << "task b\n";
    // ...
    bar.unlock();
    foo.unlock();
  }
  else {
    std::cout << "[task b failed: mutex " << (x?"foo":"bar") << " locked]\n";
  }
}

int main ()
{
  std::thread th1 (task_a);
  std::thread th2 (task_b);

  th1.join();
  th2.join();

  return 0;
}

可能的输出

task a
[task b failed: mutex foo locked]

互斥量可能被 task_b 锁定,或者两个任务都可能以任何顺序成功锁定(失败时文本可能会交错出现)。

数据竞争

参数会被修改。

异常安全

提供与对参数执行的操作相同的保证级别。

另见