Определить друга метод шаблона вне пространства имен

Question

У меня есть код со следующей базовой структурой:

namespace A{ 

    template<class T,unsigned DIM> 
    class CMyTable{ 
     ... 
      public: 
      template<class T,unsigned DIM> 
      friend std::ostream& operator<<(std::ostream& s, const CMyTable<T,DIM>& vec); 
     }  

    }; 

} 

Исходная задача была, чтобы получить мой оператор < < вне пространства имен А.

Я попытался это решение: How do I define friends in global namespace within another C++ namespace?

namespace A{ 

    template<class T,unsigned DIM> 
    class CMyTable; 
} 

template<class T,unsigned DIM> 
std::ostream& operator<<(std::ostream& s, const CMyTable<T,DIM>& vec); 

namespace A{ 

    template<class T,unsigned DIM> 
    class CMyTable{ 
     ... 
      public: 
      template<class T,unsigned DIM> 
      friend std::ostream& ::operator<<(std::ostream& s, const CMyTable<T,DIM>& vec); 
     }  

    }; 

} 

template<class T,unsigned DIM> 
std::ostream& operator<<(std::ostream& s, const CMyTable<T,DIM>& vec){ 
// [...] 
} 

Я получил эту ошибку: ошибка C2063: «оператор < < ': не функция внутри объявления класса.

public: 
template<class T,unsigned DIM> 
friend std::ostream& ::operator<<(std::ostream& s, const CMyTable<T,DIM>& 

У кого-нибудь есть идеи?

Спасибо.

Answer 1

Если перегрузка ostream должен be friend (нуждается в доступе к защищенным членам), затем определите его в строке, чтобы использовать аргументы шаблона, переданные классу.

namespace A{ 

    template<class T,unsigned DIM> 
    class CMyTable{ 
     ... 
     public: 
     // template<class T,unsigned DIM> // This will shadow otherwise 
     friend std::ostream& operator<<(std::ostream& s, const CMyTable<T,DIM>& vec) { 
     // [...] 
     } 
    }; 
} 

---

В противном случае полностью удалить свое заявление из класса и namesapce и просто определить его вне как шаблонную перегрузку.

Помните, что не нужно быть другом, если ему не нужен доступ к закрытым или защищенным элементам.

namespace A{ 
    template<class T,unsigned DIM> 
    class CMyTable{ 
    ... 
     public: 
    }; 
} 



template<class T,unsigned DIM> 
std::ostream& operator<<(std::ostream& s, const A::CMyTable<T,DIM>& vec){ 
// [...] 
} 

---

Третий вариант держать его друга, но определить его в пространство имен

namespace A{ 

    template<class T,unsigned DIM> 
    class CMyTable{ 
     public: 
      int i; 

     template<class V,unsigned E> 
     friend std::ostream& operator<<(std::ostream& s, const CMyTable<V,E>& vec); 
    }; 

}; 
// 
// 

namespace A{ 

    template<class T,unsigned DIM> 
    std::ostream& operator<<(std::ostream& s, const CMyTable<T,DIM>& vec) { 
     s << vec.i; 
    } 

} 

Answer 2

оператор Выход интерфейс класса действительно, так, по логике вещей, он должен находиться в пространстве имен, в котором объявлен класс, но сделать код работы, вы можете использовать

namespace A{ 

    template<class T,unsigned DIM> 
    class CMyTable; 
} 

// friend is not correct here. 
template<class T,unsigned DIM> 
/*friend*/ std::ostream& operator<<(std::ostream& s, const A::CMyTable<T,DIM>& vec); 

namespace A{ 

    template<class T,unsigned DIM> 
    class CMyTable{ 
     ... 
      public: 
      // choose another names of template pars. 
      // or use 
      //friend std::ostream& (::operator << <>)(std::ostream& s, 
      //const CMyTable<T, DIM>&); 
      /*template<class T,unsigned DIM>*/ 
      template<class U, unsigned D> 
      friend std::ostream& (::operator <<)(std::ostream&, 
      const CMyTable<U,D>&); 
     }; 
} 

template<class T,unsigned DIM> 
std::ostream& operator<<(std::ostream& s, const A::CMyTable<T,DIM>& vec){ 
// [...] 
}