MSVC2022中带std::enable_if_t的auto引用模板参数编译报错

我有一段完全基于模板实现的代码，在GCC 10中能正常编译，但在Visual Studio 2022里无法通过编译。为了优化目标类的选择，我在模板声明中使用了std::enable_if_t，问题看起来出在引用类型auto模板参数的推导上。

代码片段 #

template<auto& _target,
         auto& _modifier,
         typename out_state, // Class for the outstate
         class actions = p::fsmm::will<fdefault<p::actions::nothing>>,
         std::enable_if_t<std::is_base_of_v<p::modifier, std::decay_t<decltype(_modifier)>>, void*> = nullptr >
class test {
};

编译错误信息 #

Severity    Code    Description Project File    Line    Suppression State
Error   C2065   '_modifier': undeclared identifier

解决方案 #

VS2022的模板参数处理逻辑与GCC存在差异：在模板参数列表的std::enable_if_t中直接引用前面的auto&类型参数_modifier时，编译器无法正确识别参数的声明顺序，导致未定义标识符错误。可以通过以下两种方式修复：

1. 调整enable_if占位参数的类型
   将void* = nullptr替换为int = 0，同时确保约束逻辑不变。VS对void*类型的模板占位参数处理存在兼容性问题，换成基本类型int后能避免这类问题：

   template<auto& _target,
            auto& _modifier,
            typename out_state,
            class actions = p::fsmm::will<fdefault<p::actions::nothing>>,
            std::enable_if_t<std::is_base_of_v<p::modifier, std::decay_t<decltype(_modifier)>>, int> = 0>
   class test {
   };
   

2. 改用C++20的requires约束（推荐）
   如果项目支持C++20标准，直接使用requires表达式替代std::enable_if_t，这种写法不受模板参数顺序影响，代码可读性也更强：

   template<auto& _target,
            auto& _modifier,
            typename out_state,
            class actions = p::fsmm::will<fdefault<p::actions::nothing>>>
   requires std::is_base_of_v<p::modifier, std::decay_t<decltype(_modifier)>>
   class test {
   };
   

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