static_assert 错误不显示在 VSCode Problems 视图，是因为 IntelliSense 默认不执行模板实例化和编译期断言检查，仅依赖轻量级语义分析；需通过配置 compile_commands.json 并重启 C/C++ 扩展，使语言服务器复用真实编译器上下文，才能将 static_assert 编译错误注入 Problems 面板。
为什么 static_assert 错误不显示在 Problems 视图里
VSCode 的 Problems 视图默认只显示 IntelliSense（语言服务器）报告的错误，而 static_assert 是编译期断言，**不会被 IntelliSense 解析为语法或语义错误**——它只在真正编译时由编译器触发。IntelliSense 通常跳过模板实例化和 static_assert 检查，除非你显式启用更严格的模式。
- 常见现象：代码写完
static_assert(sizeof(int) == 4, "int must be 4 bytes");，Problems 面板空空如也，但g++ -std=c++17编译时立刻报错 - 根本原因：C/C++ 扩展默认使用轻量级语义分析，不执行完整模板展开，因此无法预判
static_assert是否会失败 - 不是 bug，是设计取舍：全量模板解析会显著拖慢编辑响应速度，VSCode 默认放弃这部分静态检查
怎样让 static_assert 错误提前出现在 Problems 视图
必须绕过 IntelliSense 的限制，改用真实编译器输出驱动 Problems ——核心是生成并接入 compile_commands.json，让语言服务器复用编译器的完整上下文。
- 确保项目已配置 CMake 或支持
compile_commands.json生成（ROS 用colcon build --cmake-args -DCMAKE_EXPORT_COMPILE_COMMANDS=ON；普通 CMake 项目加-DCMAKE_EXPORT_COMPILE_COMMANDS=1） - 在
.vscode/c_cpp_properties.json中设置"compileCommands": "${workspaceFolder}/build/compile_commands.json"，而非仅靠includePath - 重启 C/C++ 扩展（命令面板 →
Developer: Restart Extension Host），否则旧缓存会继续屏蔽static_assert诊断 - 验证：修改一个必败的
static_assert(false, "")，保存后 Problems 应立刻出现红色条目，内容与终端g++报错一致
static_assert 在 Problems 里显示但不跳转到源码行？
这说明 compile_commands.json 被读取了，但路径映射错位——编译器报告的文件路径和 VSCode 当前打开的文件路径不一致，导致定位失效。
- 典型表现：
Problems显示static_assert failed: "xxx"，但点击错误不跳转，或跳转到错误文件/行号 - 检查
compile_commands.json中对应源文件的"file"字段：是否为绝对路径？是否包含符号链接？是否与你在编辑器中打开的路径完全一致（大小写、软链接、挂载点）？ - 临时修复：在
c_cpp_properties.json中添加"browse.path"并确保包含实际源码根目录；长期方案是统一构建目录结构，避免跨 workspace 路径混用 - Windows 用户特别注意：
compile_commands.json里路径用正斜杠还是反斜杠？VSCode 期望 POSIX 风格，可用 Python 脚本批量替换或改用 WSL 构建环境
别依赖 Problems 视图覆盖所有 static_assert 场景
即使配置正确，仍有两类 static_assert 不会进 Problems：模板未实例化时的断言、以及依赖宏定义或构建参数的条件断言（例如 static_assert(ENABLE_FEATURE, ...)）。
立即学习“C++免费学习笔记（深入）”；
- 模板类内部的
static_assert：只有该模板被实际用到（比如声明一个MyContainer<int></int>），编译器才会检查；Problems 不会主动“猜测”你未来可能实例化的类型 - 宏控制的断言：若
ENABLE_FEATURE由-DENABLE_FEATURE控制，而compile_commands.json未包含该 define，IntelliSense 就看不到断言生效 - 最可靠的做法：把关键契约性检查下沉到运行时
assert()，或写成单元测试；static_assert留给真正必须编译期拦截的底层约束（如 ABI 对齐、类型尺寸）
static_assert 写不对，而是它“静默通过”——你以为它被检查了，其实只是 IntelliSense 没看见。确认它是否生效，唯一可信的方式是看编译器输出，而不是 Problems 面板有没有红叉。 
