итд (SAL): https://docs.microsoft.com/en-us/cpp/c-runtime-library/sal-annotations?view=vs-2019
в доке везде написано, что они нужны чтобы студия могла лучше анализировать исходники и показывать варнинги.
но я не смог найти, а есть ли возможность скомпилировать код так, чтобы аннотации развернулись в рантайм проверки?
Это вроде какая то древняя дичь, больше для С подходит
IIRC это чисто для статического анализа, большей частью для C, большей частью для использования prefast с драйверами. Тогда такой синтаксис аннотаций всех воротил, хотя и был полезен. А сейчас народ вот даже к растовому синтаксису привык...
Обсуждают сегодня