Có sự khác biệt nào giữa việc phủ nhận trước/sau một lệnh kiểm tra không?

Question

Tôi đã Bash scripting trong một thời gian và tôi tự hỏi nếu có bất kỳ sự khác biệt giữa hai hình thức phủ định với lệnh test:

if [ ! condition ]; then 
fi 

if ! [ condition ]; then 
fi 

Đầu tiên nói với vỏ để vượt qua các đối số ! condition để kiểm tra , để chương trình tự chăm sóc bản thân phủ định. Mặt khác, lần thứ hai vượt qua condition để kiểm tra và cho phép trình bao tự phủ nhận mã lỗi.

Có bất kỳ cạm bẫy nào tôi cần lưu ý khi chọn giữa hai biểu mẫu này không? Giá trị nào của $condition có thể làm cho kết quả khác nhau giữa chúng?

(Tôi có vẻ nhớ đọc một bài báo cách đây một thời gian thảo luận về điều này, nhưng tôi không nhớ làm thế nào để tìm thấy nó/chính xác những gì đã được thảo luận.)

Answer 1

Để xây dựng trên chepner 's bình luận sâu sắc về vấn đề:

• Trong [ ! condition ], các ! chỉ là một luận đến sốđược dựng sẵn (một bí danh hiệu dụng của nội trang test); nó sẽ xảy ra rằng đối số thông dịch/test diễn giải ! làm phủ định.

• Trong ! [ condition ], các ! là một từ khóa vỏ mà phủ nhận bất cứ điều gì chỉ huy nó được theo sau bởi (mà sẽ xảy ra là [ trong trường hợp này).

Một điều mà cú pháp ! [ condition ] ngầm cung cấp cho bạn là phủ định áp dụng cho bất cứ điều gì [ condition ] đánh giá để như toàn bộ một, vì vậy nếu đó là ý định, bạn không cần phải lo lắng về việc ưu tiên điều hành.

Hiệu suất khôn ngoan, cú pháp bạn chọn có thể không tạo ra nhiều khác biệt; kiểm tra nhanh chóng gợi ý:

• Nếu condition là theo nghĩa đen như nhau trong cả hai trường hợp, đi qua ! như một lập luận để [ là không đáng kể nhanh hơn.

• Nếu ! được sử dụng như một từ khóa , và do đó bạn có thể đơn giản hóa điều kiện bằng cách không lo lắng về việc ưu tiên, nó có thể nhanh hơn một chút (ví dụ, ! [ 0 -o 1 ] vs [ ! \(0 -o 1 \) ]; lưu ý POSIX đặc tả không khuyến khích. sử dụng -a và -o do sự mơ hồ).

Điều đó nói rằng, nếu chúng ta đang nói về Bash, sau đó bạn nên xem xét sử dụng [[ thay vì [, vì [[ là một từ khóa vỏ đó phân tích các biểu hiện kèm theo trong một đặc biệt ngữ cảnh:

• cung cấp nhiều tính năng hơn
• al mức thấp bạn kết hợp một cách an toàn biểu với && và ||
• đi kèm với những bất ngờ ít
• cũng là hơi nhanh hơn (mặc dù hiếm khi sẽ quan trọng trong tu tập)

Xem this answer của tôi.

Answer 2

! phủ nhận mã lối ra của lệnh sau:

$ ! test 1 = 1 || echo $? # negate command with true expression 
1 

Như đã nói ở trang man, test (và [ dựng sẵn tương tự) thoát với trạng thái xác định bằng biểu thức sau đây:

$ test ! 1 = 1 || echo $? # return false expression 
1 
$ [ ! 1 = 1 ] || echo $? 
1 

Đối với một biểu thức đã cho:

• trên một mặt, bạn hủy bỏ lệnh test thoát với trạng thái biểu hiện đúng.
• ở phía bên kia, bạn phủ nhận một biểu thức và test lệnh (hoặc [) thoát với trạng thái giả của nó

Cả hai sẽ có tác dụng tương tự.

Vì vậy, tôi sẽ nói rằng các cú pháp này là tương đương. Với lợi thế cho các bài kiểm tra chất phủ bên ngoài ! cho phép:

$ ! [ 1 = 1 -a 2 = 2 ] || echo $? 
1