如何在编译期检查std::span是否符合指定内存布局？

• std::is_layout_compatible_v 的检查逻辑仅针对两个标准布局类型的公共非静态数据成员：要求两者的公共成员声明顺序一致、对应位置的成员类型互相布局兼容，才会返回true。
• std::span的所有非静态数据成员都是标准库的私有实现细节，未对外暴露为公共成员，自然无法和全部成员都是公共的MySpan匹配，因此断言必然失败。
• 额外补充：C++标准从未强制规定std::span的内部成员排列顺序、成员数量，哪怕你使用的标准库版本中std::span的内存布局刚好和MySpan一致，这种依赖实现细节的行为也是不可移植的，属于未定义行为。

如果没有特殊的二进制兼容需求（比如跨语言FFI、底层内存交互），完全不需要依赖std::span的内部布局，直接通过std::span的data()和size()接口构造MySpan即可，性能和bit_cast完全一致且可移植：

MySpan<int> mySpan{sp.data(), sp.size()};

如果确实需要编译期验证当前环境下std::span可以安全bit_cast到MySpan，可以用常量表达式测试的方案，避免依赖未暴露的私有成员：

#include <bit>
#include <span>
#include <type_traits>

template<typename T>
struct MySpan {
    T* data;
    std::size_t size;
};

template<typename T>
constexpr bool is_span_bit_castable() {
    // 先检查基础前提：都是标准布局、大小一致、可平凡复制
    if constexpr (!std::is_standard_layout_v<std::span<T>> 
        || !std::is_standard_layout_v<MySpan<T>>
        || sizeof(std::span<T>) != sizeof(MySpan<T>)
        || !std::is_trivially_copyable_v<std::span<T>>
        || !std::is_trivially_copyable_v<MySpan<T>>) {
        return false;
    }
    // 常量表达式下测试bit_cast的结果符合预期
    constexpr std::span<T> empty_span{};
    constexpr auto converted = std::bit_cast<MySpan<T>>(empty_span);
    return converted.data == nullptr && converted.size == 0;
}

// 编译期就可以完成检查，不需要运行时断言
static_assert(is_span_bit_castable<int>());

注意：该方案仅验证当前编译环境下的布局兼容性，不保证跨平台、跨标准库版本的通用性。

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