JavaScript причудливый слабоспециализированный оператор == может быть легко показан как нетранзитивен следующим образом:
var a = "16";
var b = 16;
var c = "0x10";
alert(a == b && b == c && a != c); // alerts true
Интересно, есть ли какие-либо подобные трюки, которые можно играть с ошибкой округления, Infinity или NaN, которые могли бы показать, что === не является транзитивным, или если он может быть доказан, действительно, является транзитивным.
Оператор === в Javascript выглядит как транзитивный, как он может получить.
NaN надежно отличается от NaN:
>>> 0/0 === 0/0
false
>>> 0/0 !== 0/0
true
Infinity достоверно равен Infinity:
>>> 1/0 === 1/0
true
>>> 1/0 !== 1/0
false
Объекты (хэши) всегда разные:
>>> var a = {}, b = {};
>>> a === b
false
>>> a !== b
true
И поскольку оператор === не выполняет никакого принуждения типа, преобразование значения не может иметь значения, поэтому семантика равенства/неравенства примитивных типов останется согласованной (т.е. не противоречит друг другу), несмотря на ошибки интерпретатора.
Если вы посмотрите на спецификацию (http://bclary.com/2004/11/07/#a-11.9.6), вы увидите, что никакого принуждения типа не производится. Кроме того, все остальное довольно просто, поэтому, возможно, ошибки в реализации сделают его нетранзитивным.
Предполагая, что у вас есть переменные a, b и c, вы не можете быть на 100% уверенными, как показано здесь. Если кто-то делает что-то хакерское, как указано выше, в производстве, то у вас, вероятно, есть большие проблемы;)
var a = 1;
var b = 1;
Object.defineProperty(window,"c",{get:function(){return b++;}});
alert(a === b && b === c && a !== c); // alerts true