能否让Visual Studio在C++编译错误消息中展开类型别名？

问题场景 #

模板函数内定义依赖模板参数的类型别名using Bar = T *，当代码存在不同类型指针的隐式转换错误时，原生MSVC的编译日志仅输出别名标识Bar，不会自动展开别名对应的实际底层类型，报错可读性远低于Clang自带的别名标注能力。

核心结论 #

截至VS 2022 全系列版本的MSVC编译器，不存在专门的编译开关或工程配置，可以强制MSVC在生成错误消息时自动展开所有类型别名、标注其对应的实际类型。

可搭配使用的报错可读性优化配置 #

• 开启/diagnostics:caret编译选项：报错会附带错误位置的代码行原文与光标定位标记，缩小错误定位的成本
• 开启/permissive-严格标准模式：减少非标准语法兼容带来的无意义晦涩报错
• 以上配置均无法实现类型别名的穿透式展开：MSVC错误信息输出逻辑对模板内的依赖别名，默认不会做穿透式的类型解析，属于编译器前端的固有实现，暂未开放可配置的能力入口

不损失代码简洁性的替代方案 #

• 借助静态断言的类型推导能力，在不替换类型别名的前提下，让编译阶段直接输出别名的实际类型。示例代码：

  template <typename T>
  int * Foo(T & t){
      using Bar = T *;
      Bar k = &t;
      // 触发断言时，MSVC会自动展开Bar的实际类型
      static_assert(std::is_same_v<Bar, int*>, "Bar类型不匹配");
      return k;
  }
  

  这类静态断言的报错信息会直接展示Bar对应的完整底层类型，不需要把别名替换成内联写法，完全保留原代码的简洁性
• 配置VS启用Clangd作为内置智能感知引擎，在编辑阶段就完成类型检查，提前暴露类型不匹配问题，不依赖MSVC原生的编译报错输出

内容的提问来源于stack exchange，提问作者bradgonesurfing