Nếu .. số khác nhỏ hơn, không thể truy cập đang

Question

Hãy nói rằng chúng ta có đoạn mã sau trong C (hoặc ngôn ngữ tương tự):

if (x < 10) 
    do_work1(); 
else if (x < 5) 
    do_work2(); 

Will chi nhánh thứ hai của việc này có điều kiện được thực hiện trong một số trường hợp? Trình biên dịch có cảnh báo về mã không thể truy cập được không?

Answer 1

Nhánh thứ hai sẽ không được thực hiện và trình biên dịch không nên cảnh báo về mã không thể truy cập được.

Answer 2

• Nếu x là biến cục bộ thì tôi không thấy cách nào có thể thực hiện được do_work2.
• Nếu x là biến toàn cầu hoặc được chia sẻ giữa nhiều luồng thì do_work2 có thể được thực hiện.

Không thể chứng minh nói chung là mã có thể truy cập hay không. Trình biên dịch có thể có một số quy tắc đơn giản, dễ hiểu và nhanh chóng kiểm tra có thể phát hiện các trường hợp đơn giản của mã không thể truy cập được. Không nên bao gồm hệ thống giải quyết chậm và phức tạp mà chỉ đôi khi hoạt động.

Nếu bạn muốn kiểm tra thêm, hãy sử dụng công cụ bên ngoài.

Answer 3

Không trình biên dịch sẽ không tạo bất kỳ cảnh báo nào (mã không thể truy cập được) cho mã này. loại cảnh báo này đến bình thường khi bạn sử dụng trả lại mà không có bất kỳ điều kiện nào.

như

int function(){ 

int x; 
return 0; 
x=35; 
} 

Trong trường hợp này nó sẽ cung cấp cho bạn cảnh báo.

Answer 4

Will the second branch of condition be executed in some case?

• Vâng, nó có thể là có thể, nó phụ thuộc vào những gì khác đang xảy ra trong các mã và những gì các trình biên dịch chọn để làm với mã của bạn.

Shouldn't compiler warn about unreachable code?

• Không, nó có thể không phải vì không có đảm bảo rằng nó không thể truy cập

Cầm lấy cái này ví dụ:

int x = 11; 

void* change_x(){ 
    while(1) 
     x = 3; 
} 

int main(void) 
{ 
    pthread_t cxt; 
    int y = 0; 
    pthread_create(&cxt, NULL, change_x, NULL); 
    while(1){ 
     if(x < 10) 
      printf("x is less than ten!\n"); 
     else if (x < 5){ 
      printf("x is less than 5!\n"); 
      exit(1); 
     } 
     else if(y == 0){ // The check for y is only in here so we don't kill 
          // ourselves reading "x is greater than 10" while waiting 
          // for the race condition 
      printf("x is greater than 10!\n"); 
      y = 1; 
     } 
     x = 11; 
    } 

    return 0; 
} 

Và kết quả:

mike@linux-4puc:~> ./a.out 
x is greater than 10! 
x is less than 5!  <-- Look, we hit the "unreachable code"