c++ - 在销毁时执行自动内存覆盖的模板

Question

使用模板强制编译器初始化原始/POD 类型值(https://stackoverflow.com/a/11493744/16673 或 http://www.codeproject.com/Articles/825/Using-templates-for-initialization)是一种常见的模式。

出于安全原因，是否存在可用于在值超出范围后删除该值的类似模式，以确保一旦变量被破坏，该值就不会留在堆栈中？恐怕天真的类似实现可能行不通，因为编译器可以自由地忽略对超出范围的值的任何赋值，因为可以简单地证明该值不再被使用。是否有一些一致且合理便携的解决方案，例如使用 volatile ？

Answer 1

Windows API 中有一个名为 SecureZeroMemory 的函数。您可以查看它的实现。

但是，一般来说，编译器被迫接受 volatile 写入。如果您将变量设置为易变的，它应该无法删除写入。