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

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

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

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

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

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

没有getters或valueOf的示例：

a=[1,2,3]；a.join=a.shift；console.log（a==1&&a==2&&a==3）；

这之所以有效，是因为==调用toString，它为数组调用.join。

另一种解决方案，使用Symbol.toPrimitive，它是ES6等价于String/valueOf：

设i=0；让a={[Symbol.toPrimitive]：（）=>++i}；console.log（a==1&&a==2&&a==3）；

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

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！”）；}

使用代理：

var a = new Proxy({ i: 0 }, {
    get: (target, name) => name === Symbol.toPrimitive ? () => ++target.i : target[name],
});
console.log(a == 1 && a == 2 && a == 3);

代理基本上假装是目标对象（第一个参数），但拦截目标对象上的操作（在本例中是“获取属性”操作），以便有机会执行默认对象行为以外的其他操作。在这种情况下，对when==强制其类型调用“get property”操作，以便将其与每个数字进行比较。发生这种情况：

我们创建一个目标对象｛i:0｝，其中i属性是我们的计数器我们为目标对象创建代理，并将其分配给对于每个a==比较，a的类型都被强制为基元值这种类型强制导致在内部调用[Symbol.toPrimitive]（）Proxy使用“get handler”拦截获取[Symbol.toPrimitive]函数代理的“获取处理程序”检查正在获取的属性是否为Symbol.toPrimitive，在这种情况下，它会递增，然后从目标对象返回计数器：++target.i。如果正在检索不同的属性，我们只需返回默认属性值target[name]

So:

var a = ...; // a.valueOf == target.i == 0
a == 1 && // a == ++target.i == 1
a == 2 && // a == ++target.i == 2
a == 3    // a == ++target.i == 3

与大多数其他答案一样，这只适用于松散的等式检查（==），因为严格的等式检查不执行代理可以拦截的类型强制。

面试规则一；永远不要说不可能。

不需要隐藏角色的诡计。

窗口__定义Getter__（'a'，函数（）{if（类型i！=='number'）{//在全局命名空间中定义i，以便在运行此函数后不会丢失i＝0；}返回++i；});如果（a==1&&a==2&&a==3）{console.log（“哦，亲爱的，我们做了什么？”）；}

我无法抗拒——其他答案毫无疑问是正确的，但你真的无法通过以下代码：

变量aﾠ = 1.变量a=2；变量ﾠa=3；如果（aﾠ==1&&a==2&&ﾠa==3）{console.log（“你好！”）}

注意if语句中奇怪的空格（我从你的问题中复制的）。它是半宽朝鲜文（对于不熟悉的人来说是朝鲜语），它是一个Unicode空格字符，ECMA脚本不会将其解释为空格字符-这意味着它是标识符的有效字符。因此，有三个完全不同的变量，一个是a后面的朝鲜文，一个在a之前，最后一个只有a。为了可读性，将空格替换为_，相同的代码如下所示：

变量a_=1；变量a=2；var_a=3；如果（a_==1&&a==2&&_a==3）{console.log（“你好！”）}

查看Mathias变量名验证器的验证。如果这个奇怪的间距真的包含在他们的问题中，我确信这是一个暗示，暗示了这种答案。

不要这样做。认真地

编辑：我注意到（虽然不允许启动变量）变量名称中也允许使用零宽度连接符和零宽度非连接符-请参阅用零宽度字符混淆JavaScript-利弊？。

如下所示：

变量a=1；变量a‍= 2; //一个零宽度字符变量a‍‍= 3; //两个零宽度字符（也可以使用另一个）如果（a==1&a‍==2&&a（&&a）‍‍==3) {console.log（“你好！”）}