C++笔记：标签分派

最近尝试了模板，结果马上就倒下了，记录一下

**标签分派 (Tag Dispatching)**是一种非常优雅的编译时多态手段，通过利用重载解析（Overload Resolution）机制，让编译器根据传入的"标签"类型自动选择对应的函数实现。

相比于 if constexpr（C++17 引入），标签分派在代码解耦和扩展性上更有优势。

第一步：定义标签类

cpp 复制代码

struct FastMode {};    // 快速执行模式
struct PreciseMode {}; // 高精度执行模式
struct DebugMode {};   // 调试模式

第二步：编写底层实现（重载）

为不同的标签编写具体的逻辑。通常我们会把这些实现放在 detail 命名空间中，或者使用特定的前缀。

cpp 复制代码

namespace detail {
    void execute_impl(int data, FastMode) {
        // 快速模式逻辑
    }

    void execute_impl(int data, PreciseMode) {
        // 高精度模式逻辑
    }
}

第三步：对外接口

cpp 复制代码

template <typename ModeTag>
void execute(int data) {
    // 编译器会根据 ModeTag 的类型，选择对应的 detail::execute_impl
    detail::execute_impl(data, ModeTag{}); 
}

进阶应用：结合特性萃取 (Traits)

有时候，你可能不想手动传递标签，而是希望根据数据类型自动选择模式。这时可以结合 std::conditional 或自定义 Traits。

cpp 复制代码

// 模拟根据类型自动选择
template <typename T>
struct ExecutionTraits {
    using Mode = PreciseMode; // 默认使用高精度
};

// 为浮点数特化为快速模式
template <>
struct ExecutionTraits<float> {
    using Mode = FastMode;
};

template <typename T>
void auto_execute(T value) {
    // 自动提取标签并分派
    detail::execute_impl(value, typename ExecutionTraits<T>::Mode{});
}

标签分派的好处

编译时开销极低：空类对象会被编译器优化掉（EBO），几乎没有运行时成本。
更强的扩展性 ：如果以后要增加 SafeMode，你只需要增加一个结构体和对应的重载函数，而不需要去修改臃肿的 if-else 或 switch 分支。
支持非模板上下文：虽然它是模板技术，但它解决了模板函数无法进行部分特化（Partial Specialization）的痛点，通过重载达到了类似的效果。

类模板特化分派

这是我选择的分派技术，功能上也可以达到标签分派的作用，可以来对比一下

我的设计本质上是将逻辑封装在了"策略类"中：

cpp 复制代码

template <typename ModeTag>
struct ExecuteImpl {
    static void run(int data) { /* 默认逻辑 */ }
};

template <>
struct ExecuteImpl<FastMode> {
    static void run(int data) { /* 快速逻辑 */ }
};

template <typename ModeTag>
void execute(int data) {
    //使用方式
    ExecuteImpl::run<ModeTag>(data); 
}

优点

强制隔离：每个特化版本都是独立的类，逻辑完全解耦。
状态存储 ：如果执行逻辑需要存储一些编译时常量或中间类型，类模板可以很方便地定义 using Type = ... 或 static constexpr int Value = ...。

缺点

不支持平滑回退 (Fallback) ：这是最大的痛点。如果 FastMode 继承自 BaseMode，类模板特化无法识别这种继承关系。你必须为 FastMode 写一个完整的特化，不能自动回退到 BaseMode 的逻辑。
语法冗长 ：每次增加模式都要写 template <> struct ...，代码量较大。
无法局部重载：你必须特化整个类，而不能只"重载"某一个函数。

继承感知+平滑退回

利用 C++ 的函数匹配规则，可以实现"默认配置"：

cpp 复制代码

struct BaseMode {};
struct FastMode : BaseMode {};
struct UltraFastMode : FastMode {};

// 即使你没有为 UltraFastMode 写实现，
// 它也会自动匹配到 FastMode 的实现（或者 BaseMode）
void impl(int d, FastMode); 
void impl(int d, BaseMode);

对比

特性	类模板特化 (你现在的)	标签分派 (建议的)
主要机制	模板特化 (Specialization)	函数重载 (Overloading)
继承感知	不支持 (必须完全匹配)	支持 (子类标签可匹配父类实现)
扩展性	适合定义一组复杂的策略 (Policies)	适合在同一逻辑中切换不同算法
代码量	较多，需定义多个 struct	较少，只需定义多个重载
可读性	适合大型框架的底层配置	适合业务逻辑的快速分派