Atomics.compareExchange()

Baseline 已广泛支持

此功能已成熟,可在多种设备和浏览器版本上使用。自 2021 年 12 月以来,它已在所有浏览器中可用。

Atomics.compareExchange() 静态方法会在数组的给定位置,如果给定的预期值等于旧值,则将给定的替换值进行交换。无论返回值是否等于预期值,它都会返回该位置的旧值。此原子操作确保在修改后的值写回之前,不会发生其他写入操作。

试一试

// Create a SharedArrayBuffer with a size in bytes
const buffer = new SharedArrayBuffer(16);
const uint8 = new Uint8Array(buffer);
uint8[0] = 5;

Atomics.compareExchange(uint8, 0, 5, 2); // Returns 5
console.log(Atomics.load(uint8, 0));
// Expected output: 2

Atomics.compareExchange(uint8, 0, 5, 4); // Returns 2
console.log(Atomics.load(uint8, 0));
// Expected output: 2

语法

js
Atomics.compareExchange(typedArray, index, expectedValue, replacementValue)

参数

typedArray

一个整数类型化数组。可以是 Int8ArrayUint8ArrayInt16ArrayUint16ArrayInt32ArrayUint32ArrayBigInt64ArrayBigUint64Array 中的一种。

index

要在 typedArray 中交换 replacementValue 的位置。

expectedValue

要进行相等性检查的值。

replacementValue

要交换的数字。

返回值

给定位置 (typedArray[index]) 的旧值。如果返回值等于 expectedValue,则交换成功;否则,交换失败。

异常

TypeError

如果 typedArray 不是允许的整数类型之一,则抛出。

RangeError

如果 indextypedArray 中超出界限,则抛出。

示例

使用 compareExchange()

js
const sab = new SharedArrayBuffer(1024);
const ta = new Uint8Array(sab);
ta[0] = 7;

Atomics.compareExchange(ta, 0, 7, 12); // returns 7, the old value
Atomics.load(ta, 0); // 12

检查返回值

比较并交换(Compare-and-swap)可确保新值基于最新信息计算;如果值在此期间已被另一个线程更新,则写入将失败。因此,您应该检查 compareExchange() 的返回值以确定是否失败,并在必要时重试。

下面是一个原子加法器的示例(功能与 Atomics.add() 相同),改编自引用的维基百科文章。

js
function add(mem, index, a) {
  let done = false;
  while (!done) {
    const value = Atomics.load(mem, index);
    done = Atomics.compareExchange(mem, index, value, value + a) === value;
  }
  return value + a;
}

它首先读取给定索引处的值,然后尝试用新值更新它。它会一直重试,直到成功更新该值。

规范

规范
ECMAScript® 2026 语言规范
# sec-atomics.compareexchange

浏览器兼容性

另见