c – “最重要的const”与auto_ptr：为什么代码不能编译？

以下代码无法在Visual C 2008和2010上编译：

#include <memory>

struct A {};

      std::auto_ptr<A> foo()  { return std::auto_ptr<A>(new A); }
const std::auto_ptr<A> bar()  { return std::auto_ptr<A>(new A); }

int main()
{
   const std::auto_ptr<A> & a = foo(); // most important const

   const std::auto_ptr<A> & b = bar(); // error C2558:
                                       // class 'std::auto_ptr<_Ty>' :
                                       // no copy constructor available or copy
                                       // constructor is declared 'explicit'

                                bar(); // No error?
}

我期望“最重要的const”应用于变量“b”,然而,它不会编译,并且由于某种原因,编译器要求复制构造函数(这让我感到惊讶,因为这里不应该涉及复制) .对bar()的独立调用工作正常,这意味着,我猜,实际上b的初始化是问题所在.

这是编译器错误,还是标准中描述的真正的编译错误？

(也许它在C 98中被禁止并在C 11中被授权？)

注意：它在Visual C 2012,gcc 4.6和Solaris CC(所有编译器……)上编译,但不是gcc 3.4,也不是XL C)

解决方法

在C 03和C 98中,当将const引用绑定到rvalue(例如通过值返回的函数)时,实现可以将引用直接绑定到rvalue,或者它可以生成rvalue的副本并将引用绑定到该值.复制.由于auto_ptr的复制构造函数采用非const引用,因此第二种选择仅在返回的rvalue不是const限定的情况下才有效,但仍允许编译器尝试此操作,即使它不起作用.

在C 11中,不允许使用这些额外的副本,如果不需要转换,则实现必须直接绑定到rvalue.

See also here.