MSVC下派生类可变参数构造函数调用基类参数错误：编译器Bug还是用户问题？

你的代码在MSVC下报错的核心原因是编译器重载解析逻辑的差异，具体细节如下：

场景还原（基于典型代码结构） #

你的宏定义和基类大概率类似这样：

#include <exception>
#include <string_view>

class ErrorWithType : public std::exception {
public:
    template <typename... Args>
    ErrorWithType(std::string_view msg, Args&&... args) {
        // 异常构造逻辑
    }
};

#define DEFINE_ERROR_CLASS(ClassName) \
class ClassName : public ErrorWithType { \
public: \
    template <typename... Args> \
    ClassName(Args&&... args) : ErrorWithType(std::forward<Args>(args)...) {} \
};

DEFINE_ERROR_CLASS(LogicError)

当执行throw LogicError("This is a logic error.")时：

• GCC/Clang会正确推导可变参数Args为const char*，将其隐式转换为std::string_view后，匹配基类的单参数构造逻辑（后续可变参数为空）。
• MSVC的重载解析出现偏差：它错误地将LogicError临时构造对象本身当作第二个参数，尝试匹配基类的(std::string_view, LogicError)参数列表。这是因为MSVC在处理模板构造函数的参数转发时，对隐式转换优先级、参数推导范围的处理与GCC/Clang不一致，错误地将派生类临时实例纳入了候选参数集合。

如果基类存在其他多参数构造重载，MSVC会更倾向于匹配这类重载，进一步加剧解析错误。

可行修复方案（无需移除基类） #

1. 显式限定参数类型，避免错误推导
   修改宏定义，为派生类构造函数添加针对字符串类型的重载，强制匹配基类的正确构造逻辑：

   #define DEFINE_ERROR_CLASS(ClassName) \
   class ClassName : public ErrorWithType { \
   public: \
       ClassName(const char* msg) : ErrorWithType(std::string_view(msg)) {} \
       ClassName(std::string_view msg) : ErrorWithType(msg) {} \
       template <typename... Args> \
       ClassName(std::string_view msg, Args&&... args) : ErrorWithType(msg, std::forward<Args>(args)...) {} \
   };
   

2. 启用MSVC严格模式
   编译时添加/permissive-选项，让MSVC的C++标准兼容性更贴近GCC/Clang，多数情况下可以修复这类重载解析偏差。

3. 限制基类构造函数的推导范围
   如果基类存在不需要参与自动推导的构造重载，可通过std::enable_if或explicit修饰，避免MSVC错误匹配：

   template <typename... Args, typename = std::enable_if_t<!std::is_same_v<std::decay_t<Args>, LogicError>...>>
   ErrorWithType(std::string_view msg, Args&&... args) {
       // 构造逻辑
   }
   

内容的提问来源于stack exchange，提问作者RL-S