像自定义类一样构造的指针（内置类型）如何工作？

Question

我已经更改了问题的标题和正文，看看是否更适合:)。

---

我在cppreference: unique_ptr/reset 上阅读了成员函数签名。

void reset( pointer ptr = pointer() ) noexcept;

而pointer是unique_ptr的成员类型，documented为

pointer | std::remove_reference<Deleter>::type::pointer 如果该类型存在，否则 T*。必须满足NullablePointer

我在 cmets 中学到了什么：

1. pointer ptr = pointer() 在某种程度上等同于例如int, using pointer = int*; pointer ptr = pointer()
2. 如果它是像int 这样的内置类型，那么ptr 是一个零初始化 变量。我在这里得到一个带有0/NULL/nullptr 的int* 指针。
3. using pointer = int*; pointer ptr = pointer() 没有“原始”声明，即 int* ptr = int*() 不起作用。

我还阅读了Do built-in types have default constructors? ，这很有帮助。

---

我想了解更多关于这种行为的信息（可以以自定义类的方式构造内置类型），如果可以更详细地解释的话：

using pointer = int*; pointer ptr = pointer()

这个语句真的没有“原始”语法吗？我曾经认为所有使用typedef 或using 的东西都可以用“原始”版本写下来。就像一对一的映射。

Answer 1

不需要你所说的“原始”语法，因为指针可以用 0 初始化为零。

int *p = 0; // nullptr

我猜它可能对模板参数推导有用，但我们已经有了一个语法：(int*)0。确实没有必要为这样的小东西添加更多语法（或者可能有人忘记添加它；但不管怎样，现在都没有必要了）。

T(...) 语法主要用于初始化用户定义类型的对象。

我曾经认为所有使用typedef 或using 的东西都可以用“原始”版本写下来。

这是另一个例子：

int a;
a.~int(); // syntax error

using Int = int;
a.~Int(); // ok!

第一个语句是不允许的，因为它是空操作。第二个不是因为在通用上下文中它可能会做某事（破坏对象）而不是无操作。由于语言不想不必要地限制这一点，因此允许通过别名。

出于同样的原因，即使您无法写出语法，pointer() 也被允许：如果它被禁止，那么在通用上下文中工作会很痛苦。