构造函数中指针的默认值是什么意思？

Question

我试着理解这段代码（取自here）：

template <class T> class auto_ptr
{
    T* ptr;
public:
    explicit auto_ptr(T* p = 0) : ptr(p) {}
    ~auto_ptr()                 {delete ptr;}
    T& operator*()              {return *ptr;}
    T* operator->()             {return ptr;}
    // ...
};

我无法理解这行代码：explicit auto_ptr(T* p = 0) : ptr(p) {}。

据我了解，通过这一行，我们尝试定义一个构造函数，该构造函数具有一个 pointer-to-object-of-T-class 类型的参数。然后我们有= 0。那是什么？它是默认值吗？但是0 如何成为指针的默认值（指针应该将地址作为值，而不是整数）。

Answer 1

是的，= 0 是默认值。对于指针参数，它与= NULL 相同。

引用Stroustrup：

我应该使用NULL 还是0？

在C++中，NULL的定义是0，所以只有审美上的区别。我更喜欢避免使用宏，所以我使用0。 NULL 的另一个问题是人们有时会错误地认为它不同于 0 和/或不是整数。在准标准代码中，NULL 有时被/被定义为不合适的东西，因此必须/必须避免。现在这种情况不太常见了。

如果必须给空指针命名，就叫它nullptr；这就是它在 C++11 中的名称。然后，nullptr 将成为关键字。

空指针常量的正式定义如下（强调我的）：

4.10 指针转换 [conv.ptr]

1 空指针常量是整数类型的整数常量表达式 (5.19) prvalue，其计算结果为零 或 std::nullptr_t 类型的纯右值。空指针常量可以转换为指针类型；结果 是该类型的空指针值，并且可以与指向对象或指针的所有其他值区分开来 指向函数类型的指针。这种转换称为空指针转换。

NULL 被定义为这样一个常量：

18.2 类型 [support.types]

3 宏 NULL 是本国际标准 (4.10) 中实现定义的 C++ 空指针常量。 ¹⁹²

^{192) 可能的定义包括0 和0L，但不包括(void*)0。}

Answer 2

explicit auto_ptr(T* p = 0) : ptr(p) {}

这是auto_ptr 的构造函数，它接受T* p，如果用户不提供指针，将使用= 0。构造函数将成员ptr 设置为参数: ptr(p)，并且不执行任何其他操作{}。此构造函数不能用于隐式构造explicit。