Visual Studio 6.0 中的 std::auto_ptr 编译问题

Question

更新：编辑代码示例以使用 AutoA 作为解决方法（这是初衷）。 看到rlbond的回答后意识到这一点。

我正在尝试根据此线程的建议将 auto_ptr 的使用合并到我的代码中：

通过方法接口表达 C++ 参数的使用

但是，在使用 Visual Studio 6.0 进行编译时，我收到一些意外的编译错误。 在处理派生类型的 std::auto_ptr 到基类型的 std::auto_ptr 的分配/副本时，它会出现问题。 这是我的编译器特有的问题吗？

我知道强烈建议使用 Boost，但在我的项目中这不是一个选择。 如果我仍然想使用 auto_ptr，我是否被迫使用调用 std::auto_ptr::release() 的解决方法？ 从我迄今为止遇到的情况来看，这个问题会导致编译器错误，因此很容易捕获。 然而，采用调用release的约定来分配给基类型的“auto_ptr”是否会让我面临任何维护问题？ 特别是如果使用不同的编译器构建（假设其他编译器没有这个问题）。

如果由于我的情况而导致 release() 解决方法不好，我是否应该转而使用不同的约定来描述所有权转移？

下面通过一个例子来说明这个问题。

#include "stdafx.h"
#include <memory>

struct A
{
    int x;
};

struct B : public A
{
    int y;
};

typedef std::auto_ptr<A> AutoA;
typedef std::auto_ptr<B> AutoB;

void sink(AutoA a)
{
    //Some Code....
}

int main(int argc, char* argv[])
{
    //Raws to auto ptr
    AutoA a_raw_to_a_auto(new A());
    AutoB b_raw_to_b_auto(new B());
    AutoA b_raw_to_a_auto(new B());

    //autos to same type autos
    AutoA a_auto_to_a_auto(a_raw_to_a_auto);
    AutoB b_auto_to_b_auto(b_raw_to_b_auto);

    //raw derive to auto base
    AutoB b_auto(new B());

    //auto derive to auto base
    AutoA b_auto_to_a_auto(b_auto);  //fails to compile

    //workaround to avoid compile error.
    AutoB b_workaround(new B());
    AutoA b_auto_to_a_auto_workaround(b_workaround.release());

    sink(a_raw_to_a_auto);
    sink(b_raw_to_b_auto);  //fails to compile

    return 0;
}

编译错误：

Compiling...
Sandbox.cpp
C:\Program Files\Microsoft Visual Studio\MyProjects\Sandbox\Sandbox.cpp(40) : error C2664: '__thiscall std::auto_ptr<struct A>::std::auto_ptr<struct A>(struct A *)' : cannot convert parameter 1 from 'class std::auto_ptr<struct B>' to 'struct A *'
        No user-defined-conversion operator available that can perform this conversion, or the operator cannot be called
C:\Program Files\Microsoft Visual Studio\MyProjects\Sandbox\Sandbox.cpp(47) : error C2664: 'sink' : cannot convert parameter 1 from 'class std::auto_ptr<struct B>' to 'class std::auto_ptr<struct A>'
        No constructor could take the source type, or constructor overload resolution was ambiguous
Error executing cl.exe.

Sandbox.exe - 2 error(s), 0 warning(s)

Answer 1

第一个很简单：

AutoA b_auto_to_a_auto(b_auto);  //fails to compile

这在 VC6 上失败，因为它需要成员函数模板，而 VC6 的标准库不支持这一点。 不过，它可以在符合标准的编译器上进行编译。

解决方法：

AutoA b_auto_to_a_auto( b_auto.release() );

第二个更微妙:)

sink(b_raw_to_b_auto);  //fails to compile

这个不应该在符合标准的编译器上编译，因为正在进行隐式转换。 然而，编译器将上面的内容转换为

sink( std::auto_ptr<A>( b_raw_to_b_auto ) );

sink 采用 std::auto_ptr by value，因此由编译器隐式创建的临时 std::auto_ptr 需要复制构造到 sink 的参数中。 现在，像这样的临时变量是右值。 右值不绑定到非常量引用，但 std::auto_ptr 的“复制构造函数”通过非常量引用获取其参数。

就这样 - 编译错误。 AFAICS 这是符合标准的行为。 C++-0x“移动语义”将通过添加一个采用右值引用的“复制构造函数”来解决这个问题，尽管我不确定 std::auto_ptr 将来仍会受到多少喜爱， std::shared_ptr 等等。

第二个的解决方法：

AutoA tmp( b_raw_to_b_auto/*.release() for VC6*/ );
sink( tmp );

Answer 2

AutoA b_auto_to_a_auto(b_auto);  //fails to compile

sink(b_raw_to_b_auto);  //fails to compile

Pavel Minaev 指出了一些我实际上不知道的事情：

第一个调用应该编译，因为存在从 B* 到 A* 的隐式转换。
但是，第二个将无法编译。 以下内容将：

sink(static_cast<AutoA>(b_raw_to_b_auto));

VC6 因不擅长使用模板而臭名昭著。

我强烈建议您将代码库升级到实际可用的代码库，并开始使用 RAII 技术，尤其是 boost::shared_ptr。 我知道你说你不能，我也知道这很困难，但你几乎不会出现内存泄漏，错误也会少得多。

话又说回来，也许即使没有完整的功能，您也可以使用 auto_ptr 吗？

Answer 3

这里有两个问题。 首先，

AutoA b_auto_to_a_auto(b_auto);  

它完全符合标准并且应该可以编译。 让我解释一下原因。 ISO C++ 标准为 auto_ptr（以及其他）指定 (20.4.5.1[lib.auto.ptr.cons]/4-6) 以下构造函数；

template<class Y> auto_ptr(auto_ptr<Y>&) throw();

请注意，此处的 Y 与 X 是不同的类型。 该标准还指出：

要求：Y* 可以隐式转换为 X*。

这里唯一需要注意的是构造函数参数是对非常量的引用。 对于您的情况，这不是问题（因为您在那里传递了一个非常量变量），但它对于下一部分变得很重要。 总结一下：您所看到的是 VC6 中的非标准行为。 它应该在兼容的编译器上编译（并且将在VC7及更高版本上编译）。 现在来说第二件事：

sink(b_raw_to_b_auto);  //fails to compile

这个问题实际上由 mmutz 完美地解释了，所以我不会在这里详细介绍 - 请参阅他的答案。 总而言之：是的，这一行不应该编译，并且不会在兼容的编译器（或 VC6，正如您所发现的）中。