为什么将匿名堆栈分配的数组传递给 unique_ptr 不会导致段错误？ [复制]

Question

当我意识到以下代码编译并成功运行时，我正在通过重新创建基本的std::unique_ptr 来尝试模板特化：

namespace not_std {

template<typename T>
class unique_ptr
{
public:
    unique_ptr(T *pointer)
        : pointer_(pointer)
    { }

    ~unique_ptr()
    {
        delete pointer_;
    }

private:
    T *pointer_;
};

template<typename T>
class unique_ptr<T[]>
{
public:
    unique_ptr(T *pointer)
        : pointer_(pointer)
    { }

    ~unique_ptr()
    {
        delete[] pointer_;
    }

private:
    T *pointer_;
};

} // namespace not_std

int main()
{
    not_std::unique_ptr<char[]> buffer(char[64]);
}

请注意，我不是在寻找有关实现的反馈，因此我已经删除了类定义中不相关的部分。

起初我以为这是我的实现中的一个错误，但事实证明，即使使用标准实现，这段代码也能编译并运行。

我认为这段代码会中断，因为char[64] 在我看来就像一个匿名堆栈分配数组。如果是这种情况，那么它的生命周期会在 std::unique_ptr 的构造函数返回时结束。那么析构函数不会在现在也超出范围的堆栈分配内存上调用delete[] 吗？

也许我误解了到底发生了什么，因为我以前从未见过这种语法，其中数组T[N] 直接作为参数传递。

感谢任何澄清/解释。

Answer 1

就在我即将发布这个问题时，我发现了问题：

1. unique_ptr<char[]> buffer(char[64]) 实际上声明了一个名为buffer 的函数，该函数将char[64] 作为未命名参数并返回unique_ptr<char[]>。所以这实际上是@xaxxon 指出的最令人头疼的解析实例。

2. 数组不能用这种语法初始化：char[64]

3. 传递临时数组不符合标准，但可以使用 clang。相反，它看起来像unique_ptr<char[]> buffer((char[64]){ })，并且确实会导致段错误，正如预期的那样。

请注意，这并不是建议传递堆栈分配的数组是一个好主意。

认为让其他人知道是值得的，这样他们就不会重蹈我的覆辙……