如何将std::vector比较优化为memcmp？C++23是否有新方案？

为什么编译器无法自动将vector::operator==优化为memcmp？ #

虽然box的operator==是平凡的，但编译器没法安全地把vector的相等比较替换成memcmp，核心原因有两点：

• 类型语义的不确定性：就算类型有平凡相等运算符，编译器没法保证该类型的对象表示的每一位都参与相等判断。比如有些类型存在“填充字节”，这些字节的值不影响逻辑相等，但会让memcmp的结果和operator==不一致。
• 标准约束：C++标准没要求vector::operator==必须用逐字节比较实现，它的语义是调用元素的operator==逐元素比较。编译器不能随便改这种语义，除非能严格证明两种比较方式完全等价，但通用场景下做不到这点。

C++23的相关变化 #

C++23新增了std::is_trivially_relocatable这类特性，但并没有直接提供判断“memcmp与operator==等价”的标准concept或类型 trait。尽管它对平凡类型的规则做了细化，但本质上还是没解决“对象表示与值表示差异”导致的memcmp安全问题。

自定义安全的Concept #

我们可以写一个自定义concept，约束类型满足以下条件，确保memcmp比较和operator==等价：

1. 类型是平凡可复制的（std::is_trivially_copyable_v<T>），保证对象表示能安全地逐字节复制、比较。
2. 类型的operator==是平凡的（std::is_trivially_equal_v<T>，C++20新增）。
3. 可选辅助检查：类型大小等于非静态成员变量的大小之和，避免填充字节带来的潜在问题（需要针对具体类型维护或编译期计算）。

示例代码如下：

#include <concepts>
#include <type_traits>
#include <vector>
#include <cstring>

struct box {
    unsigned char x;
    bool operator==(const box& other) const = default;
};

template<typename T>
concept MemcmpComparable = 
    std::is_trivially_copyable_v<T> &&
    std::is_trivially_equal_v<T> &&
    sizeof(T) == sizeof(decltype(T::x)); // 针对box的成员大小检查

template <MemcmpComparable T>
struct container {
    std::vector<T> v;

    bool equals(const container<T>& other) {
        return v.size() == other.v.size() &&
               std::memcmp(v.data(), other.v.data(), v.size() * sizeof(T)) == 0;
    }
};

template class container<box>;

需要注意，就算满足上述条件，极端场景下仍可能出现问题（比如编译器对齐用的填充字节在不同对象中值不同），但这类情况在实践中很少见，也可以通过调整类型布局规避。

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