ไวยากรณ์ของเรื่องไม่เท่ากันหรือไม่

เมื่อทำการเขียนสคริปต์ฉันมักจะเขียน ifs ของฉันด้วยไวยากรณ์ต่อไปนี้เพราะฉันเข้าใจได้ง่ายขึ้นว่าสิ่งต่อไปนี้ไม่เป็นความจริง

if [ ! "$1" = "$2" ]; then

บางคนบอกว่าวิธีการด้านล่างดีกว่า

if [ "$1" != "$2" ]; then

สิ่งนี้คือเมื่อฉันถามว่าทำไมและมีความแตกต่างกันหรือไม่ไม่มีใครดูเหมือนจะมีคำตอบใด ๆ

ดังนั้นมีความแตกต่างระหว่างสองไวยากรณ์หรือไม่ หนึ่งในนั้นปลอดภัยกว่าหรือไม่ หรือมันเป็นเพียงเรื่องของการตั้งค่า / นิสัย?

ข้างข้อโต้แย้งเครื่องสำอาง / การตั้งค่า, เหตุผลหนึ่งที่อาจเป็นไปได้ว่ามีการใช้งานมากขึ้นที่ล้มเหลวในกรณีมุมกว่าด้วย[ ! "$a" = "$b" ][ "$a" != "$b" ]

ทั้งสองกรณีควรมีความปลอดภัยหากการใช้งานเป็นไปตามอัลกอริทึม POSIXแต่ถึงแม้ในปัจจุบัน ตัวอย่างเช่นด้วยa='(' b=')':

$ (a='(' b=')'; busybox test "$a" != "$b"; echo "$?")
0
$ (a='(' b=')'; busybox test ! "$a" = "$b"; echo "$?")
1

สำหรับdashรุ่นก่อนหน้า 0.5.9 เช่น 0.5.8 ที่พบshใน Ubuntu 16.04 เช่น:

$ a='(' b=')' dash -c '[ "$a" != "$b" ]; echo "$?"'
0
$ a='(' b=')' dash -c '[ ! "$a" = "$b" ]; echo "$?"'
1

(แก้ไขใน 0.5.9 ดูhttps://www.mail-archive.com/dash@vger.kernel.org/msg00911.html )

การใช้งานเหล่านั้นถือว่า[ ! "(" = ")" ]เป็นเช่น [ ! "(" "text" ")" ]นั้น[ ! "text" ](ทดสอบว่า "text" เป็นสตริงว่าง) หรือไม่ในขณะที่ POSIX บังคับให้เป็น[ ! "x" = "y" ](ทดสอบ "x" และ "y" เพื่อความเท่าเทียมกัน) การใช้งานเหล่านั้นล้มเหลวเนื่องจากทำการทดสอบผิดในกรณีนั้น

โปรดทราบว่ายังมีรูปแบบอื่น:

! [ "$a" = "$b" ]

อันนั้นต้องใช้ POSIX เชลล์ (จะไม่ทำงานกับเชลล์เป้าหมายเดิม)

โปรดทราบว่าการใช้งานหลายอย่างมีปัญหากับ[ "$a" = "$b" ](และ[ "$a" != "$b" ]) เช่นกันและยังคงเหมือน[builtin ของ/bin/shบน Solaris 10 (Bourne shell, POSIX เชลล์ที่อยู่ใน/usr/xpg4/bin/sh) นั่นเป็นเหตุผลที่คุณเห็นสิ่งต่าง ๆ เช่น:

[ "x$a" != "x$b" ]

ในสคริปต์ที่พยายามพกพาไปยังระบบเก่า

x != yไวยากรณ์จะดีกว่าเพราะ! x == yเป็นข้อผิดพลาดง่าย - ต้องมีความรู้ของผู้ประกอบการมีความสำคัญที่แตกต่างจากภาษาภาษา ไวยากรณ์! x == yอาจจะตีความว่าเป็น!(x == y)หรือ(!x) == yขึ้นอยู่กับลำดับความสำคัญของVS!=

ตัวอย่างเช่นในการc++ปฏิเสธ! มาก่อนการเปรียบเทียบ / ผู้ประกอบการสัมพันธ์ ==จึงรหัสต่อไปนี้:

#include<iostream>

using namespace std;

int main()
{
  int x=1, y=2;
  if(     x  != y   ) cout<<"true"<<endl; else cout<<"false"<<endl;
  if(  !  x  == y   ) cout<<"true"<<endl; else cout<<"false"<<endl;
  if(  !( x  == y ) ) cout<<"true"<<endl; else cout<<"false"<<endl;
  if(   (!x) == y   ) cout<<"true"<<endl; else cout<<"false"<<endl;
}

ผลตอบแทน

true
false
true
false

พฤติกรรมที่คล้ายกันสามารถสังเกตได้ในภาษาอื่น ๆ รวมถึงเช่นawk- เครื่องมือที่ใช้บ่อยในโลกยูนิกซ์

ในทางกลับกันการรวบรวมผู้ประกอบการด้วยกันผ่านทางx != yจะไม่นำไปสู่ความสับสนใด ๆ เป็นรูปแบบที่ดีขึ้น ยิ่งกว่านั้นการพูดทางเทคนิค !=มักไม่ใช่สอง แต่เป็นเพียงตัวดำเนินการหนึ่งดังนั้นควรประเมินผลได้เร็วกว่าการเปรียบเทียบแบบแยกกันแล้วจึงปฏิเสธ ดังนั้นแม้ว่าไวยากรณ์ทั้งสองจะทำงานใน bash ฉันขอแนะนำให้ทำตามx != yวิธีที่ง่ายต่อการอ่านและบำรุงรักษาโค้ดซึ่งเป็นไปตามตรรกะมาตรฐานบางอย่าง

การเรียงลำดับของสิ่งนี้เป็นไปตามความคิดเห็นอย่างมากเนื่องจากคำตอบนั้นขึ้นอยู่กับวิธีที่สมองของแต่ละบุคคลมีสาย ในขณะที่มันเป็นความจริงที่ความหมายNOT ( A == B )เหมือนกัน(A != B )หนึ่งอาจชัดเจนกับคนคนหนึ่งและอีกคนหนึ่ง นอกจากนี้ยังขึ้นอยู่กับบริบทด้วย ตัวอย่างเช่นถ้าฉันมีชุดธงความหมายอาจชัดเจนกว่าด้วยไวยากรณ์หนึ่งเหนืออีก:

if NOT ( fileHandleStatus == FS_OPEN )

ตรงข้ามกับ

if ( fileHandleStatus != FS_OPEN )