这是可能的！

变量i=0；具有({获取a（）{返回++i；}}) {如果（a==1&&a==2&&a==3）console.log（“wohoo”）；}

这在with语句中使用getter，让一个求值为三个不同的值。

…这仍然不意味着这应该在实际代码中使用。。。

更糟糕的是，使用==也可以使用此技巧。

变量i=0；具有({获取a（）{返回++i；}}) {如果（a！==a）console.log（“是的，这是打印的。”）；}

如果利用==的工作原理，您可以简单地创建一个带有自定义toString（或valueOf）函数的对象，该函数在每次使用时都会更改其返回的内容，以使其满足所有三个条件。

常量a={i： 1中，toString:函数（）{返回a.i++；}}如果（a==1&&a==2&&a==3）{console.log（“Hello World！”）；}

这之所以有效，是因为使用了松散的相等运算符。使用松散相等时，如果其中一个操作数的类型与另一个不同，则引擎将尝试将其中一个转换为另一个。在左边是一个对象，右边是一个数字的情况下，它将尝试通过首先调用valueOf（如果它是可调用的）将对象转换为一个数字，否则，它将调用toString。在这种情况下，我习惯使用String，因为这是我想到的，valueOf更有意义。如果我从toString返回一个字符串，那么引擎将尝试将该字符串转换为一个数字，从而得到相同的最终结果，尽管路径稍长。

它可以在全局范围内使用以下方法完成。对于nodejs，在下面的代码中使用global而不是window。

var值=0；Object.defineProperty（窗口，“a”{获取：函数（）{返回++val；}});如果（a==1&&a==2&&a==3）{console.log（“是”）；}

这个答案通过定义getter来检索变量，从而滥用了全局范围在执行上下文中提供的隐式变量。

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

变量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（“你好！”）}

如果询问是否可能（不是必须），它可以要求“a”返回一个随机数。如果它依次生成1、2和3，则为真。

具有({获取a（）{return Math.floor（Math.random（）*4）；}}){对于（var i=0；i<1000；i++）{如果（a==1&&a==2&&a==3）{console.log（“在”+（i+1）+“试用之后，它终于变成了真的！！！”）；打破}}}

这也可以使用一系列自重写getter：

（这类似于jontro的解决方案，但不需要计数器变量。）

(() => {“使用严格”；Object.defineProperty（this，“a”{“获取”：（）=>{Object.defineProperty（this，“a”{“获取”：（）=>{Object.defineProperty（this，“a”{“获取”：（）=>{返回3；}});返回2；},可配置：真});返回1；},可配置：真});如果（a==1&&a==2&&a==3）{document.body.append（“是的，这是可能的。”）；}})();

或者，您可以为其使用一个类，为检查使用一个实例。

函数A（）{var值=0；this.valueOf=函数（）｛return++value；｝；}var a=新a；如果（a==1&&a==2&&a==3）{console.log（'bingo！'）；}

EDIT

使用ES6类时，情况如下

A类{构造器（）{this.value=0；this.valueOf（）；}值Of（）{返回this.value++；};}设a=新a；如果（a==1&&a==2&&a==3）{console.log（'bingo！'）；}

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

不需要隐藏角色的诡计。

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

我没有看到这个答案已经发布了，所以我也会把这个加入到混合中。这与Jeff使用半宽朝鲜文空格的回答类似。

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

你可能会注意到与第二个略有不同，但第一个和第三个与肉眼完全相同。所有3个字符都是不同的：

a-拉丁文小写aａ - 全宽拉丁文小写Aа-西里尔文小写A

通用术语是“同字形”：看起来相同的不同unicode字符。通常很难找到三个完全无法区分的，但在某些情况下，你可能会很幸运。A、 Α、А和Ꭺ 会更好地工作（拉丁字母A、希腊字母Alpha、西里尔字母A和切罗基字母A）；不幸的是，希腊语和切罗基语小写字母与拉丁字母A:α，ꭺ, 因此对上面的片段没有帮助）。

