const 是否意味着 C 11 中的线程安全?
const 表示 C 11 中的线程安全的概念部分正确。根据 C 标准,仅修改或访问同一内存位置的表达式被视为冲突。当不同线程中存在两个冲突的操作时,就会出现数据竞争,其中至少一个操作不是原子的,并且两者都不会发生在另一个操作之前。
标准库期望 const 对象上的操作是线程安全的。这意味着只要对用户定义类型的 const 对象进行操作,标准库就不会引入数据竞争:
违反此期望可能会导致直接或间接与标准库组件交互的类型发生数据竞争。本质上,从标准库的角度来看,const 意味着线程安全,但它仍然是编译器不强制执行的约定。
Const 与 Java 的 Synchronized
Const C 11 并不等同于Java 中的synchronized。考虑一个带有 set_size 和 area 方法的简化矩形类。 area 是线程安全的,不是因为 const,而是因为它的只读性质。但是,如果与area同时调用set_size,可能会导致数据争用。
要确保 rect 类的线程安全,仅使用 const 是不够的。写入必须在内部同步,例如使用互斥体,以防止数据竞争。
对线程安全的影响
考虑一个 rect 类,它缓存其区域以避免昂贵的代价计算:
区域方法不再是线程安全的,因为它执行写入。将 rect 实例包含在标准容器中意味着与标准库签订了合同,该合同期望读取行为。为了在执行写入时维持此契约,需要与互斥体进行内部同步:
结论
Const 在有限的意义上传达了线程安全性,但它确实如此不能保证。为了实现真正的线程安全,可能需要额外的同步机制,特别是对于与标准库交互的用户定义类型。
以上是C 11 中 `const` 保证线程安全吗?的详细内容。更多信息请关注PHP中文网其他相关文章!