Sự khác biệt giữa mở rộng và thay thế trong thuật ngữ kịch bản shell

Mở rộng và thay thế dường như là sự thay thế cho nhau trong cùng một bối cảnh trong ngôn ngữ lập trình shell. Ví dụ: một số tài liệu như hướng dẫn tham khảo Bash , Bash Hackers Wiki sử dụng từ 'mở rộng' để giải thích ' mở rộng tham số shell '. Tuy nhiên, một số tài liệu khác dường như thích từ 'thay thế'. Nâng cao Bash-Scripting Guide sử dụng tham số substituion .

Có sự khác biệt nào giữa 'mở rộng' và 'thay thế' về thuật ngữ lập trình shell không?

Thay thế gần như đồng nghĩa với việc mở rộng trong bối cảnh này vì ý nghĩa của chúng trùng lặp. Không phải là một danh mục con hoàn chỉnh của cái khác, mặc dù trong phần GNU Manual bạn tham chiếu có những sự thay thế được coi là một phần của việc mở rộng tổng thể.

Một mở rộng đang trích xuất giá trị của một định danh. Ví dụ, nếu this=that, khi chúng tôi mở rộng, thischúng tôi nhận được that. Một mở rộng không liên quan đến sự thay thế được xác định trước ở chỗ giá trị được sử dụng đã tồn tại và đơn giản phải được truy xuất, mặc dù điều này bao gồm kết hợp các giá trị được truy xuất / rõ ràng (chẳng hạn như "mở rộng số học").

Một sự thay thế tạo ra một giá trị là kết quả của một hoạt động đầu vào / đầu ra rõ ràng. Ví dụ, nếu this=$(foo bar), thislà kết quả của việc thực hiện foo barvà nắm bắt đầu ra của nó. ¹ Mặc dù giá trị do thay thế có thể hoàn toàn có thể dự đoán được, nó khác với giá trị được lấy trong một bản mở rộng thông thường vì nó không thực sự tồn tại cho đến khi sự thay thế diễn ra - nó được tạo ra.

Sự thay thế có hai hương vị, mệnh lệnh và quy trình , đó là loại đối xứng:

# Command substitution
foo=$(ls)
# Process substitution
wc <(ls)

"Lệnh" trong cái đầu tiên là ls, "quá trình" trong cái thứ hai. Chúng tôi có thể nói những gì đang được thay thế thực sự là kết thúc của một đường ống. Quá trình thay thế chồng chéo với chuyển hướng . Tuy nhiên, điều này có lẽ là một chút quá hạn chế về mặt kỹ thuật, điều này đưa chúng ta đến phần chú thích ...

1. foo bartrong trường hợp này có thể là một hàm shell bên trong, trong trường hợp đó nó không có IO xử lý. Sự tồn tại của lớp vỏ tích hợp ít rõ ràng che khuất sự khác biệt này. Về nội dung, đầu vào và đầu ra sẽ giống nhau.

set -- arg arg2
echo ${2+"$1"}
 #OUTPUT 
arg

shift
echo ${2+"$1"}
 #OUTPUT

 #there doesn't seem to be anything here

Tôi nghĩ rằng sự khác biệt nói chung là quá tối thiểu để đáng được chú ý - và các thuật ngữ thường được sử dụng thay thế cho nhau. Mặc dù vậy, nếu bạn nhìn vào trên hai trường hợp, bạn có thể thấy rằng trong ví dụ đầu tiên chúng ta thay thế $1 cho $2là kết quả của sự mở rộng của $2. Ngay khi $2không thể được mở rộng , không có sự thay thế.

goldilocks làm cho một điểm tốt về sự tồn tại thanh tao của sự thay thế. Kiểu như con mèo của Schrodinger, tôi đoán vậy. Nó làm tôi nhớ một cái gì đó. Bạn có thể không quen thuộc với hình thức mở rộng tham số do POSIX chỉ định này, nhưng nó hoạt động theo cách ngược lại với hình thức trên:

${var:?if $var is unset or null its \
     parent shell dies and this message is output to stderr}

Bây giờ đôi khi tôi muốn hành vi tương tự nhưng cho một setgiá trị. POSIX không chỉ định hành vi đó cho bất cứ điều gì chính xác. Nhưng, với một hoặc hai mẹo, nó chỉ đơn giản được quản lý:

N= #N is null
var="any value should fail"
${var:+${N:?we substitute our \$Null var when \$var is expanded}}
  #OUTPUT
sh: line 3: N: we substitute our $Null var when $var is expanded

Nhưng:

N= #N is null
var=
${var:+${N:?is never substituted}}
  #OUTPUT

#there doesn't seem to be anything here