อะไรคือความแตกต่างระหว่าง: และจริง

ในbash:

$ type :
: is a shell builtin
$ type true
true is a shell builtin

ดูเหมือนว่าพวกเขาจะเหมือนกัน แต่พวกเขาไม่ได้ให้ระบบการสืบค้นกลับที่เหมือนกัน:

$ strace :
strace: :: command not found
$ strace true
execve("/bin/true", ["true"], [/* 82 vars */]) = 0
[snip]
exit_group(0)                           = ?

ฉันพยายามทำให้แตกต่างstrace bash -c : 2>:.txtและstrace bash -c true 2>true.txtแต่ไม่พบความแตกต่างระหว่างพวกเขายกเว้นที่ตั้งหน่วยความจำ

ในdash:

$ type :
: is a special shell builtin
$ type true
true is a shell builtin

ตกลงดังนั้นพวกเขาจะไม่เหมือนกัน help :และhelp trueไม่เป็นประโยชน์มากและพวกเขากลับเดียวกันในและbash dashมีความแตกต่างในทางปฏิบัติระหว่างพวกเขายกเว้นว่า:จะบันทึกสามไบต์และทำให้สคริปต์อ่านน้อยลง?

ไม่มีความแตกต่างในพฤติกรรมที่แท้จริง ทั้งสองคำสั่งไม่ทำอะไรเลยและออกด้วยสถานะที่ประสบความสำเร็จ :เน้นการไม่ทำอะไรเลย trueเน้นสถานะที่ประสบความสำเร็จ

strace trueทำงานได้เพราะtrueทั้งเชลล์ในตัวและคำสั่งภายนอก ( /bin/true); :เป็นเพียงเชลล์บิวด์อิน (ไม่มี/bin/:- แม้ว่าอาจมีได้และอาจเป็นระบบยูนิกซ์ที่เก่ามาก) ลองทุบตี

type -a :
type -a true

เหตุผลที่มีอยู่ทั้งคู่นั้นเป็นเรื่องในอดีต ถ้าฉันจำได้อย่างถูกต้องเปลือกบางต้น ๆ ไม่มีไวยากรณ์ความคิดเห็นดังนั้นจึงใช้:คำสั่งdo-nothing แทน

มีความแตกต่างภายในอยู่dashบ้าง มองผ่านแหล่งที่มีอยู่ที่ git: //git.kernel.org/pub/scm/utils/dash/dash.git แสดงเส้นทางของรหัสที่แตกต่างกันeval.cแต่ฉันไม่สามารถสร้างพฤติกรรมที่แตกต่างอย่างเห็นได้ชัดอื่น ๆ มากกว่าคำว่าในการส่งออกของspecialtype :

พวกมันเหมือนกันใน Bash ดูbuiltins/colon.defในซอร์สโค้ด Bash-4.2

ในคำสั่งของstrace trueคุณคุณกำลังทำงานจริงไบนารี/bin/trueแทนการทุบตีในตัวจริง