Tại sao không có mạch điều khiển bitwise & ngắn mạch?

Question

Chúng ta đều biết rằng các toán tử logic ngắn && nếu toán hạng bên trái là false, bởi vì chúng ta biết rằng nếu một toán hạng là false, thì kết quả cũng là false.

Tại sao nhà điều hành bitwise & cũng không đoản mạch? Nếu toán hạng bên trái là 0, thì chúng tôi biết rằng kết quả cũng là 0. Mỗi ngôn ngữ tôi đã thử nghiệm này trong (C, Javascript, C#) đánh giá cả hai toán hạng thay vì dừng sau lần đầu tiên.

Có bất kỳ lý do nào tại sao lại là một ý tưởng tồi khi cho phép ngắn mạch của nhà điều hành &? Nếu không, tại sao không phải hầu hết các ngôn ngữ làm cho nó ngắn cicuit? Nó có vẻ như một sự tối ưu hóa rõ ràng.

Answer 1

Tôi đoán là bởi vì một bitwise and trong ngôn ngữ nguồn thường được dịch khá trực tiếp sang hướng dẫn bitwise and sẽ được thực thi bởi bộ xử lý. Điều đó, đến lượt nó, được thực hiện như một nhóm số lượng thích hợp của các cổng and trong phần cứng.

Tôi không thấy điều này là tối ưu hóa nhiều thứ trong hầu hết các trường hợp. Đánh giá toán hạng thứ hai thông thường sẽ tốn ít hơn kiểm tra để xem liệu bạn có nên đánh giá nó hay không.

Answer 2

Hoạt động bitwise thường rẻ đến nỗi việc kiểm tra sẽ làm cho hoạt động hai lần trở lên, trong khi lợi ích từ việc đoản mạch một toán tử lôgic có khả năng rất lớn.

Answer 3

Nếu trình biên dịch phát ra séc cho cả hai toán hạng &, tôi đoán bạn sẽ chậm hơn nhiều trong bất kỳ điều kiện NORMAL nào.

Answer 4

Ngắn mạch không phải là thiết bị tối ưu hóa. Nó là một thiết bị dòng điều khiển. Nếu bạn không đoản mạch p != NULL && *p != 0, bạn sẽ không nhận được chương trình có tốc độ chậm hơn, bạn sẽ nhận được chương trình bị lỗi.

Loại ngắn mạch này hầu như không bao giờ có ý nghĩa đối với các toán tử bitwise, và là đắt hơn so với toán tử không mạch ngắn thông thường.

Answer 5

Vì lý do tương tự mà * không đoản mạch nếu toán hạng đầu tiên là 0 - nó sẽ là trường hợp đặc biệt tối nghĩa và thêm kiểm tra thời gian chạy đặc biệt để làm chậm tất cả nhân.

Khi toán hạng không phải là hằng số, ngắn mạch là tốn kém hơn không ngắn mạch, vì vậy bạn không muốn làm điều đó trừ khi các lập trình viên yêu cầu nó một cách rõ ràng. Vì vậy, bạn thực sự muốn có các quy tắc rõ ràng và đơn giản như khi nó xảy ra.