如何在C++20中创建类型未知但已知大小与对齐要求的数组？

完全可以实现你需要的_create_array函数，利用C++20的对齐内存分配特性即可满足所有要求。以下是具体实现方案：

核心实现思路 #

要创建满足指定大小和对齐要求的数组，关键在于使用支持自定义对齐的内存分配函数。C++17及以后的标准提供了带std::align_val_t参数的operator new[]重载，能够直接分配符合指定对齐要求的内存块。

1. 头文件定义（my_header.hpp） #

保持你原有的模板接口，同时补充对应的销毁函数（针对带非平凡析构的类型）：

#include <cstddef>

// 内部辅助函数，实现放在源文件
void* _create_array(size_t elem_size, size_t elem_align, size_t num_elem);
void _destroy_array(void* ptr, size_t elem_align);

// 类型安全的模板接口
template<typename T>
T* create_array(size_t numElements) {
    return static_cast<T*>(_create_array(sizeof(T), alignof(T), numElements));
}

template<typename T>
void destroy_array(T* ptr, size_t numElements) {
    if (!ptr) return;
    // 手动调用每个元素的析构函数（针对非平凡析构类型）
    for (size_t i = 0; i < numElements; ++i) {
        ptr[i].~T();
    }
    _destroy_array(ptr, alignof(T));
}

2. 源文件实现（my_source.cpp） #

实现内存分配和释放的核心逻辑：

#include "my_header.hpp"
#include <new> // 引入对齐版operator new/delete

void* _create_array(size_t elem_size, size_t elem_align, size_t num_elem) {
    if (num_elem == 0) {
        return nullptr; // 与new T[0]的行为保持一致
    }
    const size_t total_size = elem_size * num_elem;
    // 分配符合指定对齐要求的内存块
    return operator new[](total_size, std::align_val_t(elem_align));
}

void _destroy_array(void* ptr, size_t elem_align) {
    if (ptr) {
        // 使用对应对齐版本的delete释放内存
        operator delete[](ptr, std::align_val_t(elem_align));
    }
}

满足要求的验证 #

• 正确对齐：operator new[]通过std::align_val_t参数保证内存块整体按elem_align对齐，而elem_size（即sizeof(T)）必然是elem_align（即alignof(T)）的整数倍，因此每个元素的起始地址都满足对齐要求。
• 总大小正确：内存块总大小严格等于elem_size * num_elem，无额外冗余。
• 类型安全：模板接口create_array仅接受具体类型T，通过sizeof(T)和alignof(T)传递参数，返回的指针被强转为T*，避免了类型不匹配的风险。
• 索引正确性：因为elem_size就是T的大小，数组索引ptr[i]等价于*(T*)((char*)ptr + i*elem_size)，偏移量完全正确。

额外注意事项 #

• 如果你的数组元素类型有非平凡析构函数，必须调用destroy_array模板函数来手动触发析构，否则会导致资源泄漏。
• 内存分配和释放必须配对：用对齐版operator new[]分配的内存，必须用对齐版operator delete[]释放，不能混用普通的delete[]。

内容的提问来源于stack exchange，提问作者alexpanter