如何让C++ Concept检查类型兼容另一Concept的任意类型？

你原来的代码无法运行的核心问题是：在Handler概念的requires子句中直接将Update当作类型使用，但Update是概念（concept）而非具体类型，编译器无法自动推断出一个符合要求的类型来验证handler.on_update(update)的合法性。要实现“接受所有满足Update概念的类型”的需求，可以通过C++20的模板要求（Template Requirements）或泛型lambda来完成，无需依赖模拟对象。

正确实现方式 #

1. 先定义Update概念（保留你的原有逻辑） #

#include <concepts>
#include <string>
#include <utility>

template <typename T>
concept Update = requires (T update) {
  { update.get_value() } -> std::same_as<std::string>;
};

2. 实现Handler概念（两种可选写法） #

写法一：使用模板要求（Template Requirements）

在requires子句中声明一个模板参数U并约束它满足Update，通过std::declval<U>()获取U类型的右值引用（无需实例化对象），验证handler.on_update能接受该类型参数：

template <typename T>
concept Handler = requires(T handler) {
  template <typename U>
  requires Update<U>
  { handler.on_update(std::declval<U>()); };
};

写法二：使用泛型lambda

通过泛型lambda在requires子句中引入满足Update的任意类型U，直接验证调用合法性：

template <typename T>
concept HandlerAlt = requires(T handler) {
  []<Update U>(auto& h) { h.on_update(std::declval<U>()); }(handler);
};

验证示例 #

我们可以定义几个测试类型来验证概念是否生效：

// 符合Update概念的类型1
struct StringUpdate {
  std::string get_value() const { return "test"; }
};

// 符合Update概念的类型2
struct AnotherUpdate {
  std::string get_value() { return "another"; }
};

// 满足Handler要求：能接受所有Update类型
struct GoodHandler {
  void on_update(const auto& update) {
    // 处理逻辑
  }
};

// 不满足Handler要求：仅接受StringUpdate类型
struct BadHandler {
  void on_update(const StringUpdate&) {}
};

// 静态断言验证
static_assert(Update<StringUpdate>);
static_assert(Update<AnotherUpdate>);
static_assert(Handler<GoodHandler>);
static_assert(!Handler<BadHandler>); // 断言成立，因为BadHandler无法处理AnotherUpdate

为什么FakeUpdate不够优雅 #

使用模拟对象FakeUpdate只能验证handler是否能处理这一个特定类型，无法覆盖所有符合Update概念的类型。比如若某个Update类型有特殊的构造约束或成员函数签名差异，FakeUpdate可能无法模拟，导致验证不全面。而上述两种写法通过模板参数的泛化约束，真正实现了“对所有满足Update的类型都能处理”的检查。

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