Lý do để tra cứu Koenig

Question

Lý do cơ bản của tra cứu Koenig là gì?

Không thể tránh suy nghĩ về điều gì đó khiến mã của bạn khó đọc hơn và nhiều hơn nữa instable.

Không thể xác định tra cứu Koenig để nó chỉ hoạt động cho các trường hợp cụ thể (ví dụ: nhà khai thác không phải thành viên) hoặc khi được yêu cầu một cách rõ ràng?

Answer 1

Động lực ban đầu, IIRC, là để có thể viết

std::cout << 42; 

mà không cần phải hội đủ điều kiện std::operator<<(std::ostream&, int) explicitely.

Nếu bạn muốn tắt tìm kiếm phụ thuộc đối số, bạn có thể đủ điều kiện rõ ràng tên hàm, ví dụ: sử dụng std::swap thay vì swap để ngăn không cho swap được tra cứu trong bất kỳ không gian tên nào mà các đối số của nó sẽ hoạt động. ADL cũng có thể được sử dụng với SFINAE để kiểm tra tại thời gian biên dịch cho dù một số chức năng được xác định cho một loại cụ thể (tôi sẽ cho phép bạn làm việc này như là một bài tập, có ít nhất một câu hỏi về điều này trên Stackoverflow).

Answer 2

Trường hợp sử dụng mạnh nhất cho ADL là dành cho các trường hợp như thế này.

namespace A 
{ 
    struct S {}; 
    S operator+(const S&, const S&); 
} 

namespace B 
{ 
    A::S test() 
    { 
     A::S a, b; 
     return a + b; 
    } 
} 

Nó cũng hữu ích cho việc lựa chọn đúng swap hàm trong mã chung vì vậy không nên chỉ áp dụng cho operator chức năng. Nó đã là một phần khá phức tạp của tiêu chuẩn, làm cho các quy tắc ngăn cản nó hoạt động trong một số trường hợp sẽ thêm độ phức tạp hơn nữa, điều gì sẽ là lợi ích?

Tôi không thể nghĩ ra bất kỳ cách gọn gàng nào để yêu cầu rõ ràng rằng sẽ tiết kiệm hơn một cách đáng kể so với việc gọi một hàm trong một không gian tên khác một cách trực tiếp và trong mọi trường hợp.

Chúng tôi đang nghĩ đến điều gì đó như: return [[ use_adl ]] (a + b); và return A::operator+(a, b);?