0

我正在尝试在一个类中编写一个转换运算符函数模板并遇到一些我不完全理解的编译错误。

class ABC { };

class BBC:public ABC { };

template <class T>
class TestPtr
{
    public:
        TestPtr(T* ptr=0)
            : _pointee(ptr)
        {   }

        TestPtr(TestPtr& rhs)
        {
            this->_pointee = rhs._pointee;
            rhs._pointee= 0;
        }

        template <class U> operator TestPtr<U>();

    private:
        T* _pointee;
};

template <class T> template <class U>
TestPtr<T>::operator TestPtr<U>()
{
    return TestPtr<U>(this->_pointee);   // if this line is changed to 
    //TestPtr<U> x(this->_pointee);      // these commented lines, the 
    //return x;                          // compiler is happy
}

void foo (const TestPtr<ABC>& pmp)
{  }

int main() {
    TestPtr<BBC> tbc(new BBC());
    foo(tbc);
}

上面的代码导致以下错误

TestPtr.cpp: In member function ‘TestPtr<T>::operator TestPtr<U>() [with U = ABC, T = BBC]’:
TestPtr.cpp:38:9:   instantiated from here
TestPtr.cpp:28:34: error: no matching function for call to ‘TestPtr<ABC>::TestPtr(TestPtr<ABC>)’
TestPtr.cpp:28:34: note: candidates are:
TestPtr.cpp:13:3: note: TestPtr<T>::TestPtr(TestPtr<T>&) [with T = ABC, TestPtr<T> = TestPtr<ABC>]
TestPtr.cpp:13:3: note:   no known conversion for argument 1 from ‘TestPtr<ABC>’ to ‘TestPtr<ABC>&’
TestPtr.cpp:9:3: note: TestPtr<T>::TestPtr(T*) [with T = ABC]
TestPtr.cpp:9:3: note:   no known conversion for argument 1 from ‘TestPtr<ABC>’ to ‘ABC*’

现在让我困惑的是编译器试图选择TestPtr<ABC>::TestPtr(TestPtr<ABC>)而不是TestPtr<ABC>::TestPtr(ABC *)在 return 语句中。但是，如果我先用预期的构造函数创建一个变量，然后返回它的值，它就可以正常工作。我还使 T* 构造函数显式但无济于事。

我用 g++ 和 clang++ 都试过了，结果相似。有人可以解释一下这里发生了什么吗？

4

2 回答 2

1

问题出在您的复制构造函数上。它的参数是一个TestPtr&（非常量引用）：

TestPtr(TestPtr& rhs)

非常量引用不能绑定到右值表达式。 TestPtr<U>(this->_pointee)是创建临时对象的右值表达式。当您尝试直接返回此对象时，必须制作一个副本。因此，当编译器无法调用复制构造函数时，您会收到此错误。

通常解决方案是让您的复制构造函数获取 const 引用。但是，在这种情况下，解决方案有点棘手。你会想做一些类似的事情std::auto_ptr。我在对“如何实现 std::auto_ptr 的复制构造函数？”的回答中描述了它的肮脏技巧。

或者，如果您使用最新的 C++ 编译器并且只需要支持支持右值引用的编译器，您可以通过提供用户声明的移动构造函数 ( TestPtr(TestPtr&&)) 并抑制复制构造函数（=delete如果您的编译器支持删除的成员函数，或将其声明为私有而不定义它）。

另请注意，您必须提供用户声明的复制赋值运算符。（或者，如果您决定将类型设为仅移动，则需要提供用户声明的移动赋值运算符并禁止隐式复制赋值运算符，再次使用= delete或声明而不定义它。）

于 2012-04-21T03:15:39.460 回答
0

在您的复制构造函数中，您出于某种原因坚持将源指针归零

TestPtr(TestPtr& rhs)
{
  this->_pointee = rhs._pointee;
  rhs._pointee= 0;
}

你为什么做这个？

由于您坚持归零rhs，因此您不能将参数声明为const TestPtr& rhs，这反过来会破坏您的代码，正如 James 解释的那样。

我看不出有任何理由将源指针归零。做就是了

TestPtr(const TestPtr& rhs) : _pointee(rhs._pointee)
  {}

它应该可以工作。

我怀疑你是std::auto_ptr为了灵感，在它的复制程序中看到了类似的东西。但是，在std::auto_ptr源指针中是归零的，因为std::auto_ptr它获得了它指向的对象的所有权，并在它被复制时转移了该所有权。所有权管理的需要是由以下事实决定的：std::auto_ptr不仅指向对象，它还试图自动销毁它们。

您的指针不会试图破坏任何东西。它不需要获得指向对象的所有权。出于这个原因，您不需要在复制指针时将源归零。

于 2012-04-21T03:26:10.510 回答