C++ 命名需求： SharedLockable (自 C++14 起)

The SharedLockable 需求描述了为执行代理（即线程）提供共享阻塞语义的类型的最小特征。

对于类型 L 来说，要成为 SharedLockable，必须满足以下条件，对于类型 L 的对象 m

表达式	先决条件	影响	返回值
m.lock_shared()		阻塞，直到可以为当前执行代理（线程、进程、任务）获得锁。如果抛出异常，则不会获得锁。
m.try_lock_shared()		尝试在不阻塞的情况下为当前执行代理（线程、进程、任务）获取锁。如果抛出异常，则不会获得锁。	true 如果锁已获得，否则为 false
m.unlock_shared()	当前执行代理持有 `m` 上的共享锁。	释放执行代理持有的共享锁。不抛出异常。

如果通过调用 lock_shared、try_lock_shared、try_lock_shared_for 或 try_lock_shared_until 成员函数获得锁，则称该锁为共享锁。