SAL注解和指针参数

Question

我一直在阅读关于销售的文章，我不清楚指针类型上的注释是否适用于引用或它指向的值。例如，如果我有：

void f(_In_ type* t);

_In_的意思是“参数必须在预状态下有效，并且不会被修改”。它在这里的应用是否意味着t的地址不会改变，或者t的值？

Answer 1

在您的例子中，_In_意味着

• VS代码分析将验证调用方是否将非空指针传递到初始化缓冲区.
• VS代码分析将而不是在函数中取消引用之前验证t是否为null；在函数本身中假定t为非空。通过将_In_更改为_In_opt_，VS代码分析将验证t在取消引用之前是否检查为null。
• VS代码分析将验证该函数只从t指向的内存中读取t的“一个元素”，就像将取消引用指针的值分配给变量一样。