有一整类的同字形攻击，最常见的是假域名（例如，wikipediа.org（西里尔文）vs wikipedia.org（拉丁语）），但它也可以在代码中出现；通常被称为隐藏（正如一篇评论中所提到的，[隐藏]问题现在在PPCG上已不再是话题，但在过去，这类问题会成为一种挑战）。我使用这个网站来查找用于这个答案的同字形。

这一个使用了带有良好副作用的defineProperty，导致全局变量！

变量_a=1Object.defineProperty（this，“a”{“获取”：（）=>{返回_a++；},可配置：真});控制台日志（a）控制台日志（a）控制台日志（a）

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

变量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，依此类推。

实际上，在每种编程语言中，问题第一部分的答案都是“是”。例如，这是在C/C++的情况下：

#define a   (b++)
int b = 1;
if (a ==1 && a== 2 && a==3) {
    std::cout << "Yes, it's possible!" << std::endl;
} else {
    std::cout << "it's impossible!" << std::endl;
}

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

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

好了，又一个发电机黑客：

常量值=函数*（）{设i=0；而（真）产量++i；}();Object.defineProperty（this，“a”{获取（）{return value.next（）.value；}});如果（a==1&&a==2&&a==3）{console.log（“哟！”）；}

老实说，不管有没有一种方法可以评估它的真实性（正如其他人所展示的，有多种方法），我要寻找的答案是，作为一个已经进行了数百次面试的人来说，大致如下：

“嗯，也许是的，在一些奇怪的情况下，这些情况对我来说不是很明显……但如果我在真实的代码中遇到了这种情况，我会使用常见的调试技术来弄清楚它是如何以及为什么在做它正在做的事情，然后立即重构代码以避免这种情况……但更重要的是：我绝对不会在一开始就写代码，因为这就是复杂代码的定义，我努力不写复杂代码”。

我想有些面试官会对提出一个显然是非常棘手的问题感到愤怒，但我不介意有意见的开发人员，特别是当他们能够用合理的想法来支持这一点，并将我的问题融入到一个关于自己的有意义的陈述中时。

这在变量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。在列表中添加越来越多的内容会降低命中率。

JavaScript

a==a+1

在JavaScript中，没有整数，只有数字，它们被实现为双精度浮点数。

这意味着如果一个数字a足够大，它可以被认为等于四个连续的整数：

a=100000000000000000如果（a==a+1&&a==a+2&&a==a+3）{console.log（“精度损失！”）；}

的确，这并不是面试官所要求的（当a=0时不起作用），但它不涉及隐藏函数或运算符重载的任何技巧。

其他语言

作为参考，Ruby和Python中有a==1&a==2&&a==3个解决方案。稍加修改，在Java中也是可能的。

Ruby

使用自定义==：

class A
  def ==(o)
    true
  end
end

a = A.new

if a == 1 && a == 2 && a == 3
  puts "Don't do this!"
end

或增加一个：

def a
  @a ||= 0
  @a += 1
end

if a == 1 && a == 2 && a == 3
  puts "Don't do this!"
end

蟒蛇

您可以为新类定义==：

class A:
    def __eq__(self, who_cares):
        return True
a = A()

if a == 1 and a == 2 and a == 3:
    print("Don't do that!")

或者，如果你喜欢冒险，重新定义整数的值：

import ctypes

def deref(addr, typ):
    return ctypes.cast(addr, ctypes.POINTER(typ))

deref(id(2), ctypes.c_int)[6] = 1
deref(id(3), ctypes.c_int)[6] = 1
deref(id(4), ctypes.c_int)[6] = 1

print(1 == 2 == 3 == 4)
# True

它可能会出错，这取决于您的系统/解释器。

python控制台与上述代码一起崩溃，因为2或3可能在后台使用。如果您使用不太常见的整数，则可以正常工作：

