Tại sao `null> = 0 && null <= 0` mà không phải là` null == 0`?

Tôi đã phải viết một thói quen làm tăng giá trị của biến lên 1 nếu kiểu của nó là number và gán 0 cho biến nếu không, trong đó biến ban đầu là nullhoặc undefined.

Việc thực hiện đầu tiên là v >= 0 ? v += 1 : v = 0vì tôi nghĩ rằng bất cứ điều gì không phải là một con số sẽ làm cho biểu thức số học trở thành sai, nhưng nó đã sai vì null >= 0được đánh giá là đúng. Sau đó, tôi đã học được các nullhành vi như 0 và các biểu thức sau đây đều được đánh giá là đúng.

• null >= 0 && null <= 0
• !(null < 0 || null > 0)
• null + 1 === 1
• 1 / null === Infinity
• Math.pow(42, null) === 1

Tất nhiên, nullkhông phải null == 0là 0. được đánh giá là sai. Điều này làm cho biểu hiện dường như tautological (v >= 0 && v <= 0) === (v == 0)sai.

Tại sao nullgiống như 0, mặc dù nó không thực sự là 0?

Câu hỏi thực sự của bạn dường như là:

Tại sao:

null >= 0; // true

Nhưng:

null == 0; // false

Điều thực sự xảy ra là Toán tử lớn hơn hoặc bằng ( >=), thực hiện cưỡng chế kiểu ( ToPrimitive), với một loại gợi ýNumber , trên thực tế tất cả các nhà khai thác quan hệ có hành vi này.

nullđược xử lý theo cách đặc biệt bởi Toán tử bằng ( ==). Trong một ngắn gọn, nó chỉ cưỡng ép để undefined:

null == null; // true
null == undefined; // true

Giá trị như false, '', '0', và[] đang phụ thuộc vào số kiểu ép buộc, tất cả trong số họ ép buộc không.

Bạn có thể xem chi tiết bên trong của quá trình này trong Thuật toán so sánh đẳng thức trừu tượng và Thuật toán so sánh quan hệ trừu tượng .

Tóm tắt:

• So sánh quan hệ: nếu cả hai giá trị không phải là kiểu String, ToNumberđược gọi trên cả hai. Điều này giống như thêm một +ở phía trước, mà đối với null cưỡng chế 0.

• So sánh bằng: chỉ gọi các ToNumberchuỗi, số và Booleans.

Tôi muốn mở rộng câu hỏi để cải thiện hơn nữa khả năng hiển thị của vấn đề:

null >= 0; //true
null <= 0; //true
null == 0; //false
null > 0;  //false
null < 0;  //false

Nó chỉ làm cho không có ý nghĩa. Giống như ngôn ngữ của con người, những điều này cần phải được học thuộc lòng.

JavaScript có cả so sánh chuyển đổi nghiêm ngặt và kiểu loại

null >= 0;đúng nhưng (null==0)||(null>0)sai

null <= 0;đúng nhưng (null==0)||(null<0)sai

"" >= 0 cũng đúng

Đối với các phép so sánh trừu tượng quan hệ (<=,> =), các toán hạng trước tiên được chuyển đổi thành nguyên hàm, sau đó thành cùng loại, trước khi so sánh.

typeof null returns "object"

Khi loại là đối tượng, javascript cố gắng xâu chuỗi đối tượng (tức là null), các bước sau đây được thực hiện ( ECMAScript 2015 ):

1. Nếu PreferredTypekhông được thông qua, hãy để hint"mặc định".
2. Khác nếu PreferredTypelà hintChuỗi, hãy hintlà "chuỗi".
3. Khác PreferredTypelà hintsố, hãy hintlà "số".
4. Hãy để exoticToPrimnó GetMethod(input, @@toPrimitive).
5. ReturnIfAbrupt(exoticToPrim).
6. Nếu exoticToPrimkhông được xác định, thì
   a) Đặt kết quả là Call(exoticToPrim, input, «hint»).
   b) ReturnIfAbrupt(result).
   c) Nếu Type(result)không phải là Object, trả về kết quả.
   d) Ném ngoại lệ TypeError.
7. Nếu hintlà "mặc định", hãy hintlà "số".
8. Quay trở lại OrdinaryToPrimitive(input,hint).

Các giá trị được phép cho gợi ý là "mặc định", "số" và "chuỗi". Các đối tượng ngày, là duy nhất trong số các đối tượng ECMAScript tích hợp ở chỗ chúng coi "mặc định" là tương đương với "chuỗi". Tất cả các đối tượng ECMAScript tích hợp khác coi "mặc định" là tương đương với "số" . ( Bản thảo 20.3.4.45 )

Vì vậy, tôi nghĩ nullchuyển đổi thành 0.

Tôi đã từng gặp vấn đề tương tự !!. Hiện tại giải pháp duy nhất của tôi là tách ra.

var a = null;
var b = undefined;

if (a===0||a>0){ } //return false  !work!
if (b===0||b>0){ } //return false  !work!

//but 
if (a>=0){ } //return true !

console.log( null > 0 );  // (1) false
console.log( null == 0 ); // (2) false
console.log( null >= 0 ); // (3) true

Về mặt toán học, điều đó thật lạ. Kết quả cuối cùng nói rằng "null lớn hơn hoặc bằng 0", do đó, trong một trong những so sánh ở trên, nó phải đúng, nhưng cả hai đều sai.

Lý do là một kiểm tra bình đẳng ==và so sánh > < >= <=hoạt động khác nhau. So sánh chuyển đổi null thành một số, coi nó là 0. Đó là lý do tại sao (3) null >= 0là truevà (1) null > 0là false.

Mặt khác, việc kiểm tra bình đẳng ==cho undefinedvà nullđược định nghĩa như vậy mà, mà không cần bất kỳ chuyển đổi, họ tương đương với nhau và làm bất cứ điều gì không bình đẳng khác. Đó là lý do tại sao (2) null == 0là false.