Специализация функции для частного класса?

Question

Есть ли способ специализации функции (скажем, std::swap) для частного класса?

Например, когда я проверить это:

#include <algorithm> 

class Outer 
{ 
    struct Inner 
    { 
     int a; 
     void swap(Inner &other) 
     { 
      using std::swap; 
      swap(this->a, other.a); 
     } 
    }; 
public: 
    static void test(); 
}; 

namespace std 
{ 
    template<> void swap<Outer::Inner>(Outer::Inner &a, Outer::Inner &b) 
    { a.swap(b); } 
} 
void Outer::test() 
{ 
    using std::swap; 
    Inner a, b; 
    swap(a, b); 
} 
int main() 
{ 
    Outer::test(); 
    return 0; 
} 

я получаю это:

Test.cpp:20:47: error: 'Inner' is a private member of 'Outer' 
    template<> void swap<Outer::Inner>(Outer::Inner &a, Outer::Inner &b) 
              ^
Test.cpp:5:12: note: implicitly declared private here 
    struct Inner 
     ^
Test.cpp:20:64: error: 'Inner' is a private member of 'Outer' 
    template<> void swap<Outer::Inner>(Outer::Inner &a, Outer::Inner &b) 
                  ^
Test.cpp:5:12: note: implicitly declared private here 
    struct Inner 
     ^
Test.cpp:20:33: error: 'Inner' is a private member of 'Outer' 
    template<> void swap<Outer::Inner>(Outer::Inner &a, Outer::Inner &b) 
           ^
Test.cpp:5:12: note: implicitly declared private here 
    struct Inner 

(Я понимаю, объявляя друга swap, что можно найти с помощью ADL позволяет избежать этой проблемы для swap, но это не имеет никакого отношения к моему вопросу. swap - просто пример.)

Answer 1

Вы можете добавить friend декларации std::swap<Inner>(Inner&, Inner&) внутри Outer

#include <algorithm> 

class Outer 
{ 
    struct Inner 
    { 
     int a; 
     void swap(Inner &other) 
     { 
      using std::swap; 
      swap(this->a, other.a); 
     } 
    }; 

    friend void std::swap<Inner>(Inner&, Inner&) noexcept; 
public: 
    static void test(); 
}; 

namespace std 
{ 
    template<> void swap<Outer::Inner>(Outer::Inner &a, Outer::Inner &b) noexcept 
    { a.swap(b); } 
} 

void Outer::test() 
{ 
    using std::swap; 
    Inner a, b; 
    swap(a, b); 
} 

int main() 
{ 
    Outer::test(); 
    return 0; 
} 

Live Example

Answer 2

Не расширяйте пространство имен std.

Если вы хотите создать функцию подкачки для Inner, сделать его собственную функцию в Outer

#include <algorithm> 

class Outer 
{ 
    struct Inner 
    { 
     int a; 
     void swap(Inner &other) 
     { 
      std::swap(this->a, other.a); 
     } 
    }; 

    static void swap(Inner& a, Inner& b); 

public: 
    static void test(); 
}; 

void Outer::test() 
{ 
    Inner a, b; 
    swap(a, b); 
} 

void Outer::swap(Inner& a, Inner& b) 
{ 
    a.swap(b); 
} 

int main() 
{ 
    Outer::test(); 
    return 0; 
}