解析libunifex中member_t模板元编程工具的用途

我在研究libunifex的实现以理解std::execution提案，这个库大量使用模板元编程，其中member_t的实现让我困惑，相关代码如下：

template <class Member, class Self>
Member Self::* _memptr(const Self&);

template <typename Self, typename Member>
using member_t = decltype(
    (std::declval<Self&&>() .*
     _memptr<Member>(std::declval<Self&&>())));

核心用途 #

member_t<Self, Member>是一个模板元编程工具，主要完成两个核心功能：

1. 编译期合法性验证：强制检查Self类型中是否存在一个**类型为Member**的非静态成员（变量或函数），如果不存在，编译阶段直接报错。
2. 类型推导：推导以右值形式的Self访问该成员时，表达式的实际类型（通常是Member&&或带cv限定的引用类型，取决于Self的值类别和成员本身的限定）。

实现细节拆解 #

• _memptr是一个仅声明、未定义的模板函数，它的签名向编译器暗示：传入Self类型对象时，返回指向Self中Member类型成员的指针（Member Self::*）。编译器会自动在Self的成员中匹配符合类型要求的项，完成推导。
• member_t通过decltype推导表达式的类型：
  • std::declval<Self&&>()用来模拟一个右值Self对象（无需构造实际实例）；
  • .*是成员指针的解引用操作，通过_memptr拿到的成员指针访问Self右值的对应成员；
  • 最终decltype得到的就是该成员被右值访问时的实际类型。

结合then实现的实际场景 #

在then的connect标签调用实现中，member_t<Sender, Predecessor>的作用是：

• 提取Sender类型中Predecessor类型成员的访问类型；
• 用该类型满足sender_to约束，验证该成员可以和指定接收器建立连接；
• 在noexcept说明和返回值类型中，复用该类型完成元编程判断（比如检查是否可无异常连接、推导连接操作的结果类型）。

内容的提问来源于stack exchange，提问作者Frederic Schönberger