class AutoArray
{
void * buffer;
public:
//Creates a new empty AutoArray
AutoArray();
//std::auto_ptr copy semantics
AutoArray(AutoArray&); //Note it can't be const because the "other" reference
//is null'd on copy...
AutoArray& operator=(AutoArray);
~AutoArray();
//Nothrow swap
// Note: At the moment this method is not thread safe.
void Swap(AutoArray&);
};
)
无论如何,试图实现复制构造函数.有一段客户端代码(尚未提交到bitbucket,因为它不会构建),如下所示：
AutoArray NtQuerySystemInformation(...) { ... };
AutoArray systemInfoBuffer = NtQuerySystemInformation(...);
这失败是因为复制构造函数将非const引用作为参数….但是我没有看到如何修改复制构造函数以获取const引用,前提是修改了赋值中使用的源AutoArray(因此不会是const).你当然不能修改使用pass by value的东西,因为它是复制构造函数,并且它是一个无限循环！
如果我使用auto_ptr,这将是有效的：
std::auto_ptr NtQuerySystemInformation(...) { ... };
std::auto_ptr systemInfoBuffer = NtQuerySystemInformation(...);
那么,具有auto_ptr复制语义的类是否可以实现呢？
解决方法
我将使用一个名为auto_int的dumbed-down类来演示复制构造功能,而不会带来模板或继承引入的任何复杂性.我认为代码大多是正确的,但它没有经过测试.我们的基本auto_int看起来像这样：
class auto_int
{
public:
auto_int(int* p = 0) : p_(p) { }
~auto_int() { delete p_; }
// copy constructor taking a non-const reference:
auto_int(auto_int& other)
: p_(other.release()) { }
int* release()
{
int* temp = p_;
p_ = 0;
return temp;
}
private:
int* p_;
};
使用这个基本的auto_int,我们无法复制临时对象.我们的目标是能够写出如下内容：
auto_int p(auto_int(new int()));
我们能做的是使用帮助类.对于auto_ptr,这称为auto_ptr_ref.我们称之为auto_int_ref：
class auto_int;
class auto_int_ref
{
public:
auto_int_ref(auto_int* p) : p_(p) { }
auto_int& ref() { return *p_; }
private:
auto_int* p_;
};
基本上,此类的实例只存储指向auto_int的指针,并允许我们将其用作auto_int的“引用”.
然后在我们的auto_int类中,我们需要两个额外的函数.我们需要另一个带有auto_int_ref的构造函数,我们需要一个转换运算符,它允许将auto_int隐式转换为auto_int_ref：
auto_int(auto_int_ref other)
: p_(other.ref().release()) { }
operator auto_int_ref() { return this; }
这将允许我们“复制”一个临时的,同时仍然让复制构造函数采用非const引用.如果我们再看一下我们的示例代码：
auto_int p(auto_int(new int()));
发生的是我们构造一个新的临时auto_int并将新的int()传递给带有int *的构造函数.然后使用运算符auto_int_ref()将此临时转换为指向它的auto_int_ref,并使用带有auto_int_ref的auto_int构造函数初始化p.
