使用批注以减少 C/C++ 代码缺陷

批注使函数可以显式说明参数的行为,并在调用函数之前和之后返回值。 代码分析工具使用开发人员提供的该附加信息来检测调用方和被调用方之间的协定的冲突。 批注架构是作为 VC++ 编译器特性实现的。

下面几节提供有关特性及如何定义和应用它们的更多信息。

本节内容

批注概述

了解批注、特性、属性和用法。

如何:对 C++ 代码进行批注

了解对使用 /TP 选项编译的 C/C++ 代码进行批注。

如何:对 C 代码进行批注

了解对使用 /TC 选项编译的 C/C++ 代码进行批注。

批注属性

列出并描述可以在对代码进行批注时使用的属性。

参考

Attributed Programming Concepts