这在变量a被访问的情况下是可能的，例如，2个web工作人员通过SharedArray Buffer以及一些主脚本进行访问。可能性很低，但当代码被编译为机器代码时，网络工作人员可能会及时更新变量a，从而满足条件a==1、a==2和a==3。

这可以是web工作者和JavaScript中的SharedArray Buffer提供的多线程环境中的竞争条件的一个示例。

以下是上述的基本实现：

main.js

// Main Thread

const worker = new Worker('worker.js')
const modifiers = [new Worker('modifier.js'), new Worker('modifier.js')] // Let's use 2 workers
const sab = new SharedArrayBuffer(1)

modifiers.forEach(m => m.postMessage(sab))
worker.postMessage(sab)

工人.js

let array

Object.defineProperty(self, 'a', {
  get() {
    return array[0]
  }
});

addEventListener('message', ({data}) => {
    array = new Uint8Array(data)
    let count = 0
    do {
        var res = a == 1 && a == 2 && a == 3
        ++count
    } while(res == false) // just for clarity. !res is fine
    console.log(`It happened after ${count} iterations`)
    console.log('You should\'ve never seen this')
})

修改器.js

addEventListener('message' , ({data}) => {
    setInterval( () => {
        new Uint8Array(data)[0] = Math.floor(Math.random()*3) + 1
    })
})

在我的MacBook Air上，第一次尝试大约100亿次迭代后会发生这种情况：

第二次尝试：

正如我所说，机会很低，但如果有足够的时间，它会达到条件。

提示：如果系统花费的时间太长。只尝试a==1&&a==2，然后将Math.random（）*3更改为Math.random（）*2。在列表中添加越来越多的内容会降低命中率。

这是@Jeff的答案*的反转版本，其中使用隐藏字符（U+115F、U+1160或U+3164）创建类似于1、2和3的变量。

变量a=1；变量ﾠ1=a；变量ﾠ2=a；变量ﾠ3=a；console.log（a==ﾠ1和a==ﾠ2&&a（&&a）==ﾠ3 );

*这个答案可以通过使用零宽度非接合（U+200C）和零宽度接合（U+200D）来简化。这两个字符都允许在标识符内，但不能在开头：

变量a=1；变量a‌ = 2.变量a‍ = 3.console.log（a==1&a‌ == 2&&a（&&a）‍ == 3);/****变量a=1；var a\u200c=2；var a\u200d=3；console.log（a==1&&a\u200c==2&&a\u200d==3）；****/

其他技巧也可以使用相同的思想，例如使用Unicode变体选择器创建看起来完全相同的变量（a︀ = 1.一︁ = 2.一︀ == 1和a︁ == 2; // 真）。

如果没有正则表达式就无法执行任何操作：

变量a={r： /\d/g，valueOf：函数（）{返回此.r.exec（123）[0]}}如果（a==1&&a==2&&a==3）{console.log（“！”）}

它之所以有效，是因为当Object与基元（如Number）进行比较时调用了自定义valueOf方法。主要技巧是，a.valueOf每次都会返回新值，因为它使用g标志对正则表达式调用exec，这会导致每次找到匹配项时更新该正则表达式的lastIndex。所以第一次this.r.lastIndex==0时，它匹配1并更新lastIndex：this.r.lastIndex==1，所以下次regex将匹配2，依此类推。

这是另一种变体，使用数组弹出所需的任何值。

常量a={n： [3,2,1]，toString:函数（）{return a.n.pop（）；}}如果（a==1&&a==2&&a==3）{console.log（“是”）；}

如果你曾经遇到过这样的面试问题（或者注意到代码中的一些同样意外的行为），想想什么样的事情可能会导致乍一看不可能的行为：

编码：在这种情况下，您正在查看的变量不是您认为的变量。如果您故意使用Unicode，使用同形符或空格字符使变量的名称看起来像另一个变量，则可能会发生这种情况，但也可能会意外地引入编码问题，例如，当从Web复制和粘贴包含意外Unicode码点的代码时（例如，因为内容管理系统进行了一些“自动格式化”，例如将fl替换为Unicode“LATIN小LIGATURE fl”（U+FB02））。竞争条件：可能会出现竞争条件，即代码未按开发人员预期的顺序执行的情况。竞争条件通常发生在多线程代码中，但多线程不是竞争条件的必要条件——异步就足够了（不要混淆，异步并不意味着在后台使用多个线程）。请注意，因此JavaScript也不能因为是单线程而不受竞争条件的限制。请参阅此处了解一个简单的单线程但异步的示例。然而，在单个语句的上下文中，在JavaScript中很难达到竞争条件。JavaScript与web工作者有点不同，因为您可以有多个线程@mehulmpt向我们展示了一个使用web工作者的概念证明。副作用：相等比较操作的副作用（不必像这里的示例那样明显，通常副作用非常微妙）。

这类问题可能出现在许多编程语言中，不仅仅是JavaScript，因此我们在这里没有看到经典的JavaScript WTF 1。

当然，面试问题和这里的样本看起来都很做作。但它们很好地提醒我们：

副作用会变得非常严重，一个精心设计的程序应该没有不必要的副作用。多线程和可变状态可能会有问题。不正确进行字符编码和字符串处理可能会导致严重的错误。

1例如，您可以在这里找到一个完全不同的编程语言（C#）中的示例，显示出副作用（一个明显的副作用）。

正如我们已经知道的，松散相等运算符（==）的秘密将尝试将这两个值转换为公共类型。因此，将调用一些函数。

ToPrimitive（A）尝试将其对象参数转换为原语值，通过调用A.toString和A.valueOf的不同序列方法对A。

与其他使用Symbol.toPrimitive、.toString、.valueOf from integer的答案一样。我建议使用这样的array.pop数组。让a={array:[3，2，1]，toString:（）=>a.array.pop（）}；如果（a==1&&a==2&&a==3）{console.log（“Hello World！”）；}

通过这种方式，我们可以处理这样的文本

让a={array:[“World”，“Hello”]，toString:（）=>.array.pop（）}；如果（a==“你好”&&a==”世界“）{console.log（“Hello World！”）；}