如何让MSVC/Visual Studio中std::make_shared编译失败时输出更清晰的错误信息？

嘿，我太懂这种痛苦了——MSVC下用std::make_shared传错参数时，那编译错误信息能绕得你头都大，一堆模板展开的冗余内容，找半天才能定位到真正的问题。结合你用的是Visual Studio 2022 + CMake项目的情况，给你几个亲测有效的办法，能把错误信息捋得清爽很多：

• 显式指定模板参数，别让编译器瞎推导
  很多时候，模糊的错误信息都是因为编译器在推导std::make_shared的模板类型时走了歪路。与其让它猜，不如直接把要构造的类型写死，比如把std::make_shared(invalid_arg)改成std::make_shared<MyClass>(invalid_arg)。这样一旦参数不匹配，MSVC会直接报错说“无法将参数转换为MyClass构造函数所需的类型”，而不是输出几百行模板展开的垃圾信息，定位问题快多了。

• 写个轻量的包装函数，提前拦截错误
  自己封装一层简单的make_shared包装，在调用标准库函数前先做静态检查，把错误拦在你的代码层，而不是让它钻进std的模板深层。比如：

  #include <memory>
  #include <type_traits>
  
  template <typename T, typename... Args>
  auto make_shared_safe(Args&&... args) {
      // 自定义错误提示，比编译器默认的好读10倍
      static_assert(std::is_constructible_v<T, Args&&...>, 
                    "⚠️ 传入的参数没法构造类型T！请检查参数类型/数量是否匹配构造函数");
      return std::make_shared<T>(std::forward<Args>(args)...);
  }
  

  之后用make_shared_safe<MyClass>(...)代替标准的std::make_shared，参数不对时，static_assert的自定义提示会直接跳出来，一眼就能看懂问题在哪。

• 给MSVC加几个编译选项，让错误信息更精准
  在你的CMake项目里，给MSVC专门加两个编译选项，能大幅优化错误信息的可读性：

  if(MSVC)
      # 启用严格C++标准模式，减少模糊的推导错误
      target_compile_options(你的项目目标名 PRIVATE /permissive-)
      # 让错误信息用^直接指向代码中的错误位置，在VS输出里更直观
      target_compile_options(你的项目目标名 PRIVATE /diagnostics:caret)
  endif()
  

  /permissive-会让MSVC更严格地遵循C++标准，避免一些宽松推导导致的混乱错误；/diagnostics:caret则会在错误信息里用^符号精准标记代码里的问题点，不用自己对着行号瞎找。

• 拆分复杂参数，别把一堆表达式塞在一行里
  如果你的std::make_shared调用里有嵌套表达式、隐式转换多的参数，先把这些参数单独定义成变量，再传进去。比如：

  // 原来的写法，错误信息会绕到天上去
  auto ptr = std::make_shared<MyClass>(some_complex_calc(), get_weird_arg());
  
  // 改成这样，错误会提前暴露
  auto arg1 = some_complex_calc();
  auto arg2 = get_weird_arg();
  auto ptr = std::make_shared<MyClass>(arg1, arg2);
  

  这样如果arg1的类型不对，错误会直接报在arg1的初始化行，而不是进到std::make_shared的模板深层才炸，定位起来轻松很多。

备注：内容来源于stack exchange，提问作者Thomas DeSilva