Функция с ++ друга скрыта функцией класса?

Question

Минимальный пример:

class A 
{ 
    friend void swap(A& first, A& second) {} 
    void swap(A& other) {} 
    void call_swap(A& other) 
    { 
     swap(*this, other); 
    } 
}; 

int main() { return 0; } 

г ++ 4,7 говорит:

friend.cpp: In member function ‘void A::call_swap(A&)’: 
friend.cpp:7:20: error: no matching function for call to ‘A::swap(A&, A&)’ 
friend.cpp:7:20: note: candidate is: 
friend.cpp:4:7: note: void A::swap(A&) 
friend.cpp:4:7: note: candidate expects 1 argument, 2 provided 

Outcomment линия 4:

// void swap(A& other) {} 

... и она отлично работает. Почему и как это исправить, если я хочу сохранить оба варианта моей функции свопинга?

Answer 1

Я считаю, что это потому, что компилятор пытается найти функцию внутри класса. Это должно быть минималистское изменение, чтобы заставить его работать (он работает в Visual Studio 2012):

class A; // this and the next line are not needed in VS2012, but 
void swap(A& first, A& second); // will make the code compile in g++ and clang++ 

class A 
{ 
    friend void swap(A& first, A& second) {} 
    void swap(A& other) {} 
    void call_swap(A& other) 
    { 
     ::swap(*this, other); // note the scope operator 
    } 
}; 

int main() { return 0; } 

Answer 2

Почему

Внутри класса, имена в область видимости класса скрыть те, в окружающем пространстве имен; так что друг (чье имя находится в пространстве имен, но не доступно непосредственно там) скрывается членом (область в классе) и недоступна в качестве потенциальной перегрузки здесь. (Обновление: или, может быть, это немного сложнее, чем это указано в комментариях. Правила поиска области и имени немного сложно отслеживать, особенно когда речь идет о друзьях).

Как исправить это, если я хочу сохранить оба варианта моей функции подкачки?

Нет идеального решения. Если функции выполняют одно и то же, просто используйте член из других функций-членов. Если вы заявляете другу за пределами определение класса, тогда оно доступно как ::swap; но это немного хрупко, если вы поместите класс в другое пространство имен. (Обновление: или используйте статическую функцию-член, как предложено this answer; я об этом не думал).

Answer 3

В качестве обходного решения вы можете объявить static версию swap. Затем вы можете объявить версию friend для вызова версии static.

class A 
{ 
public: 
    friend void swap(A& first, A& second) { A::swap(first, second); } 
private: 
    static void swap(A& first, A& second) {} 
    void swap(A& other) {} 
    void call_swap(A& other) 
    { 
     swap(*this, other); 
    } 
}; 

int main() { 
    A a, b; 
    swap(a, b); 
} 

Answer 4

Вы можете также использовать вспомогательную функцию, так как в этом случае

template<class T> 
void swap_elems(T& lhs, T& rhs) 
{ 
    using namespace std; 
    swap(lhs, rhs); 
} 

class A 
{ 
friend void swap(A& first, A& second) { first.swap(second); } 

    public: 
    void swap(A& other) {} 
    void call_swap(A& other) 
    { 
     swap_elems(*this, other); 
    } 
}; 

Answer 5

Придерживайтесь стандартной замены идиомы, и вы не будете иметь проблемы:

void call_swap(A& other) { 
    using std::swap; 
    swap(*this, other); 
} 

Или используйте обертку Boost.Swap:

void call_swap(A& other) { 
    boost::swap(*this, other); 
} 

Это в значительной степени эквивалентно решению @ Хуана, за исключением того, что вы сами не пишете помощника.

Answer 6

Что вы наблюдаете здесь является то, что при отсутствии предыдущей декларации в friend функции, friend судна в классе впрыскивает имя в вмещающем пространство имен, но НЕ в области видимости класса. Единственное, что происходит в классе, это то, что назначенной функции предоставляется доступ к закрытым атрибутам.

Это оставляет только одну функцию подкачки в классе (член с одним параметром), так что это единственная перегрузка кандидата.Как только вы нашли кандидата, даже если сбой при перегрузке не удастся, вы никогда не будете пытаться использовать другую закрывающую область (затенение).

Если вам действительно нужны обе версии (и шаг назад, чтобы убедиться, что вы это сделали), поставьте реализацию в функцию, например swap_impl, которую вы вызываете от друга и участника.