>>> import ctypes
>>> 
>>> def deref(addr, typ):
...     return ctypes.cast(addr, ctypes.POINTER(typ))
... 
>>> deref(id(12), ctypes.c_int)[6] = 11
>>> deref(id(13), ctypes.c_int)[6] = 11
>>> deref(id(14), ctypes.c_int)[6] = 11
>>> 
>>> print(11 == 12 == 13 == 14)
True

Java

可以修改Java Integer缓存：

package stackoverflow;

import java.lang.reflect.Field;

public class IntegerMess
{
    public static void main(String[] args) throws Exception {
        Field valueField = Integer.class.getDeclaredField("value");
        valueField.setAccessible(true);
        valueField.setInt(1, valueField.getInt(42));
        valueField.setInt(2, valueField.getInt(42));
        valueField.setInt(3, valueField.getInt(42));
        valueField.setAccessible(false);

        Integer a = 42;

        if (a.equals(1) && a.equals(2) && a.equals(3)) {
            System.out.println("Bad idea.");
        }
    }
}

没有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）；

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

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

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

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

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

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

相同，但不同，但仍然相同（可以多次“测试”）：

常量a={valueOf:（）=>this.n=（this.n||0）%3+1｝如果（a==1&&a==2&&a==3）{console.log（“Hello World！”）；}如果（a==1&&a==2&&a==3）{console.log（“Hello World！”）；}

我的想法是从Number对象类型方程的工作原理开始的。

使用符号的ECMAScript 6答案：

const a = {value: 1};
a[Symbol.toPrimitive] = function() { return this.value++ };
console.log((a == 1 && a == 2 && a == 3));

由于==的用法，JavaScript应该强制a接近第二个操作数（本例中为1、2、3）。但是，在JavaScript尝试自己计算强制之前，它会尝试调用Symbol.toPrimitive。如果您提供Symbol.toPrimitive，JavaScript将使用函数返回的值。如果没有，JavaScript将调用valueOf。

这是@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; // 真）。

使用代理：

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

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

我认为这是实现它的最小代码：

i=0，a={valueOf:（）=>++i}如果（a==1&&a==2&&a==3）{console.log（'Mind===Blown'）；}

创建具有自定义值Of的虚拟对象，该值在每次调用时递增全局变量i。23个字符！

通过在类声明中重写valueOf，可以执行以下操作：

class Thing {
    constructor() {
        this.value = 1;
    }

    valueOf() {
        return this.value++;
    }
}

const a = new Thing();

if(a == 1 && a == 2 && a == 3) {
    console.log(a);
}

发生的情况是在每个比较运算符中调用valueOf。第一次，a等于1，第二次，a将等于2，依此类推，因为每次调用valueOf时，a的值都会递增。

因此，console.log将激发并输出（在我的终端中）Thing:{value:4}，表示条件为真。

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

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

是的，您可以这样做，请参见以下JavaScript代码：

让a=0//创建一个变量并为其赋值如果（a！==1&&a！==2&&a！==3）{console.log（“true”）}

解决方案说明：

简单地说，我们加上不等号在==符号之前，以便我们告诉语言这些值是不等于变量中的值

令人惊讶的是，是的。JS中的==松散相等运算符调用被比较对象的valueOf（）方法。因此，您可以创建一个类，该类返回一个内部值，然后在每次调用时递增该间隔值。这样地：

A类{构造函数（initalVal）{this.val=初始值；}值Of（）{返回此.val++；}}const a=新AClass（1）；console.log（a==1&&a==2&&a==3）

我知道这个问题还有很多其他答案，但这就是ES6语法的用法。

注意：如果不希望发生这种情况，那么应该使用==运算符来检查strict。这样地：

A类{构造函数（initalVal）{this.val=初始值；}值Of（）{返回此.val++；}}const a=新AClass（1）；console.log（a==1&&a==2&&a==3）