出典:Wikipedia
出典:『Wikipedia』 (2011/08/01 14:27 UTC 版)
The standard annotation language is a set of annotations developed by Microsoft that describe how a C/C++ programming language function will use its parameters. SAL annotations allow a programmer to declare guaranteed characteristics of a parameter, such that they can be verified by the compiler at compile time.