C++26反射实现优雅的类型擦除

背景

类型擦除（Type Erasure）是C++中一种常见的设计模式，允许将不同类型的对象统一存储并调用其接口，而不必依赖继承或虚函数。典型的例子包括 std::any 和 std::function，但一旦涉及更复杂的自定义接口（如多个成员函数、运算符重载、const 限定等），手动实现类型擦除往往需要编写上百行容易出错的代码，或者依赖像 Boost.TypeErasure、Folly.Poly 这样的重量级库。C++26 引入了反射（Reflection）机制，为简化这些痛点提供了新的可能性。rjk::duck 正是利用 C++26 反射的魔法，大幅降低了类型擦除的编写难度，同时保留了定制性和性能。

核心内容

rjk::duck 是一个单头文件库，支持 owning 和 non-owning 语义、运算符、接口组合、现有接口适配器、第三方类型的扩展方法等。它的核心思想是：用户只需声明一次接口（称为 trait），然后让已有的定义自动完成其余工作。例如，以下是一个基本用法：

[[=rjk::trait]]
struct MyTrait {
    void foo();
    int bar() const;
};

然后，任何实现了 foo 和 bar 成员函数的类型都可以被包装成一个 duck 对象，并像调用普通成员函数一样调用 myDuck.foo() 和 myDuck.bar()。

C++26 反射简介

C++26 反射引入了 ^^ 运算符，用于生成某个实体的反射（类型为 std::meta::info）。例如，^^MyType 得到 MyType 的反射，^^trait 得到变量 trait 的反射。反射可以用于查询注解（annotation）、成员、类型信息等。[[=rjk::trait]] 是一种 C++26 注解（annotation），可以应用于结构体，类似于属性。库可以通过 annotations_of 和 type_of 等元函数检查某个类型是否带有该注解。

标签生成（Tag Generation）

duck 的第一步是将 trait 的成员解释并转换为内部使用的标签（tag）格式。例如，对于上面的 MyTrait，目标是生成 has_fn<"foo", auto() -> void> 和 has_fn<"bar", auto() const -> int> 这样的标签。实现方式很简单：通过检查 trait 的成员并进行转换。实际代码还需要处理基类迭代、const 限定、运算符等，但核心转换逻辑非常直观。

vtable 生成

C++26 提供了有限的代码生成能力，通过 consteval 块和 define_aggregate 来生成结构体。template for 是新的展开语句语法，用于遍历参数包而不依赖折叠表达式。duck 的 vtable 生成过程如下：

1. 收集所有 trait，然后收集每个 trait 的标签。
2. 为每个成员函数生成函数指针。由于不能有重名成员，实际代码会使用 slot_0、slot_1 等名称，并在后续重新推导原始名称。同时，需要根据函数的限定符（const 等）调整 void* 为 const void*。
3. 为某个具体类型创建静态 vtable，通过 [: expr :] 拼接运算符（splice operator）将反射代码转换为实际代码。例如，使用 std::views::indices 迭代索引，将成员的函数指针赋值给 vtable 中的对应槽位。

从槽位到调用（Slot to Call）

类型擦除的核心在于 convert_to_vtable_func：它需要将 T_member 转换为一个 auto(*)(void*, Args...) -> Ret 的函数指针，以便存储和调用。duck 没有手动重载解析，而是利用编译期生成的可调用 overload_set，让编译器处理重载解析。具体机制分为两步：

• candidate_wrapper：一个简单的包装类，接收 Self 的某个成员函数，通过 &[:Member:] 拼接获得成员函数指针，然后以给定类型和参数调用它。它将 myObj.foo(args...) 转换为 myWrapper(myObj, args...)。
• 然后，将这个包装器注入 overload_set，通过 std::views::concat 和参数转换，最终生成一个编译期的可调用集。在 erased_call 函数内部，实际调用时由编译器完成重载解析。

例如，对于 MyStruct 的 foo 重载，make_set(^^MyStruct, "foo") 会收集所有名为 foo 的成员函数，然后尝试用 MyStruct& 和 MyStruct&& 加上 int 参数调用，匹配到 auto foo(int) const -> int 签名，即使 MyStruct 没有显式定义可变的 foo 成员函数。这样，vtable 的每个槽位都由一个 vtable_fn_maker 填充，其 Invoker 就是编译期生成的 overload_set，解析完全由编译器在 erased_call 中完成。

接口增长（Growing an Interface）

目前反射还不能注入成员函数，因此 duck 通过一个包装器类型（vtable_wrapper）使其继承，从而为 duck 类添加可调用成员。例如，对于 MyTrait，duck 继承自 vtable_wrapper，其中包含带有适当名称的 vtable_function 可调用对象，从而获得 myDuck.bar() 的语法。构造函数中需要设置每个 vtable_function 的 owner 回指针，指向外层的 duck 对象。

但这种方法有一个严重问题：owner 回指针导致 sizeof(duck) 随 trait 数量线性增长，因为每个 trait 都需要一个回指针。加上 vtable 指针和 duck 自身存储的数据指针，本应轻量的类型会变得非常庞大。实际上，这些 vtable_function 对象本身就应当知道 duck 的存在，因为它们模拟的是成员函数，并且没有其他用途。

关键要点

• C++26 反射通过 ^^ 运算符和 consteval 块提供了编译期代码生成能力，使类型擦除库可以自动生成 vtable 和重载解析代码。
• rjk::duck 利用 [[=rjk::trait]] 注解声明接口，然后通过反射生成标签（tag），进而生成 vtable 和可调用对象。
• 核心技巧包括：使用 candidate_wrapper 将成员函数调用转换为包装器调用，然后利用编译器自己的重载解析机制在 overload_set 中完成匹配，避免了手动实现重载解析。
• vtable 的生成使用 define_aggregate 和 template for 展开语句，配合 [: expr :] 拼接运算符将反射实体转换为实际代码。
• 当前实现存在 sizeof(duck) 随 trait 数量线性增长的问题，因为每个 vtable_function 对象都需要一个 owner 回指针。
• 该库仅支持 gcc 编译器，并需启用 -std=c++26 -freflection 标志，属于前沿技术。

意义与影响

rjk::duck 展示了 C++26 反射在类型擦除领域的巨大潜力，它使得编写复杂类型擦除变得像声明接口一样简单，同时保持了编译时的高性能。相比 Boost.TypeErasure 和 Folly.Poly 等需要大量模板元编程和宏的库，du