C++

Mozza314주의

다음은 일반 std::algorithm호출 의 효과에 대한 시뮬레이션이며 std::swap사용자가 std 네임 스페이스에 스왑을 제공하도록합니다. 이 실험은,이 시뮬레이션은 사용하는 namespace exp대신 namespace std.

// simulate <algorithm>

#include <cstdio>

namespace exp
{

    template <class T>
    void
    swap(T& x, T& y)
    {
        printf("generic exp::swap\n");
        T tmp = x;
        x = y;
        y = tmp;
    }

    template <class T>
    void algorithm(T* begin, T* end)
    {
        if (end-begin >= 2)
            exp::swap(begin[0], begin[1]);
    }

}

// simulate user code which includes <algorithm>

struct A
{
};

namespace exp
{
    void swap(A&, A&)
    {
        printf("exp::swap(A, A)\n");
    }

}

// exercise simulation

int main()
{
    A a[2];
    exp::algorithm(a, a+2);
}

나를 위해 이것은 다음과 같이 인쇄됩니다.

generic exp::swap

컴파일러가 다른 것을 출력하면 템플릿에 대한 “2 단계 조회”를 올바르게 구현하지 않은 것입니다.

컴파일러가 C ++ 98 / 03 / 11 중 하나를 준수하면 내가 보여준 것과 동일한 출력을 제공합니다. 그리고 그 경우에 당신이 두려워하는 일이 정확히 일어날 것입니다. 그리고 swap네임 스페이스 std( exp)에 넣는다 고해서 그 일이 멈추지 않았습니다.

Dave와 나는 모두위원회 위원이며 10 년 동안 표준의이 영역을 작업 해 왔습니다 (항상 서로 동의하지는 않음). 그러나이 문제는 오랫동안 해결되어 왔으며 우리 둘 다 해결 방법에 동의합니다. 이 분야에 대한 Dave의 전문가 의견 / 답변은 자신의 위험에 무시하십시오.

이 문제는 C ++ 98이 게시 된 후 밝혀졌습니다. 2001 년경부터 Dave와 저는 이 분야 에서 일 하기 시작했습니다 . 그리고 이것은 현대적인 솔루션입니다.

// simulate <algorithm>

#include <cstdio>

namespace exp
{

    template <class T>
    void
    swap(T& x, T& y)
    {
        printf("generic exp::swap\n");
        T tmp = x;
        x = y;
        y = tmp;
    }

    template <class T>
    void algorithm(T* begin, T* end)
    {
        if (end-begin >= 2)
            swap(begin[0], begin[1]);
    }

}

// simulate user code which includes <algorithm>

struct A
{
};

void swap(A&, A&)
{
    printf("swap(A, A)\n");
}

// exercise simulation

int main()
{
    A a[2];
    exp::algorithm(a, a+2);
}

출력은 다음과 같습니다.

swap(A, A)

최신 정보

다음과 같은 관찰이 이루어졌습니다.

namespace exp
{
    template <>
    void swap(A&, A&)
    {
        printf("exp::swap(A, A)\n");
    }

}

공장! 그럼 왜 사용하지 않습니까?

귀하 A가 클래스 템플릿 인 경우를 고려하십시오 .

// simulate user code which includes <algorithm>

template <class T>
struct A
{
};

namespace exp
{

    template <class T>
    void swap(A<T>&, A<T>&)
    {
        printf("exp::swap(A, A)\n");
    }

}

// exercise simulation

int main()
{
    A<int> a[2];
    exp::algorithm(a, a+2);
}

이제 다시 작동하지 않습니다. 🙁

따라서 swap네임 스페이스 std에 넣고 작동하게 할 수 있습니다. 하지만 당신은 넣어 기억해야합니다 swap에서 A템플릿을 때 경우에의 네임 스페이스 : A<T>. 당신이 넣어 두 경우 모두 작동하기 때문에 그리고 swap에서 A의 네임 스페이스, (그리고 티치 다른 사람에게) 그냥 해 하나 개의 방법이 기억 그냥 쉽다.

답변

namespace std
{
    template<>
    void swap(my_type& lhs, my_type& rhs)
    {
       // ... blah
    }
}

class Base
{
    // ... stuff ...
}
class Derived : public Base
{
    // ... stuff ...
}

namespace std
{
    template<>
    void swap(Base& lha, Base& rhs)
    {
       // ...
    }
}

namespace std
{
    template<>
    void swap(myspace::mytype& a, myspace::mytype& b) { ... }
}