C++20可变参数模板递归展开编译错误：是编译器Bug吗？

核心问题：折叠表达式的展开逻辑错误 #

你的第一种实现里，折叠表达式((... | MASK_1 <LSB_NB_LIST>))是将参数包逐个元素单独展开，而非按预期的每两个元素为一组传递给MASK_1模板。

比如实例化MASK_1<0,4,60,4>时，折叠表达式会被展开为：

(( (mask_for_0_4) | MASK_1<60> ) | MASK_1<4>)

但MASK_1模板要求至少两个模板参数（LSB和NB），MASK_1<60>和MASK_1<4>都不符合参数数量要求，因此触发编译错误——这不是编译器Bug，是你对折叠表达式的展开逻辑理解有误。

为什么Lambda版本能正常运行？ #

Lambda版本中MASK_1<LSB_NB_LIST...>是将剩余的整个参数包完整传递给下一层模板实例化，而非逐个拆分。比如MASK_1<0,4,60,4>会递归调用MASK_1<60,4>，这个实例化完全符合模板参数要求，最终递归终止于参数包为空的场景，完美匹配你设计的递归逻辑。

折叠表达式版本的修复方案 #

如果想用折叠表达式实现，需要先将参数包按两两一组处理，可通过辅助模板实现分组递归：

#include <cstdint>

// 递归终止条件：无剩余参数
template <typename = void>
constexpr uint64_t MASK_HELPER() noexcept {
    return 0;
}

// 递归处理逻辑：每次取一组LSB和NB，剩余参数继续传递
template <unsigned LSB, unsigned NB, unsigned... Rest>
requires (1U <= NB && NB <= 64U) && (LSB + NB <= 64U)
constexpr uint64_t MASK_HELPER() noexcept {
    const uint64_t current_mask = (static_cast<uint64_t>(-1) >> (64 - NB)) << LSB;
    return current_mask | MASK_HELPER<Rest...>();
}

// 对外接口：确保总参数数量为偶数（LSB+NB成对出现）
template <unsigned... Args>
requires (sizeof...(Args) % 2 == 0)
constexpr uint64_t MASK_1 = MASK_HELPER<Args...>();

此时MASK_1<0,4,60,4>会正确展开为MASK_HELPER<0,4,60,4>，递归调用MASK_HELPER<60,4>，最终生成正确的掩码值。

验证测试 #

用你的测试代码验证修复后的实现：

#include <cstdio>

// 上述MASK_1实现代码...

int main() {
    printf("%016llX\n", MASK_1<0,4>);          // 输出 000000000000000F
    printf("%016llX\n", MASK_1<0,4,60,4>);     // 输出 F00000000000000F
    return 0;
}

使用GCC 11.2.0编译（g++ --std=c++20 -o m.exe main.cpp），可正常通过编译并输出正确结果。

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