c – std ::与G交换奇怪

该代码简单如下：

#include <algorithm>    // for std::swap
void f(void)
{
    class MyClass { };
    MyClass aa,bb;
    std::swap(aa,bb);          // doesn't compile
}

当使用G编译时,编译器会产生以下错误消息：

test.cpp: In function ‘void f()’:
test.cpp:6:21: error: no matching function for call to ‘swap(f()::MyClass&,f()::MyClass&)’
test.cpp:6:21: note: candidates are:
/usr/include/c++/4.6/bits/move.h:122:5: note: template<class _Tp> void std::swap(_Tp&,_Tp&)
/usr/include/c++/4.6/bits/move.h:136:5: note: template<class _Tp,long unsigned int _Nm> void std::swap(_Tp (&)[_Nm],_Tp (&)[_Nm])

令人惊讶的结果是,只需将类定义从函数中移出即可使代码编译正确：

#include <algorithm>    // for std::swap
class MyClass { };
void f(void)
{
    MyClass aa,bb);          // compiles fine!
}

那么,std :: swap()不应该在类上工作,这对于函数是私有的？或者这是G的错误,也许是我使用的G的具体版本？

更令人困惑的是,以下内容再次工作,尽管MyListClass也是私有的(但扩展了一个“官方”类,也就是存在一个特定的swap()实现)：

#include <algorithm>        // for std::swap
#include <list>             // for std::list
void g(void)
{
    class MyListClass : public std::list<int> { };
    MyListClass aa,bb);              // compiles fine!
}

但是只需从对象更改为指针,然后编译再次失败：

#include <algorithm>        // for std::swap
#include <list>             // for std::list
void g(void)
{
    class MyListClass : public std::list<int> { };
    MyListClass aa,bb;
    MyListClass* aap = &aa;
    MyListClass* bbp = &bb;
    std::swap(aap,bbp);    // doesn't compile!
}

当然,在我的实际应用中,课程更复杂;我尽可能简化了代码,仍然可以重现问题.