数组类型上的 C++ 伪析构函数

Question

我正在使用std::aligned_storage，需要在aligned_storage 中存储数组类型。以下代码在 Visual cpp 中编译，但不是 Clang。

template <typename T>
struct Foo
{
    typename std::aligned_storage<sizeof(T), std::alignment_of<T>::value>::type store;

    template <typename... Args>
    Foo(Args&&... args)
    {
        new (&store) T { std::forward<Args>(args)... };
    }

    void Release()
    {
        reinterpret_cast<T*>(&store)->~T(); // Clang problems here
    }
};

Foo<int> a(2); // ok
Foo<int[3]> b(1, 2, 3); // error in clang

具体错误是：

 expression of non-scalar type 'T' (aka 'int [3]') cannot be used in a pseudo-destructor expression

这是有效的 C++，我应该如何手动正确地销毁数组类型？

Answer 1

程序格式错误，您不能对数组类型使用伪析构函数调用。 §5.2.4 伪析构函数调用 [expr.pseudo]：

1. 在点. 或箭头-> 运算符之后使用伪析构函数名称 表示由type-name 表示的非类类型的析构函数em> 或 decltype-specifier。 ...
2. 点运算符的左侧应为标量类型。箭头运算符的左侧应为指向标量类型的指针。 ...

重载函数可以通过手动销毁每个数组元素（Live code）适当地处理数组和非数组类型的销毁：

template <typename T>
void destroy(T& t)
{
    t.~T();
}

template <typename T, std::size_t N>
void destroy(T (&t)[N])
{
    for (auto i = N; i-- > 0;) {
        destroy(t[i]);
    }
}

template <typename T>
struct Foo
{
    typename std::aligned_storage<sizeof(T), std::alignment_of<T>::value>::type store;

    template <typename... Args>
    Foo(Args&&... args)
    {
        new (&store) T { std::forward<Args>(args)... };
    }

    void Release()
    {
        destroy(reinterpret_cast<T&>(store));
    }
};