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

更新:2007 年 11 月

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

下面几节提供有关属性以及如何定义和应用这些属性的更多信息。

本节内容

批注概述

了解批注、属性 (Attribute)、属性 (Property) 和用法。

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

了解对使用 /Tc、/Tp、/TC、/TP(指定源文件类型) 选项编译的 C/C++ 代码进行批注。

如何:对 C 代码进行批注

了解对使用 /Tc、/Tp、/TC、/TP(指定源文件类型) 选项编译的 C/C++ 代码进行批注。

批注属性

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

参考

Attributed Programming Concepts