模板類中的重載operator =

Question

我正在學習模板，偶然發現了這個問題：

template <typename T, typename CONT>
class someContainer {
public:
    someContainer (const std::initializer_list<T>& ini) {
        for (const auto& elem : ini) {
            m_cont.push_back(elem);
        }
    }

    template <typename DST_CONT>
    someContainer& operator=(const DST_CONT& cont) {
        m_cont.clear();
        for (const auto& elem : cont.m_cont) {
            m_cont.push_back(static_cast<T>(elem));
        }
        return *this;
    }
private:
    CONT m_cont;
}

如果我這樣稱呼此類：

someContainer <int, std::vector<int>> ivec{ 1,2 };
someContainer <int, std::vector<int>> ivec2{ 1,2,3 };
ivec = ivec2;

在這里，m_cont將被正確分配正確的值1,2,3

但是，如果我這樣做：

someContainer <int, std::vector<int>> ivec{ 1,2 };
someContainer <int, std::deque<int>> ivec2{ 1,2,3 };
ivec = ivec2;

分配操作將失敗，並顯示以下內容：

cannot access private member declared in class 'someContainer<int,std::deque<int,std::allocator<_Ty>>>'

在這種情況下，如何實現重載operator =，例如，將模板int，std :: vector分配給float，std :: deque？

編譯器為MSVC2015

試圖使功能成為朋友-但在朋友功能中無法返回* this。

試圖使該函數成為非成員-MSVC告訴我不能使operator =非成員

Answer 1

首先，不要只為任何內容重載分配，而只為同一模板的其他專業化分配。 其次，使所有專業互為friend ：

template <typename T>
class X
{
    T m_;

    template <typename> friend class X;  // all specializations of X are friends

public:
    template <typename U>
    X & operator=(const X<U> & rhs)      // assign from any specialization of X
    {
        m_ = rhs.m_;
        return *this;
    }
};