C++使用nlohmann/json库时如何安全擦除键避免内存残留？

结论 #

直接调用test.erase(test.begin(), test.end())无法实现彻底的内存擦除，大概率会残留键、值的明文内容。

原因说明 #

• nlohmann/json的erase操作仅会移除内部容器的元素，触发对应std::string类型键、值的析构。而标准库std::string的默认析构逻辑仅会归还内存给分配器，不会主动覆写内存中的原有数据，未被后续分配覆盖的内存会长期留存明文内容。
• 受小字符串优化（SSO）影响，长度较短的字符串（通常≤15字节，依标准库实现而定）会直接存储在std::string对象的内部栈空间中，即使调用erase，只要json对象本身未被销毁，这部分SSO空间的内容也不会被自动清理。

正确实现方案 #

需要在erase操作前，先手动覆写所有键、值的内存空间，参考实现代码如下：

#include <nlohmann/json.hpp>
#include <algorithm>
using json = nlohmann::json;

// 平台兼容的安全擦除字符串函数
void secure_erase_string(std::string& str) {
#ifdef _WIN32
    SecureZeroMemory(str.data(), str.size());
#else
    memset_s(str.data(), str.size(), 0, str.size());
#endif
    str.clear();
    str.shrink_to_fit();
}

// 递归安全擦除json对象所有内容
void secure_erase_json(json& j) {
    if (j.is_object()) {
        for (auto& item : j.items()) {
            // 覆写键内容：此处const_cast是安全的，因为后续会直接删除该键，不会依赖原有键值做查询/排序
            auto& mutable_key = const_cast<std::string&>(item.key());
            secure_erase_string(mutable_key);

            // 处理值内容
            if (item.value().is_string()) {
                auto& str_val = item.value().get_ref<std::string&>();
                secure_erase_string(str_val);
            } else if (item.value().is_object() || item.value().is_array()) {
                secure_erase_json(item.value());
            }
        }
    } else if (j.is_array()) {
        for (auto& elem : j) {
            if (elem.is_string()) {
                auto& str_val = elem.get_ref<std::string&>();
                secure_erase_string(str_val);
            } else if (elem.is_object() || elem.is_array()) {
                secure_erase_json(elem);
            }
        }
    }
    // 所有内容覆写完成后再清空元素
    j.erase(j.begin(), j.end());
    j.shrink_to_fit();
}

注意事项 #

• 优先使用平台专用的安全擦除接口（SecureZeroMemory/memset_s），避免编译器优化掉无后续读取的内存覆写操作。
• 如果json对象后续不再使用，建议擦除后主动让其离开作用域完成销毁，进一步降低残留风险。

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