Rust 1.98 เพิ่มเมธอด floating-point แบบ algebraic เปิดทางให้คอมไพเลอร์จัดลำดับใหม่เพื่อเร่งความเร็ว

Rust 1.98 ออกสู่ช่องทาง stable เมื่อวันที่ 20 สิงหาคม 2026 และ InfoWorld สรุปประเด็นสำคัญเมื่อวันที่ 28 สิงหาคม โดยฟีเจอร์เด่นคือชนิดข้อมูล f32 และ f64 ได้เมธอดกลุ่มใหม่ที่เรียกว่า "algebraic" สำหรับการบวก ลบ คูณ หาร และหาเศษ ได้แก่ algebraic_add, algebraic_sub, algebraic_mul, algebraic_div และ algebraic_rem

แนวคิดเบื้องหลังคือการอนุญาตให้คอมไพเลอร์ปรับแต่งการคำนวณเหล่านี้โดยใช้สมบัติเชิงพีชคณิตของจำนวนจริง แม้สมบัติเหล่านั้นจะไม่เป็นจริงเสมอไปภายใต้ข้อจำกัดของการแทนค่าแบบ floating-point ตัวอย่างที่ชัดที่สุดคือการบวก floating-point ไม่มีสมบัติการเปลี่ยนกลุ่ม (associativity) ดังนั้นนิพจน์ a + b + c + d ต้องถูกคำนวณตามลำดับซ้ายไปขวาคือ ((a + b) + c) + d เสมอ แต่ถ้าเขียนเป็นลูกโซ่ของ algebraic_add คอมไพเลอร์จะมีอิสระจัดลำดับใหม่ เช่นเป็น (a + b) + (c + d) เพื่อคำนวณผลรวมย่อยพร้อมกันได้

ประโยชน์ที่ตามมาคือการทำ loop vectorization ในขอบเขตที่กว้างขึ้นมาก ซึ่งส่งผลต่อความเร็วอย่างมีนัยสำคัญในงานคำนวณเชิงตัวเลข การประมวลผลสัญญาณ และงานกราฟิก จุดที่ต้องเข้าใจคือผลลัพธ์จะเป็นแบบ non-deterministic คืออาจต่างกันเล็กน้อยในแต่ละครั้งหรือแต่ละแพลตฟอร์ม แต่จะไม่มีวันเป็น undefined behavior ซึ่งต่างจากการเปิด -ffast-math ใน C/C++ ที่อาจนำไปสู่พฤติกรรมที่ไม่ถูกนิยาม

นี่คือปรัชญาที่ Rust ยึดมาตลอด คือให้ผู้พัฒนาเลือกแลกความแม่นยำกับความเร็วได้อย่างชัดเจนในระดับนิพจน์ แทนที่จะเป็นแฟล็กคอมไพเลอร์ระดับโปรเจกต์ที่มีผลกับทุกบรรทัดโดยที่ผู้อ่านโค้ดมองไม่เห็น

รุ่นนี้ยังมีการปรับปรุงอื่น ๆ เช่น การจัดรูปแบบจำนวนเต็มแบบใช้บัฟเฟอร์ที่มาแทนความจำเป็นในการพึ่งไลบรารีอย่าง itoa และการแก้ไขเรื่องเสถียรภาพหลายจุด