不同类型对象内存交换的严格别名规则合规性分析与实现

一、两个swap函数的严格别名合规性判断 #

1. swap1 合规 #

swap1 使用 std::memcpy 进行字节级拷贝，完全符合C++标准要求：

• std::memcpy 的参数为 void*，标准明确允许它处理任意类型对象的存储区域，只要拷贝的字节数正确。
• 代码中的 static_assert 保证了 T 和 S 的大小一致，避免了越界拷贝风险。
• 整个过程没有通过非兼容类型的指针直接访问对象存储，因此不违反严格别名规则。

2. swap2 合规 #

swap2 将 T* 和 S* 转换为 char* 后调用 std::swap_ranges，同样符合规则：

• C++标准规定，char、unsigned char、std::byte 类型的指针是严格别名规则的例外——允许通过这类指针读写任意对象的存储区域。
• std::swap_ranges 通过 char* 逐字节交换两个对象的内存，本质是利用char指针的合法访问权限，因此也不违反严格别名规则。

二、合规的跨类型内存交换实现 #

如果需要确保跨类型内存交换的完全合规性（同时兼顾对象生命周期规则），需注意：

• 仅对可平凡拷贝的类型进行此类操作：如果 T 或 S 是非平凡类型（比如包含自定义析构函数、拷贝构造函数，或继承自非平凡类型），直接字节拷贝/交换会导致对象处于无效状态，属于未定义行为。
• 保留 static_assert 检查大小一致：确保两个类型的存储大小相同，避免内存越界。
• 可选实现（C++17及以上）：用 std::byte 替代 char，语义更清晰，因为 std::byte 明确用于表示原始字节：

#include <algorithm>
#include <cstddef>
#include <type_traits>

template<typename T, typename S>
void swap_bytes(T* t, S* s)
{
    static_assert(sizeof(T) == sizeof(S));
    static_assert(std::is_trivially_copyable_v<T>);
    static_assert(std::is_trivially_copyable_v<S>);
    
    std::byte* tc = reinterpret_cast<std::byte*>(t);
    std::byte* sc = reinterpret_cast<std::byte*>(s);
    std::swap_ranges(tc, tc + sizeof(T), sc);
}

添加 std::is_trivially_copyable_v 的断言，可提前阻止对非平凡类型的不安全操作。

三、关于char*访问权限的说明 #

C++标准中提到的“使用char*等指针访问任意对象的存储值”，这里的access包含读取和写入操作。严格别名规则的例外条款并未区分读写，只要是通过char、unsigned char或std::byte类型的glvalue访问对象存储，无论读还是写，都是合法的，不会触发未定义行为。

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