Tại sao tăng :: filesystem :: path và std :: filesystem :: toán tử đường dẫn +?

Question

Xem xét các xác nhận sau về phân tách đường dẫn, trong đó mỗi biến cục bộ, ví dụ: stem có khởi tạo rõ ràng, ví dụ: auto stem = path.stem() -

assert(root_path == root_name/root_directory); 
assert(path == root_name/root_directory/relative_path); 
assert(path == root_path/relative_path); 

assert(path == parent_path/filename); 
assert(filename == stem + extension); 

này tất cả các công trình, ngoại trừ dòng cuối cùng - vì fs::path không định nghĩa một operator+. Nó có operator+=, nhưng không có operator+.

Câu chuyện ở đây là gì?

---

Tôi đã xác định rằng tôi có thể thực hiện việc biên dịch mã này bằng cách thêm operator+ của riêng mình. Có lý do nào để không làm điều này không? (. Chú ý đây là trong không gian tên riêng của tôi, tôi sẽ không mở lại namespace std)

fs::path operator+(fs::path a, const fs::path& b) 
{ 
    a += b; 
    return a; 
} 

giả thuyết duy nhất của tôi về đề tài này là:

• Có lẽ các nhà thiết kế lo lắng rằng operator+ sẽ là quá dễ dàng bị nhầm lẫn với số operator+ của std::string. Nhưng điều đó có vẻ ngớ ngẩn, vì nó thực sự giống hệt nhau về mặt ngữ nghĩa (vậy tại sao lại quan tâm nếu nó bị xáo trộn?). Và nó cũng có vẻ như các nhà thiết kế không quan tâm đến sự nhầm lẫn người mới khi họ thiết kế path.append("x") để làm điều gì đó ngữ nghĩa khác nhau từ str.append("x") và path.concat("x") để làm điều gì đó ngữ nghĩa cùng như str.append("x").

• Có thể path chuyển đổi tiềm ẩn của operator string_type() const sẽ gây ra một số loại p + q trở nên mơ hồ. Nhưng tôi đã không thể đưa ra bất kỳ trường hợp như vậy.

Answer 1

này đã được nhập như một khiếm khuyết so với thư viện hệ thống tập tin, và vì sự phức tạp giao diện và khả năng để làm việc xung quanh bằng cách chuyển đổi thành các chuỗi và trở lại con đường, nó được đánh giá là không có một khiếm khuyết. Đọc tất cả về nó tại đây: https://timsong-cpp.github.io/lwg-issues/2668