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 =在这种情况下，例如，将template 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;
    }
};

在templated类中重载operator =

1 个答案: