如何针对平凡类型使用memset？解决class-memaccess警告问题

核心原因 #

普通if语句的分支在编译期不会被完全丢弃，即便条件是std::is_trivial<T>::value这类编译期常量，编译器的静态分析仍会扫描到memset的存在，从而触发警告——它无法确定该分支永远不会被非平凡类型执行。

解决方案 #

方案1：使用C++17 constexpr if（推荐） #

constexpr if是编译期分支，编译器会直接丢弃不满足条件的分支代码，非平凡类型的实例化中根本不会出现memset的调用，从根源上避免警告：

#include <type_traits>
#include <cstring>

template <typename T>
void init_data(T* data, size_t size) {
    if constexpr (std::is_trivial_v<T>) {
        memset(data, 0, size * sizeof(T));
    } else {
        for (size_t i = 0; i < size; ++i) {
            // 非平凡类型的初始化逻辑，比如值初始化
            data[i] = T{};
        }
    }
}

方案2：C++17之前版本用模板特化+SFINAE #

通过SFINAE（替换失败不是错误）拆分不同类型的处理逻辑，每个类型只会实例化对应的模板版本：

#include <type_traits>
#include <cstring>

// 处理平凡类型
template <typename T>
typename std::enable_if<std::is_trivial<T>::value>::type
init_data(T* data, size_t size) {
    memset(data, 0, size * sizeof(T));
}

// 处理非平凡类型
template <typename T>
typename std::enable_if<!std::is_trivial<T>::value>::type
init_data(T* data, size_t size) {
    for (size_t i = 0; i < size; ++i) {
        data[i] = T{};
    }
}

调用init_data时，编译器会根据T的类型自动匹配对应的函数，非平凡类型的实例化过程中完全不会接触到memset代码，警告自然消失。

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