Использование заметок для сокращения количества дефектов в коде C/C++

Заметки позволяют функции явно указать поведение параметров и возвращаемых значений до и после вызова функции. Данные дополнительные сведения, предоставляемые разработчиком, используются средством анализа кода для выявления нарушений контракта между вызывающим и вызываемым объектами. Схема заметок реализована в виде атрибутов компилятора VC++.

В следующих разделах содержатся более подробные сведения об атрибутах, их определении и применении.

В этом подразделе

Общие сведения о заметках	Сведения о заметках, атрибутах, свойствах и их использовании.
Практическое руководство. Создание заметок к коду в C++	Сведения о создании заметок к коду C/C++, скомпилированному при помощи параметра /ТР.
Практическое руководство. Создание заметок к коду в C.	Сведения о создании заметок к коду C/C++, скомпилированному при помощи параметра /ТС.
Свойства заметок	Список и описание свойств, используемых при создании заметок к коду.

Ссылка

Attributed Programming Concepts