主持人注意:请抵制编辑代码或删除此通知的冲动。空白模式可能是问题的一部分,因此不应进行不必要的篡改。如果您处于“空白是无关紧要的”阵营,您应该能够接受代码。

在JavaScript中,(a==1&&a==2&&a==3)是否有可能求值为真?

这是一家大型科技公司提出的面试问题。事情发生在两周前,但我仍在努力寻找答案。我知道我们在日常工作中从未编写过这样的代码,但我很好奇。


当前回答

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.");
        }
    }
}

其他回答

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

变量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(“你好!”)}

通过在类声明中重写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},表示条件为真。

如果询问是否可能(不是必须),它可以要求“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)+“试用之后,它终于变成了真的!!!”);打破}}}

这是可能的!

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

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

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

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

变量i=0;具有({获取a(){返回++i;}}) {如果(a!==a)console.log(“是的,这是打印的。”);}

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

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