Java: File.toURI(). ToURL() trên tệp Windows

Question

Hệ thống tôi đang chạy là Windows XP, với JRE 1.6.

Tôi làm điều này:

public static void main(String[] args) { 
    try { 
     System.out.println(new File("C:\\test a.xml").toURI().toURL()); 
    } catch (Exception e) { 
     e.printStackTrace(); 
    }  
} 

và tôi có được điều này: file:/C:/test%20a.xml

Tại sao các URL đã cho không có hai dấu gạch chéo trước C:? Tôi mong đợi file://C:.... Đó là hành vi bình thường?

---

EDIT:

Từ mã nguồn Java: java.net.URLStreamHandler.toExternalForm (URL)

result.append(":"); 
    if (u.getAuthority() != null && u.getAuthority().length() > 0) { 
     result.append("//"); 
     result.append(u.getAuthority()); 
    } 

Dường như phần Authority của một URL tập tin là null hoặc trống rỗng, và do đó dấu gạch chéo kép bị bỏ qua. Vậy phần thẩm quyền của URL là gì và nó có thực sự vắng mặt trong giao thức tệp không?

Answer 1

Đó là một câu hỏi thú vị.

Điều đầu tiên trước tiên: Tôi nhận được kết quả tương tự trên JRE6. Tôi thậm chí nhận được rằng khi tôi lop off toURL() một phần.

RFC2396 không thực sự yêu cầu hai dấu gạch chéo. Theo phần 3:

Cú pháp URI phụ thuộc vào sơ đồ . Nói chung, tuyệt đối URI là viết như sau:

<scheme>:<scheme-specific-part> 

Có nói rằng, RFC2396 đã được thay thế bởi RFC3986, trong đó nêu

Cú pháp URI chung bao gồm một chuỗi thứ bậc của omponents được gọi là lược đồ, quyền hạn, đường dẫn, truy vấn và đoạn.

URI   = scheme ":" hier-part [ "?" query ] [ "#" fragment ] 

    hier-part = "//" authority path-abempty 
      /path-absolute 
      /path-rootless 
      /path-empty 

Đề án và đường dẫn thành phần được yêu cầu, mặc dù con đường có thể rỗng (không có ký tự). Khi thẩm quyền là hiện tại, đường dẫn phải trống hoặc bắt đầu bằng ký tự gạch chéo ("/"). Khi không có quyền, đường dẫn không thể bắt đầu bằng hai dấu gạch chéo ký tự ("//"). Những hạn chế này dẫn đến năm quy tắc ABNF khác nhau cho đường dẫn (Phần 3.3), chỉ một trong số sẽ khớp với bất kỳ tham chiếu URI nào đã cho.

Vì vậy, có bạn đi.Vì các URI tệp không có phân đoạn quyền, chúng bị cấm bắt đầu bằng //. Tuy nhiên, RFC không đến khoảng năm 2005 và tài liệu tham khảo Java RFC2396, vì vậy tôi không biết tại sao nó tuân theo quy ước này, vì URL của tệp trước khi RFC mới luôn có hai dấu gạch chéo.

Answer 2

Theo như việc sử dụng nó trong trình duyệt, điều đó không quan trọng. Tôi thường thấy file:///... nhưng một, hai hoặc ba '/' sẽ hoạt động. Điều này làm cho tôi suy nghĩ (mà không cần nhìn vào tài liệu java) rằng nó sẽ là hành vi bình thường.

Answer 3

Để trả lời lý do tại sao bạn có thể có cả hai:

file:/path/file 
file:///path/file 
file://localhost/path/file 

RFC3986 (3.2.2. Host) trạng thái:

"Nếu giao thức URI xác định một mặc định cho máy chủ, sau đó mặc định áp dụng khi các tiểu hợp phần chủ là undefined hoặc Ví dụ, lược đồ URI "tệp" được định nghĩa sao cho không có thẩm quyền, máy chủ trống và "localhost" nghĩa là máy của người dùng cuối, trong khi lược đồ "http" xem xét thiếu quyền hoặc máy chủ lưu trữ trống không hợp lệ ".

Vì vậy, lược đồ "tệp" dịch file:///path/file để có ngữ cảnh của máy của người dùng cuối mặc dù cơ quan là máy chủ trống.