ลำดับของการเรียกใช้ฟังก์ชัน (C++)

ลำดับการประเมินไม่ได้ระบุโดยมาตรฐาน C++ (หรือ C) (ดู คำตอบจาก Vlad) หาก function_1 หรือ function_2 ของคุณมีผลข้างเคียงที่มีนัยสำคัญ ก็อาจกลายเป็น < a href="http://en.wikipedia.org/wiki/Unspecified_behavior" rel="nofollow noreferrer">พฤติกรรมที่ไม่ระบุ ที่คุณควรหลีกเลี่ยงอย่างยิ่ง (เช่นเดียวกับที่คุณควรหลีกเลี่ยง พฤติกรรมที่ไม่ได้กำหนด) และในบางกรณี (ฟังก์ชันแบบอินไลน์ที่มีการเพิ่มประสิทธิภาพที่แข็งแกร่ง) การคำนวณอาจมีการผสมผสานกัน

ลองนึกถึงกรณีแปลกๆ เช่น

 static int i;
 int function_1(void) { i++; return i; }
 int function_2(void) { i+=2; return 3*i+1; }

อาจเป็นการดำเนินการเฉพาะเจาะจง และอาจขึ้นอยู่กับคอมไพเลอร์จริงและแฟล็ก การเพิ่มประสิทธิภาพ

คุณควรเขียนโค้ดราวกับว่าลำดับของการเรียกใช้ฟังก์ชันนั้นเป็นแบบสุ่มโดยสมบูรณ์และไม่สามารถทำซ้ำได้ (แม้ว่า ในทางปฏิบัติ มันอาจจะทำซ้ำได้ก็ตาม) ในทำนองเดียวกัน คุณไม่ควรคาดหวังลำดับการประเมินอาร์กิวเมนต์ใดๆ เป็นพิเศษ (เช่น ใน f(i++, ++j) คุณไม่รู้ว่า i หรือ j ได้ถูกเพิ่มขึ้นก่อนหรือไม่) แม้ว่าสำหรับคอมไพเลอร์ที่กำหนดนั้น ลำดับนั้นอาจได้รับการแก้ไขก็ตาม ขอย้ำอีกครั้งว่าคุณควรจินตนาการถึงลำดับแบบสุ่มโดยสิ้นเชิงและไม่สามารถทำซ้ำได้

ตามที่แสดงความคิดเห็นโดย David Schwartz หากคุณสนใจเกี่ยวกับคำสั่งซื้อ คุณควรเขียนโค้ด จุดลำดับ

ในที่สุด หากโค้ดของคุณขึ้นอยู่กับลำดับบางอย่าง มันก็ไม่สามารถอ่านได้อย่างสมบูรณ์ และด้วยเหตุผลง่ายๆ ในการอ่าน คุณควรหลีกเลี่ยงการเขียนโค้ดด้วยวิธีนี้

ตามมาตรฐาน C++ (การทำงานของโปรแกรม 1.9)

15 ยกเว้นในกรณีที่ระบุไว้ การประเมินตัวถูกดำเนินการของตัวดำเนินการแต่ละรายและนิพจน์ย่อยของนิพจน์แต่ละรายการจะไม่เรียงลำดับกัน

ดังนั้นในนิพจน์นี้

result= function_1()*function_2();

คอมไพเลอร์บางตัวสามารถประเมินได้ตั้งแต่แรก function_1() จากนั้นจึง function_2() ในขณะที่คอมไพเลอร์อื่นๆ สามารถประเมินได้ตั้งแต่แรก function_2() และหลังจากนั้นเท่านั้น function_1() แม้จะเขียนแบบว่า.

result= (function_1())*(function_2());

or

result= (function_1())*function_2();

or

result= function_1()*(function_2());

จะไม่มีอะไรเปลี่ยนแปลงเมื่อเทียบกับลำดับการประเมินตัวถูกดำเนินการ