c++ - 如何在 C++ 模板中调用静态数组的析构函数？

Question

如何在 C++11 中实现以下模板函数以支持数组类型作为模板参数？目前编译失败，错误如下。是否有一些句法技巧可以解决这个问题？

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

int main()
{
    int x;
    char y[3];
    destroy(x);
    destroy(y);
}

输出:

$ g++ test.cpp
test.cpp: In instantiation of ‘void destroy(T&) [with T = char [3]]’:
test.cpp:9:18:   required from here
test.cpp:2:26: error: request for member ‘~char [3]’ in ‘o’, which is of non-class type ‘char [3]’

更新:如果包装缓冲区像 struct Storage { CharType value; } 而不是 CharType(即 Storage* 而不是 CharType*)，那么这可以允许通过 Storage::~Storage() 调用 CharType = 数组的析构函数。这可能适用于导致此问题的代码。但是，问题仍然存在:如果允许在 C++ 中显式调用固定大小数组的析构函数，那么如何执行此操作？

Answer 1

只是对数组更明确一点，不要忘记通过引用传递它们以避免数组衰减:

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

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

顺便说一句:调用 dtor 只支持type-names。 int 不是类型名称。所以，这并不困难，因为无论如何谁会想要显式破坏显式基本类型？