C++泛型Lambda显式调用：两种operator()写法的标准性与差异

合法性说明 #

两种写法均符合C++标准：

• operator()<int>：C20起正式支持泛型Lambda的显式模板参数调用，C23草案（N4868）的示例即采用该写法，是标准明确认可的常规用法。泛型Lambda的闭包类型自带模板化的operator()成员函数，直接通过闭包对象调用并显式指定模板参数完全合规。
• template operator()<int>：该写法同样合法，但其中的template关键字在非依赖模板参数的上下文里属于冗余写法。根据C++标准，调用类的模板成员函数时，若上下文不依赖模板参数（比如直接使用已知类型的闭包对象），template关键字是可选的；仅在依赖模板参数的上下文（例如在另一个模板函数中，闭包对象的类型是模板参数），才需要template关键字消除语法歧义（告知编译器后续的<是模板参数列表的开始，而非小于运算符）。

具体差异 #

1. 适用场景不同

   • operator()<int>：适用于绝大多数非依赖模板的场景，写法简洁，是标准示例推荐的写法。
   • template operator()<int>：仅在依赖模板参数的上下文里是必要的。比如在模板函数中调用泛型Lambda时：

     template<typename Func>
     void invoke(Func f) {
         // 必须加template，因为Func是模板参数，f的operator()是否为模板依赖于Func
         f.template operator()<int>(3.14);
     }
     

2. 语法冗余度不同

   • operator()<int>：无冗余语法，直接对应模板成员函数的显式调用逻辑。
   • template operator()<int>：在非依赖场景下，template关键字无实际作用，属于可选的冗余写法，仅用于明确标注后续是模板参数列表。

总结 #

两种写法都符合C++标准，核心差异在于template关键字的必要性：常规场景下用operator()<int>即可，仅当处于依赖模板参数的上下文时，才需要添加template关键字避免语法歧义。

内容的提问来源于stack exchange，提问作者Thomas W.