2

我对嵌套模板和赋值运算符的覆盖有疑问。假设我想要一个引用计数类模板_reference。这个 _reference 现在只保存一个指向 ref-counted 对象的指针。现在的问题是这一切都很好，只要我用简单的类或结构来做这件事。例如。_参考 ...，

但现在我想制作一个类模板，它是对转发它所拥有的类的标准向量的引用。

不，我只是发布代码：（它现在不做引用计数和那些东西，它只是提取我​​遇到的问题）

template <typename T>
class _reference
{
private:
    T* p_;

public:

// !!! this assignment seems only to work, when T is no class template already...
void operator= (T* r)                   
{
    p_ = r;
}

// WHILE this ALWAYS works as well...
void simplySetIt (T* r)                 
{
    p_ = r;
}
};

template <typename T>
class _ref_vector : public _reference<vector<T> >
{
};

void test2 ()
{
_reference<vector<long> > ref_ptr2;
_ref_vector<long>         ref_ptr3;

ref_ptr2 = new vector<long>;                    // works fine.

ref_ptr3 = new vector<long>;                // BUT: THIS doesnt work
    ref_ptr3.simplySetIt (new vector<long>);    // WHILE: this works fine...
}

MSVC 错误： 

error C2679: binary '=' : no operator found which takes a right-hand operand of type 
'std::vector<_Ty> *' (or there is no acceptable conversion)

GCC 错误： 

error: no match for 'operator=' in 'ptr3 = (((const stlp_std::allocator<long int>&)
((const stlp_std::allocator<long int>*)(& stlp_std::allocator<long int>()))), 
(((stlp_std::vector<long int, stlp_std::allocator<long int> >*)operator new(12u)), 
((<anonymous> != 0u) ? (<anonymous>->stlp_std::vector<_Tp, _Alloc>::vector [with 
_Tp = long int, _Alloc = stlp_std::allocator<long int>]
(<anonymous>), <anonymous>) : <anonymous>)))'

那么请任何人解释一下为什么赋值运算符在这里不起作用，而 simpleSetIt - 函数呢？

4

2 回答 2

6

基本 operator= 被隐式赋值运算符隐藏，因此它不再参与重载。你需要_ref_vector写成

template <typename T>
class _ref_vector : public _reference<vector<T> >
{
  using _reference<vector<T> >::operator=;
};

由于没有编译器添加的 simpleSetIt 版本，查找将在基类中找到它。

于 2009-10-26T08:15:17.063 回答
0

正如标准所说（13.5.3）：

因为复制赋值运算符 operator= 如果未由用户声明，则为类隐式声明（12.8），基类赋值运算符始终被派生类的复制赋值运算符隐藏。

于 2009-10-26T08:45:25.840 回答