Windows API缓冲区注释里的return +1是什么含义？

这是微软**SAL（源代码注释语言）**的语法，用于辅助静态代码分析工具检测缓冲区操作的安全性。

针对__out_ecount_part(nSize, return + 1)这个注释：

• 第一个参数nSize是你传入的lpFilename缓冲区的总字符容量
• 第二个参数return + 1代表函数实际写入缓冲区的字符总数（包含字符串末尾的\0终止符）

因为GetModuleFileName的返回值本身是成功写入的有效字符数（不含终止符），所以用return +1就能准确表示实际占用的缓冲区长度——比如返回值为10时，意味着写入了10个有效字符，加上终止符一共占用11个字符位置。

静态分析工具会借助这个注释，检查你传入的nSize是否能容纳return +1个字符，提前识别缓冲区溢出的风险。

内容的提问来源于stack exchange，提问作者A.Agan