首先得明确：你贴的代码虽然能在GCC 10.2跑起来，但这种写法其实不符合C++标准，换个编译器（比如Clang、MSVC）或者升级到更高版本的GCC，大概率会编译失败。而且更关键的是，它根本没精准完成你想做的事——验证类是否有func成员。

问题出在哪？ #

C++20的requires表达式是用来检查某个操作是否合法的，核心是验证类型的行为能力，而不是用来创建对象。你写的{ [](T& t, auto&&... args){ t.func(args...); } }本质上是在检查“这个Lambda能不能被实例化”，但这和T有没有func成员的关联非常弱：只要Lambda的代码本身语法合法（哪怕T::func不存在，只要Lambda没被真正调用），早期GCC可能就直接放过了。

而且标准里对requires表达式的上下文有严格限制：这里面的表达式应该是无副作用、仅用于合法性检查的，而Lambda是会创建闭包对象的表达式，放在这里本身就违背了requires的设计意图。

为什么GCC 10.2能过？ #

这其实是早期GCC对C++20概念实现的宽松处理。当时GCC对requires表达式的细节检查还不完善，没严格禁止Lambda这种创建对象的表达式，刚好你的Lambda代码里的t.func(args...)在语法上是合法的（因为STemplateFunc确实有func模板），所以编译通过了——但这纯属巧合，不是正确的写法。

正确的打开方式 #

如果你想验证T有可调用的func成员（支持模板、可变参数），直接在requires里写调用操作就行，简单直接还符合标准：

template<class T>
concept has_func = requires(T t, auto&&... args) {
    t.func(std::forward<decltype(args)>(args)...);
};

struct STemplateFunc { template<class T> void func(T){} };
template<has_func E> void FuncFunc(E a) {}

int main() { FuncFunc(STemplateFunc{}); }

这个写法直接检查“给T的对象传任意参数，调用func是否合法”，完美匹配你的需求，而且在所有支持C++20概念的编译器里都能正常工作。

额外提醒：别在requires里玩花活 #

哪怕是泛型Lambda，也别往requires里塞。比如有人可能想写嵌套的requires加Lambda，看起来很高级，但其实完全没必要，而且不符合标准。比如这种写法：

template<class F>
concept callable_with_int = requires(F f) {
    [](auto g) requires requires(int x) { g(x); } {}(f);
};

完全可以改成更清晰、合规的版本：

template<class F>
concept callable_with_int = requires(F f, int x) {
    f(x);
};

总结一下：

• 你的示例代码是依赖旧版GCC的宽松实现，不符合C++标准，可移植性极差。
• 验证类型特性的正确姿势是直接在requires里写出你要检查的操作，别用Lambda绕弯子。

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