những gì hiện `bằng cách sử dụng std :: swap` bên trong cơ thể của một phương pháp thực hiện phương pháp lớp có nghĩa là gì?

Question

Trong khi thực hành một số C++, tôi đã cố gắng tìm hiểu và chấp nhận thành ngữ sao chép-hoán đổi sau lời giải thích kỹ lưỡng này về câu hỏi này: the Copy-Swap Idiom.

Nhưng tôi tìm thấy một số mã tôi chưa từng thấy: using std::swap; // allow ADL trong ví dụ này

class dumb_array 
{ 
public: 
    // ... 

    void swap(dumb_array& pOther) // nothrow 
    { 
     using std::swap; // allow ADL /* <===== THE LINE I DONT UNDERSTAND */ 

     swap(mSize, pOther.mSize); // with the internal members swapped, 
     swap(mArray, pOther.mArray); // *this and pOther are effectively swapped 
    } 
}; 

1. gì using std::swap; nghĩa bên trong cơ thể của một hàm thực hiện?
2. ADL là gì?

Answer 1

Cơ chế này thường được sử dụng trong mã templated, ví dụ: template <typename Value> class Foo.

Bây giờ câu hỏi được trao đổi để sử dụng. std::swap<Value> sẽ hoạt động nhưng có thể không lý tưởng. Có khả năng xảy ra tình trạng quá tải tốt hơn là swap đối với loại Value, nhưng trong đó không gian tên nào sẽ là? Nó gần như chắc chắn không phải trong std:: (vì đó là bất hợp pháp), nhưng rất có thể trong không gian tên của Value. Có khả năng, nhưng xa nhất định.

Trong trường hợp đó, swap(myValue, anotherValue) sẽ giúp bạn trao đổi "tốt nhất" có thể. Tra cứu phụ thuộc đối tượng sẽ tìm thấy bất kỳ trao đổi nào trong không gian tên nơi Value xuất phát từ đó. Nếu không, cú pháp chỉ thị using sẽ xuất hiện và std::swap<Value> sẽ được khởi tạo và sử dụng.

Trong mã của bạn, mSize có thể là một loại tích phân và mArray một con trỏ. Không có một không gian tên liên quan, và std::swap là với tối ưu hóa chắc chắn 99,9% cho họ anyway. Do đó, tuyên bố using std::swap; dường như vô dụng ở đây.

Answer 2

Từ khóa using có hiệu ứng phạm vi.

Điều này có nghĩa là std::swap có thể được gọi là swap trong phạm vi từ khóa using.

Answer 3

Câu trả lời ngắn

using std::swap; // allow ADL /* <===== THE LINE I DONT UNDERSTAND */ 

cần thiết để tránh cuộc gọi đệ quy để hoán đổi thành viên. Hoán đổi thành viên vô hiệu hóa ADL.