is_lock_free
需要实例(它是成员函数)的原因是什么?为什么不是该类型的元函数,或者静态 constexpr
成员函数?
我正在寻找一个实际的例子来说明为什么它是必要的。
最佳答案
标准允许类型有时无锁。
section 29.4 Lock-free property
The ATOMIC_..._LOCK_FREE macros indicate the lock-free property of the corresponding atomic types, with the signed and unsigned variants grouped together. The properties also apply to the corresponding (partial) specializations of the atomic template. A value of 0 indicates that the types are never lock-free. A value of 1 indicates that the types are sometimes lock-free. A value of 2 indicates that the types are always lock-free.
C++ atomic paper n2427说明背后的原因:
... The proposal provides run-time lock-free query functions rather than compile-time constants because subsequent implementations of a platform may upgrade locking operations with lock-free operations, so it is common for systems to abstract such facilities behind dynamic libraries, and we wish to leave that possiblility open. Furthermore, we recommend that implementations without hardware atomic support use that technique. ...
还有(正如 Jesse Good 所指出的):
The proposal provides lock-free query functions on individual objects rather than whole types to permit unavoidably misaligned atomic variables without penalizing the performance of aligned atomic variables
关于c++ - 为什么 is_lock_free 是成员函数?,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/10407514/