C++: So sánh logic như câu lệnh có điều kiện?

Question

Chạy qua một số mã đã sử dụng điều này, điều này khiến tôi ngạc nhiên.

if(condition) foo = bar(); 

condition && (foo = bar()); 

Hai đoạn mã này có bằng trình biên dịch không? Nếu không, chúng sẽ khác nhau theo cách nào?

Answer 1

Trừ && bị quá tải cho sự kết hợp của các loại condition và foo họ sẽ có hành vi giống hệt nhau - sau này sẽ làm việc theo cách này:

bool result; 
if(!condition) { 
    result = false; 
} else { 
    foo = bar(); 
    result = foo != 0; 
} 
and result gets ignored 

đó là thường ngắn mạch - nếu thành phần đầu tiên của && là false giây không được đánh giá.

IMO biến thể thứ hai ít dễ đọc hơn.

Answer 2

Do điều hành precendence, sau này được giải thích như sau:

(condition && foo) = bar(); 

Bên cạnh đó, có một khả năng && bị quá tải, mà có thể gây ra khá nhiều bất cứ điều gì.

Vì vậy, trong ngắn hạn: chúng không bằng nhau chút nào - ít nhất là trong trường hợp chung.

Answer 3

Trừ khi condition && foo đánh giá là lvalue, condition && foo = bar(); là vô nghĩa.

Answer 4

Có lỗi trình biên dịch: giá trị l không hợp lệ. Để có cùng chức năng, bạn phải sử dụng

conticion ? foo = bar() : <other accion>; 

Answer 5

Phiên bản đầu tiên chỉ là một câu lệnh đơn giản.

Phiên bản thứ hai là biểu thức sẽ trả lại kết quả của toàn bộ biểu thức. Điều đó có thể cho phép một số cú pháp một dòng khó hiểu, như thường lệ, có khả năng làm cho mã dễ đọc hơn nhưng có nhiều khả năng làm cho việc phân tích nhanh hơn và khó phân tích nhanh hơn do không quen thuộc.

IMO hoặc sử dụng nó ở mọi nơi một cách nhất quán để người đọc mã của bạn quen với nó hoặc không sử dụng nó.

Answer 6

Nếu & & không bị quá tải cho không điều kiện cũng không foo:

condition && (foo = bar()); 

sẽ được coi như

(condition.operator bool()) && (foo = bar()); 

if (condition.operator bool()) là không đúng sự thật, (foo = bar()) sẽ không được thực thi và ngược lại.