Mẫu [_ | _] trong Erlang có ý nghĩa gì không?

Question

Tôi đang học Erlang từ Learn You Some Erlang và tôi đã thấy mẫu [_|_] hai lần nhưng không thể tìm thấy bất kỳ thông tin nào trên đó. Cách sử dụng này có vẻ thừa thãi vì bỏ qua nó từ (1) và trừ nó với _ trong (2) mang lại kết quả tương tự mà không làm giảm khả năng đọc. Đây là tuần đầu tiên của tôi với Erlang vì vậy tôi có thể hoàn toàn sai.

(1) từ bestest_qsort:

bestest_qsort(L=[_|_]) -> 
    bestest_qsort(L, []). 

(2) từ here:

error:{badmatch,[_|_]} -> ok 

Answer 1

Các mô hình [p1 | p2] phù hợp với một danh sách không có sản phẩm nào, mà người đứng đầu phù hợp với mô hình p1 và có trận đấu đuôi mẫu p2. Vì vậy, kể từ khi mô hình _ khớp với mọi thứ, [_ | _] khớp với bất kỳ danh sách không trống nào. Mặt khác,

_ Mặt khác khớp với bất kỳ thứ gì, kể cả danh sách trống.