เหตุใดจึงมีทั้งการลัดวงจรหรือเช่นเดียวกับการเปลี่ยนแปลงที่ไม่ผ่านรอบของตัวดำเนินการนั้นใน C #

ฉันสงสัยเกี่ยวกับสิ่งนี้เป็นระยะ

การลัดวงจรหรือจะคืนค่าเดียวกันกับที่ตัวดำเนินการ OR ที่ไม่มีการลัดวงจรหรือ

ฉันคาดหวังว่าการลัดวงจรหรือจะประเมินผลเร็วกว่าเสมอ ดังนั้นตัวดำเนินการ OR ที่ไม่มีการลัดวงจรรวมอยู่ในภาษา C # เพื่อความมั่นคงหรือไม่

ฉันพลาดอะไรไป

ตัวถูกดำเนินการทั้งสองนั้นมีความหมายสำหรับสิ่งต่าง ๆ มาจาก C ซึ่งไม่มีประเภทบูลีน รุ่นลัดวงจร || ใช้งานได้กับ booleans เท่านั้นในขณะที่รุ่น non-short circuit | ทำงานร่วมกับประเภทที่สำคัญการดำเนินการในระดับบิตหรือ มันเพิ่งจะเกิดขึ้นในการทำงานเป็นปฏิบัติการตรรกะไม่ลัดวงจรสำหรับบูลีนซึ่งจะแสดงเป็นบิตเดียวเป็น 0 หรือ 1

http://en.wikibooks.org/wiki/C_Sharp_Programming/Operators#Logical

|(ค่าบิตหรือ) intต้องไม่ลัดวงจรชนิดเช่น นั่นเป็นเพราะในเกือบทุกกรณีคุณจำเป็นต้องคำนวณทั้งสองด้านของ|นิพจน์เพื่อคำนวณผลลัพธ์ที่ถูกต้อง ตัวอย่างเช่นผลลัพธ์ของ7 | f(x)อะไร

หากf(x)ไม่ได้รับการประเมินคุณจะไม่สามารถบอกได้

นอกจากมันจะไม่สอดคล้องกันเพื่อให้การดำเนินการนี้ลัดวงจรสำหรับเมื่อมันไม่เป็นลัดวงจรสำหรับbool intโดยวิธีการที่ฉันคิดว่าฉันไม่เคยใช้|สำหรับการเปรียบเทียบเชิงตรรกะโดยจงใจพบว่ามันไม่สะดวกมากที่จะพูด|ว่าเป็นผู้ประกอบการเชิงตรรกะ

|| อย่างไรก็ตามสำหรับการเปรียบเทียบเชิงตรรกะที่การประเมินผลการลัดวงจรทำงานได้ดี

สิ่งเดียวกันนั้นใช้ได้แม้กับ C และ C ++ ซึ่งเป็นที่มาของตัวดำเนินการเหล่านั้น

สิ่งนี้ถูกต้องตัวดำเนินการลัดวงจรหรือ (||) จะส่งกลับค่าเดียวกันกับตัวดำเนินการที่ไม่ใช่ลัดวงจรหรือ (|) เสมอ (*)

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

ดังนั้นจึงมีการใช้ทั้งสองอย่าง: ถ้าคุณสนใจประสิทธิภาพและการประเมินตัวถูกดำเนินการครั้งที่สองไม่ได้สร้างผลข้างเคียงใด ๆ (หรือถ้าคุณไม่สนใจพวกเขา) โดยวิธีทั้งหมดใช้ตัวดำเนินการลัดวงจร . แต่ถ้าด้วยเหตุผลบางอย่างที่คุณต้องการมีผลข้างเคียงของตัวถูกดำเนินการตัวที่สองดังนั้นคุณควรใช้ตัวดำเนินการที่ไม่ลัดวงจร

ตัวอย่างที่คุณควรใช้ตัวดำเนินการที่ไม่ลัดวงจร:

if( write_customer_to_database() != SUCCESS |
    write_supplier_to_database() != SUCCESS |
    write_order_to_database() != SUCCESS )
{
    transaction_rollback();
}

(*) ยกเว้นบางสถานการณ์ที่บิดเบือนซึ่งการประเมินตัวถูกดำเนินการครั้งแรกเป็นสาเหตุเท็จโดยผลข้างเคียงตัวถูกดำเนินการตัวที่สองเพื่อประเมินผลเป็นจริงแทนที่จะเป็นเท็จ

จะมี 2 เหตุผลในการใช้ชุดตัวเลือกที่ไม่ใช่วงจรสั้น:

1. การรักษาผลข้างเคียง (แต่ชัดเจนกว่าการเขียนโค้ดด้วยตัวแปรชั่วคราว)

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

หากประโยคด้านขวาของผู้ปฏิบัติงานมีผลข้างเคียงและโปรแกรมเมอร์ตั้งใจว่าเขาต้องการให้เกิดผลข้างเคียงทั้งสองก่อนที่จะตรวจสอบค่าส่งคืน