VC2008中的自动指针构造函数

Question

我有一个自动指针实现：

template <typename T, bool Arr = false>
class GAutoPtr
{
    T *Ptr;

public:
    typedef GAutoPtr<T, Arr> &AutoPtrRef;

    GAutoPtr(T *ptr = 0)
    {
        Ptr = ptr;
    }

    GAutoPtr(AutoPtrRef p)
    {
        Ptr = p.Release();
    }

    ~GAutoPtr() { Empty(); }
    operator T*() { return Ptr; }
    T *Get() { return Ptr; }
    T *operator->() const { LgiAssert(Ptr); return Ptr; }

    inline void Empty()
    {
        if (Arr)
            delete [] Ptr;
        else
            delete Ptr;
        Ptr = 0;
    }

    AutoPtrRef operator =(GAutoPtr<T> p)
    {
        Empty();
        Ptr = p.Ptr;
        p.Ptr = 0;
        return *this;
    }

    void Reset(T *p)
    {
        if (p != Ptr)
        {
            Empty();
            Ptr = p;
        }
    }

    T *Release()
    {
        T *p = Ptr;
        Ptr = 0;
        return p;
    }
};

typedef GAutoPtr<char, true> GAutoString;
typedef GAutoPtr<char16, true> GAutoWString;

在 Visual C++ 6 中工作得很好。但是在 Visual C++ 2005 或 2008 中，我无法从函数返回自动指针，否则会出现严重错误。

例如

GAutoString Func()
{
    char *s = new char[4];
    strcpy(s, "asd");
    return s;
}

int main()
{
    GAutoString a = Func();
    /// a.Ptr is now garbage
}

，编译器会创建一个临时 GAutoString 来保存函数的返回值，然后将其传递给堆栈上的变量“a”，调用临时变量的运算符 T*()，然后调用 GAutoPtr (T *ptr = 0) 构造函数，而不是仅使用复制构造函数： GAutoPtr(AutoPtrRef p)

这会导致临时自动 ptr 删除内存，并且 'a' 持有指向已释放内存的指针。

然而在 VC6 中它确实调用了正确的构造函数。 现在说了这么多，我也在 Linux 和 Mac 上使用 gcc，所以我编写的任何代码也需要在那里工作。 VC2008 禁止您在复制构造函数中使用非常量值变量。 另外，我也不想要“const”，因为复制构造函数获取内存块的所有权，这会删除正在复制的对象的所有权......从而修改它。

我如何才能在 VC 2005/2008 中实现此功能？

Answer 1

这甚至可以在最近的 g++ 下编译吗？ 我在我的 MacBook Pro 上尝试了它：

xxx.cpp: In function ‘AutoString func()’:
xxx.cpp:52: error: no matching function for call to ‘AutoPtr<char, true>::AutoPtr(AutoString)’
xxx.cpp:12: note: candidates are: AutoPtr<T, isArray>::AutoPtr(AutoPtr<T, isArray>&) [with T = char, bool isArray = true]
xxx.cpp:9: note:                 AutoPtr<T, isArray>::AutoPtr(T*) [with T = char, bool isArray = true]
xxx.cpp:52: error:   initializing temporary from result of ‘AutoPtr<T, isArray>::AutoPtr(T*) [with T = char, bool isArray = true]’

我可以编译它的唯一方法是让复制构造函数采用 const 引用，这正是我所怀疑的。 它看起来像 Herb Sutter 在他最近的 GotW 中发布了与此非常相似的内容。 如果没有充分的理由，我不会尝试复制 std::auto_ptr 的所有权转移语义。 您可能想查看 Boost.SmartPtr< 中的各种好东西/a>. 如果可能的话，请使用它们。

如果您因某种原因无法 Boost，请阅读您最喜欢的 std::auto_ptr 实现，并特别注意 std::auto_ptr_ref 类。 一旦你理解了它为什么存在以及它到底是如何做它所做的事情，那么就回去编写一个 auto-ptr 类。 此类的存在是为了解决您所看到的问题。 IIRC，Josuttis'：标准 C++ 库对此进行了详细讨论。 我想那是我第一次真正理解它。

Answer 2

您可以使用“explicit”关键字标记采用 T* 参数的构造函数。 我已经验证这有效并防止了虚假临时对象的创建，这是一种性能增强。 不过，任何使用该构造函数的人都不能再依赖编译器类型转换规则。 例如，您的函数将更改为：

GAutoString Func()
{
    char *s = new char[4];
    strcpy(s, "asd");
    return GAutoString(s);
}

这很烦人，但我认为在这种情况下这不一定是坏事，因为自动类型转换可能会令人困惑。