VS2022中C++ constexpr模板代码出现Parameter pack展开编译错误求助

原代码 #

template<integral auto n1, decltype(n1) n2, class callable_t, class... args_t> requires (n1 <= n2)
constexpr void const_for(callable_t&& callable, args_t&&... args)
{
    callable<n1>(forward<args_t>(args)...);

    if constexpr (n1 < n2) { callable<n1 + 1>(forward<args_t>(args)...); }
}

报错信息 #

Error C2760 语法错误: 此处意外出现“...”；应为“)”
Error C2760 语法错误: 此处意外出现“)”；应为“;”
Error C3878 语法错误: 表达式语句后意外出现标记“)”

问题原因 #

Visual Studio 2022无法正确解析callable<n1>的语法——编译器会把<误判为比较运算符，而非模板参数列表的起始符号。当调用一个模板化的可调用对象（比如带模板operator()的函数对象）时，必须显式使用template关键字标记后续的模板参数列表，避免语法歧义。

修正后的代码 #

#include <concepts>
#include <utility>

template<std::integral auto n1, decltype(n1) n2, class callable_t, class... args_t> 
requires (n1 <= n2)
constexpr void const_for(callable_t&& callable, args_t&&... args)
{
    // 显式用template关键字指定这是模板operator()调用
    callable.template operator()<n1>(std::forward<args_t>(args)...);

    if constexpr (n1 < n2) {
        callable.template operator()<n1 + 1>(std::forward<args_t>(args)...);
    }
}

补充说明 #

1. 确保包含<concepts>头文件以使用std::integral概念（原代码中的integral需为std::integral，否则需自定义对应概念）；
2. std::forward依赖<utility>头文件，需提前引入；
3. 若可调用对象为普通模板函数指针，写法会略有差异，但多数场景（如lambda或自定义函数对象）下，上述修正可解决语法问题。

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