Quy tắc cú pháp đường dẫn

Tôi đang viết một thư viện để thao tác các chuỗi đường dẫn Unix. Trong trường hợp đó, tôi cần hiểu một vài góc tối nghĩa của cú pháp mà hầu hết mọi người sẽ không lo lắng.

Ví dụ, tốt nhất như tôi có thể nói, có vẻ như foo/barvà foo//barcả hai đều chỉ đến cùng một nơi.

Ngoài ra, ~thường là viết tắt của thư mục chính của người dùng, nhưng nếu nó xuất hiện ở giữa một đường dẫn thì sao? Điều gì xảy ra sau đó?

Những câu hỏi này và vài chục câu hỏi khó hiểu khác cần trả lời nếu tôi sẽ viết mã xử lý chính xác mọi trường hợp có thể. Có ai biết một tài liệu tham khảo chính xác giải thích các quy tắc cú pháp chính xác cho công cụ này không?

(Thật không may, tìm kiếm các thuật ngữ như "cú pháp đường dẫn Unix" chỉ xuất hiện một triệu trang thảo luận về $PATHbiến ... Heck, tôi thậm chí đang vật lộn để tìm các thẻ phù hợp cho câu hỏi này!)

Có ba loại đường dẫn:

• đường dẫn tương đối thích foo, foo/bar, ../a, .. Chúng không bắt đầu bằng /và liên quan đến thư mục hiện tại của quá trình thực hiện cuộc gọi hệ thống với đường dẫn đó.
• đường dẫn tuyệt đối như /, /foo/barhoặc ///x. Chúng bắt đầu bằng 1 hoặc 3 hoặc nhiều hơn /, chúng không tương đối, được tra cứu bắt đầu từ /thư mục gốc.
• POSIX cho phép //foođược đối xử đặc biệt, nhưng không chỉ định cách thức. Một số hệ thống sử dụng cho các trường hợp đặc biệt như tệp mạng . Nó phải chính xác là 2 dấu gạch chéo.

Khác với lúc bắt đầu, chuỗi các dấu gạch chéo hoạt động như một.

~Nó chỉ đặc biệt đối với vỏ , nó được mở rộng bởi vỏ, nó không đặc biệt đối với hệ thống. Làm thế nào nó mở rộng là phụ thuộc vỏ. Shell thực hiện các hình thức mở rộng khác như Globing ( *.txt) hoặc mở rộng biến đổi hoặc các dạng /$foo/$barkhác. Theo như hệ thống có liên quan ~foochỉ là một đường dẫn tương đối như _foohay foo.

Những điều cần lưu ý:

• foo/không giống như foo. Nó gần foo/.hơn foo(đặc biệt nếu foolà một liên kết tượng trưng) cho hầu hết các cuộc gọi hệ thống trên hầu hết các hệ thống ( foo//giống như foo/mặc dù).
• a/b/../ckhông nhất thiết phải giống như a/c(ví dụ nếu a/blà một liên kết tượng trưng). Tốt nhất là không đối xử ..đặc biệt.
• Nó thường an toàn để xem xét a/././././bgiống như a/bmặc dù.

Ví dụ, tốt nhất như tôi có thể nói, có vẻ như foo / bar và foo // bar đều trỏ đến cùng một vị trí.

Đúng. Điều này là phổ biến vì đôi khi phần mềm ghép nối một đường dẫn giả sử phần đầu tiên không bị chấm dứt bằng dấu gạch chéo về phía trước, do đó, phần mềm được ném vào để đảm bảo (có nghĩa là cuối cùng có thể có hai hoặc nhiều hơn). foo///barvà foo/////barcũng chỉ đến cùng một nơi với foo/bar. Một hàm đẹp cho thư viện thao tác đường dẫn sẽ là một hàm làm giảm bất kỳ số lượng dấu gạch chéo liên tiếp nào xuống một (ngoại trừ ở đầu đường dẫn, trong đó nó có thể được sử dụng theo cách URL, hoặc, như Stephane chỉ ra, cho bất kỳ mục đích đặc biệt không xác định).

Ngoài ra, ~ thường là viết tắt của thư mục nhà của người dùng

Sự biến đổi đó được thực hiện thông qua exapansion shell và tilde , chỉ hoạt động nếu nó là ký tự đầu tiên trong đường dẫn. Việc bạn có cần giải quyết vấn đề này hay không phụ thuộc vào ngữ cảnh. Nếu thư viện sẽ được sử dụng với các chương trình bình thường nhận, ví dụ: đối số dòng lệnh chứa đường dẫn, việc mở rộng dấu ngã đã được thực hiện khi chúng nhìn thấy đường dẫn. Tình huống duy nhất tôi có thể thấy nó là một mối quan tâm là nếu bạn đang xử lý các đường dẫn trực tiếp từ một tệp văn bản.

Ngoài ra, ~là một nhân vật hợp pháp trong đường dẫn * nix và không nên thay đổi thành bất kỳ điều gì khác. Theo điều này , các ký tự duy nhất không hợp pháp trong tên tệp unix là /(vì nó là dấu phân cách đường dẫn) và "null" (hay còn gọi là byte 0) vì chúng thường không hợp lệ trong văn bản.