为何我的C++17 std::variant转换代码在GCC失效，Clang/VS正常？

问题场景 #

需要将std::variant<Dog,Cat,Cow>转换为std::variant<Cat,Cow,Illithid>（前提是源变体不含Dog类型），编写了如下转换函数：

template <typename R, typename ...Ts> R transfer_variant(const std::variant<Ts...>& v)
{
    R r;
    (
       ([](const auto& v, auto& r) {if constexpr (requires{R(std::get<Ts>(v)); }) { if (std::holds_alternative<Ts>(v)) { r = std::get<Ts>(v); } }}(v, r))
       , ...);
    return r;
}

编译差异 #

该代码在Clang和Visual Studio 2021中可正常编译运行，但在GCC中触发参数包未展开的错误：

<source>:12:49: error: parameter packs not expanded with '...':
   12 |     (([](const auto& v, auto& r) {if constexpr (requires{R(std::get<Ts>(v)); }) { if (std::holds_alternative<Ts>(v)) { r = std::get<Ts>(v); } }}(v, r)), ...);

核心疑问 #

是对模板包展开或逗号表达式求值的语言细节理解有误？还是各编译器的标准实现存在差异？

解答分析 #

你的代码写法符合C++17标准要求，问题出在GCC的实现缺陷上：

• 你使用的是逗号折叠表达式，目的是对参数包Ts中的每个类型，实例化lambda并执行逻辑。lambda内部通过if constexpr结合requires检查类型是否可转换为目标变体R，再完成赋值。
• Clang和MSVC的编译器正确识别了嵌套在lambda内部的参数包Ts，并完成了折叠展开；但GCC在这种嵌套上下文（lambda引用外部函数模板的参数包）的场景下，未能正确识别Ts需要被展开，从而抛出错误。

简单来说：不是你的理解错误，是GCC的标准实现存在兼容性差异（bug）。

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