创建一个可以通过赋值初始化但不可复制的类型

Question

我希望创建一种类型，该类型可以使用其他类型的赋值进行初始化，但不能复制。这个想法类似于作用域智能指针，因为我希望这种类型的对象在其生命周期内拥有资源，但我也希望能够使用赋值语法。所以总而言之，这就是我想要的：

T x = new U; // allowed
T y(new U);  // allowed
T z = x;     // not allowed
T x2(x)      // not allowed

这是我迄今为止尝试过的......

#include <boost/noncopyable.hpp>

class U {};

class T : boost::noncopyable {
public:
    T(U *p) : p_(p) {
    }

    ~T() {
        delete p_;
    }

    operator bool() const { return p_ != 0; }

private:
    U *p_;
};

int main() {
    T x = new U; // allowed
    T y(new U);  // allowed
    //T z = x;     // not allowed
    //T x2(x)      // not allowed
}

不幸的是，这会导致错误：

$ g++ test.cc -o test /usr/include/boost/noncopyable.hpp：复制中 构造函数'T::T(const T&)': /usr/include/boost/noncopyable.hpp:27:7: 错误：'boost::noncopyable_::noncopyable::noncopyable(const boost::noncopyable_::noncopyable&)' 是私有 test.cc:6:30: 错误： 在此上下文中 test.cc: 在函数'int main()'中: test.cc:20:12: 注意：这里首先需要合成方法'T::T(const T&)'

注意：C++11 的移动功能对我来说不是一个选项，因为它必须能够使用不支持 C++11 的相对较旧版本的 gcc 进行编译。

由于缺乏对 C++11 的支持，我不确定是否有“好的”解决方案。但我想我会问。

Answer 1

如果我对 cme​​ts 的理解是正确的 - 你想要这样的东西：

U* create_T() { return new U; }
if (T t = create_T())
{
  // do something with t
}

这里的问题，在 cmets 中已经提到：这个语法T t = u 只是调用复制构造函数。如果 u 的类型为 T，则它等价于：T t(u)。如果u，就像你的例子一样，是另一种可转换为T（here by T::T(U*)）的类型，那么它实际上是：T t(T(u))。所以在这里你有编译器抱怨的复制构造函数。

没有解决办法，因为这是无效的if语法：

if (T i(create_T())) {}

但是，如果没有好的建议，我不会写所有这些 ;)

您可以忘记使用以下语法的复制构造函数的问题：

if (U* u = create_T()) {
   T t(u);
   ....
} 

顺便说一句，std::auto_ptr 与您的 T 类型有相同的问题。只需将显式添加到您的 T(U*) 构造函数中，您就会看到与 auto_ptr 的相似之处：

class U {};

class T : boost::noncopyable {
public:
    explicit T(U *p) : p_(p) {
    }

    ~T() {
        delete p_;
    }

private:
    U *p_;
};

int main() {
    T x = new U; // allowed
    T y(new U);  // allowed
    std::auto_ptr<U> a = new U;
    std::auto_ptr<U> b(new U);
}

结果：

prog.cpp:25: error: conversion from ‘U*’ to non-scalar type ‘T’ requested
prog.cpp:27: error: conversion from ‘U*’ to non-scalar type ‘std::auto_ptr<U>’ requested

这里是我的ideone 书房...