std::auto_ptr<std::string> p; if (p.get() == 0) { ... }
get()成员函数是否是检查p尚未初始化的标准且可靠的方法?它是否总是返回0,无论平台,编译器,编译器的优化标志等如何?
这意味着,无论auto_ptr对象处于什么状态,调用该方法总是安全的.
将此与operator *成员函数进行对比,后者的前提条件是get()!= 0.C标准规定了Requires子句中成员函数的前提条件.如果函数没有这样的子句,则调用总是安全的.