MSVC — Microsoft Visual C++

/analyze и настраиваемые наборы правилand configurable rule sets

Статический анализатор /analyze позволяет подключать собственные наборы правил (.ruleset файлы в Visual Studio) и писать собственные правила через отдельный, публично документированный API анализа (Static Analysis Extension API) — это не доступ к внутренностям компилятора, а изолированный слой поверх уже готовых диагностических данных.The /analyze static analyzer allows plugging in custom rule sets (.ruleset files in Visual Studio) and writing custom rules through a separate, publicly documented analysis API (the Static Analysis Extension API) — this isn't access to the compiler's internals, but an isolated layer on top of already-produced diagnostic data.

Visual Studio SDK и VSIX-расширенияand VSIX extensions

Расширения IDE (не компилятора) могут встраиваться в процесс сборки, добавлять собственные IntelliSense-провайдеры, но не могут менять поведение самого cl.exe на уровне компиляции — принципиальное архитектурное отличие от Clang, где IDE-уровень (clangd) и уровень компилятора построены на общем, открытом коде.IDE extensions (not compiler extensions) can hook into the build process and add their own IntelliSense providers, but cannot change cl.exe's own compilation-level behavior — a fundamental architectural difference from Clang, where the IDE layer (clangd) and the compiler layer are built on shared, open code.

clang-cl как обходной путьas a workaround

На практике, если проекту нужна расширяемость на уровне AST/IR при сохранении ABI-совместимости с MSVC-экосистемой, используют clang-cl — тогда доступны LibTooling/ASTMatchers Clang, а не внутренности самого MSVC.In practice, if a project needs AST/IR-level extensibility while staying ABI-compatible with the MSVC ecosystem, teams reach for clang-cl — that gives access to Clang's LibTooling/ASTMatchers, rather than MSVC's own internals.

__declspec(dllexport) / __declspec(dllimport)

Явная маркировка символов, экспортируемых из DLL, обязательна на Windows — в отличие от Linux/ELF, где видимость символов по умолчанию либо глобальная (экспортируется всё), либо управляется через __attribute__((visibility("default"))) у GCC/Clang, но не требует парной аннотации на стороне импортирующего кода.Explicitly marking symbols exported from a DLL is mandatory on Windows — unlike on Linux/ELF, where symbol visibility is either global by default (everything is exported) or controlled via GCC/Clang's __attribute__((visibility("default"))), with no paired annotation required on the importing side.

// mylib.hpp — общий заголовок для сборки библиотеки и её использования — a shared header for both building the library and using it
#ifdef BUILDING_MYLIB
  #define MYLIB_API __declspec(dllexport)
#else
  #define MYLIB_API __declspec(dllimport)
#endif

MYLIB_API void doSomething();

SAL-аннотацииannotations (Source-code Annotation Language)

Разметка контрактов функций (_In_, _Out_, _In_reads_(n), _Success_(return != 0)) для статического анализатора /analyze — разработана Microsoft ещё в середине 2000-х, задолго до того, как C++ Core Guidelines предложили похожую идею через стандартизуемые атрибуты (gsl::not_null и подобные).Function-contract annotations (_In_, _Out_, _In_reads_(n), _Success_(return != 0)) for the /analyze static analyzer — designed by Microsoft back in the mid-2000s, well before the C++ Core Guidelines proposed a similar idea through standardizable attributes (gsl::not_null and the like).

void copyBuffer(_In_reads_(srcLen) const char* src, size_t srcLen,
                 _Out_writes_(dstLen) char* dst, size_t dstLen);
// /analyze проверит, что вызывающий код передаёт согласованные размеры буферов// /analyze checks that calling code passes consistent buffer sizes

#pragma директивы MSVCMSVC pragma directives

#pragma comment(lib, "user32.lib") (подключить библиотеку прямо из исходника, без правки настроек проекта/линковщика — уникальная для MSVC возможность), #pragma pack (аналог __attribute__((packed)), но директивой, действующей до следующего #pragma pack(), а не атрибутом на конкретной структуре).#pragma comment(lib, "user32.lib") (link a library directly from source, without touching project/linker settings — an MSVC-specific capability), #pragma pack (the analogue of __attribute__((packed)), but as a directive in effect until the next #pragma pack(), rather than an attribute on a specific struct).

Visual Studio IDE

Интегрированный отладчик (без внешних инструментов вроде gdb/lldb), профилировщик (CPU/GPU/память в одном окне), Memory Usage tool для снапшотов кучи между двумя точками выполнения — весь цикл разработки в одной среде без сборки отдельного тулчейна.An integrated debugger (no external tools like gdb/lldb needed), a profiler (CPU/GPU/memory in one window), a Memory Usage tool for heap snapshots between two points in execution — the entire development cycle in one environment with no separate toolchain to assemble.

Application Verifier

Инструмент уровня ОС (не компилятора) для перехвата типичных ошибок работы с кучей и хендлами Windows API в рантайме — дополняет ASan для проверок, специфичных именно для Windows-примитивов (handle leaks, некорректное использование критических секций).An OS-level (not compiler-level) tool for catching common heap and Windows API handle mistakes at runtime — complements ASan for checks specific to Windows primitives (handle leaks, incorrect critical-section usage).

vcpkg

Менеджер пакетов C++ от Microsoft, кроссплатформенный (работает и с GCC/Clang), но исторически ориентированный на удобство именно в связке с MSVC/Visual Studio — интеграция через MSBuild-property sheets «из коробки».Microsoft's C++ package manager, cross-platform (works with GCC/Clang too), but historically most convenient paired with MSVC/Visual Studio — out-of-the-box integration via MSBuild property sheets.