เหตุใดค่าของ typeof null จึงเปลี่ยนไปภายในลูป

การเรียกใช้ข้อมูลโค้ดนี้ในคอนโซล Chrome:

function foo() {
    return typeof null === 'undefined';
}
for(var i = 0; i < 1000; i++) console.log(foo());

ควรพิมพ์ 1,000 ครั้งfalseแต่ในบางเครื่องจะพิมพ์falseซ้ำหลายครั้งจากนั้นtrueส่วนที่เหลือ

เหตุใดจึงเกิดขึ้น มันเป็นเพียงข้อผิดพลาด?

มีข้อผิดพลาดโครเมียมเปิดสำหรับสิ่งนี้:

ปัญหา 604033 - คอมไพเลอร์ JIT ไม่รักษาลักษณะการทำงานของวิธีการ

ใช่มันเป็นเพียงข้อผิดพลาด!

มันเป็นบั๊กV8 JavaScript engine ( Wiki )

เอ็นจิ้นนี้ใช้ใน Chromium, Maxthron, Android OS, Node.js เป็นต้น

คำอธิบายข้อผิดพลาดค่อนข้างง่ายที่คุณสามารถพบได้ในหัวข้อ Reddit นี้ :

เอ็นจิ้น JavaScript สมัยใหม่จะรวบรวมโค้ด JS เป็นโค้ดเครื่องที่ปรับให้เหมาะสมเมื่อถูกเรียกใช้งาน (การคอมไพล์แบบ Just In Time) เพื่อให้ทำงานได้เร็วขึ้น อย่างไรก็ตามขั้นตอนการปรับให้เหมาะสมมีต้นทุนประสิทธิภาพเริ่มต้นบางส่วนเพื่อแลกกับการเร่งความเร็วในระยะยาวดังนั้นเครื่องยนต์จะตัดสินใจแบบไดนามิกว่าวิธีการใดคุ้มค่าหรือไม่ขึ้นอยู่กับว่าใช้กันทั่วไปเพียงใด

ในกรณีนี้ดูเหมือนจะมีข้อบกพร่องเฉพาะในเส้นทางที่ปรับให้เหมาะสมเท่านั้นในขณะที่เส้นทางที่ไม่ได้เพิ่มประสิทธิภาพจะทำงานได้ดี ดังนั้นในตอนแรกวิธีการนี้จะได้ผลตามที่ตั้งใจไว้ แต่ถ้ามันถูกเรียกแบบวนซ้ำบ่อยพอในบางจุดเครื่องยนต์จะตัดสินใจเพิ่มประสิทธิภาพและแทนที่ด้วยเวอร์ชันบั๊กกี้

ข้อผิดพลาดนี้ดูเหมือนจะได้รับการแก้ไขแล้วใน V8 เอง ( กระทำ ) เช่นเดียวกับใน Chromium ( รายงานข้อผิดพลาด ) และ NodeJS (คอมมิต )

เพื่อตอบคำถามโดยตรงว่าเหตุใดจึงเปลี่ยนแปลงข้อบกพร่องอยู่ในรูทีนการเพิ่มประสิทธิภาพ "JIT" ของเครื่องมือ V8 JS ที่ Chrome ใช้ ในตอนแรกโค้ดจะทำงานตรงตามที่เขียนไว้ แต่ยิ่งคุณเรียกใช้มากเท่าไหร่ก็ยิ่งมีศักยภาพมากขึ้นสำหรับประโยชน์ของการเพิ่มประสิทธิภาพเพื่อให้มีค่ามากกว่าต้นทุนในการวิเคราะห์

ในกรณีนี้หลังจากดำเนินการซ้ำในลูปคอมไพลเลอร์ JIT จะวิเคราะห์ฟังก์ชันและแทนที่ด้วยเวอร์ชันที่ปรับให้เหมาะสม น่าเสียดายที่การวิเคราะห์ทำให้สมมติฐานที่ไม่ถูกต้องและเวอร์ชันที่ปรับให้เหมาะสมไม่ได้ให้ผลลัพธ์ที่ถูกต้อง

โดยเฉพาะผู้ใช้ Reddit RainHappens แนะนำว่าเป็นข้อผิดพลาดในการเผยแพร่ประเภท :

นอกจากนี้ยังทำการขยายพันธุ์บางประเภท (เช่นเดียวกับตัวแปรประเภทใดเป็นต้น) มีประเภทพิเศษ "ตรวจไม่พบ" เมื่อตัวแปรไม่ได้กำหนดหรือเป็นโมฆะ ในกรณีนี้เครื่องมือเพิ่มประสิทธิภาพจะเปลี่ยนเป็น "null is undetectable ดังนั้นจึงสามารถแทนที่ด้วยสตริง" ไม่ได้กำหนด "สำหรับการเปรียบเทียบ

นี่เป็นปัญหาหนักอย่างหนึ่งในการปรับแต่งโค้ด: วิธีการรับประกันว่าโค้ดที่ได้รับการจัดเรียงใหม่เพื่อประสิทธิภาพจะยังคงมีผลเช่นเดียวกับต้นฉบับ

สิ่งนี้ได้รับการแก้ไขเมื่อสองเดือนก่อนและจะเข้าสู่ Chrome เร็ว ๆ นี้ (อยู่ใน Canary แล้ว)

V8 Issue 1912553002 - แก้ไข 'typeof null' canonicalization ในเพลาข้อเหวี่ยง

Chromium Issue 604033 - คอมไพเลอร์ JIT ไม่รักษาพฤติกรรมวิธีการ