c++ - SAL 注释和指针参数

Question

我一直在阅读 SAL而且我不清楚指针类型的注释是否适用于引用或它指向的值。例如，如果我有:

void f(_In_ type* t);

_In_ 表示“该参数必须在预状态有效且不会被修改。”它应用在这里是指t的地址不会改变，还是t的值不变？

Answer 1

在您的示例中，_In_ 表示

• VS Code Analysis 将验证调用者是否将非空指针传递给已初始化的缓冲区。
• VS Code Analysis 将不会验证t 在函数中取消引用之前检查是否为 null； t 在函数本身中被假定为非空。通过将 _In_ 更改为 _In_opt_，VS 代码分析将验证在取消引用之前检查了 t 是否为 null。
• VS Code Analysis 将验证该函数仅从 t 指向的内存中读取 type 的“一个元素”，例如将取消引用的指针的值分配给一个变量。