在C++中，运行时类型识别（RTTI）提供了
dynamic_cast和
typeid等机制来查询和转换对象类型。然而，RTTI在某些场景下可能被禁用（如嵌入式系统或性能敏感应用），或被认为不够灵活。此时，可以使用“标记模式”（Tag Dispatching）作为替代方案，实现类型相关的运行时行为判断和分发。 什么是标记模式
标记模式是一种基于类型特征进行函数重载分发的技术。它不依赖RTTI，而是通过类型标签（tag types）在编译期决定调用哪个函数版本。虽然它本质上是编译期机制，但可以结合运行时逻辑模拟出类似RTTI的行为。
常见的标签类型包括：
std::true_type
/std::false_type
- 自定义空结构体如
struct tag_int {};
假设你有一个基类指针，想根据实际类型执行不同逻辑，但不能使用
dynamic_cast。可以通过虚函数+类型标签的方式实现分发。
示例：基于标记的类型分发
定义类层次结构并嵌入类型标签：
struct tag_base {};
struct tag_derived_a : tag_base {};
struct tag_derived_b : tag_base {};
<p>struct Base {
virtual ~Base() = default;
virtual tag_base type_tag() const = 0;
};</p><p>struct DerivedA : Base {
tag_derived_a type_tag() const override { return {}; }
void process() { /<em> A专属处理 </em>/ }
};</p><p>struct DerivedB : Base {
tag_derived_b type_tag() const override { return {}; }
void process() { /<em> B专属处理 </em>/ }
};
使用标签进行分发：
void handle(Base& obj) {
auto tag = obj.type_tag();
<pre class="brush:php;toolbar:false;"><pre class="brush:php;toolbar:false;">if constexpr (std::is_same_v<decltype(tag), tag_derived_a>) {
static_cast<DerivedA&>(obj).process();
} else if constexpr (std::is_same_v<decltype(tag), tag_derived_b>) {
static_cast<DerivedB&>(obj).process();
} }
这种方式在编译期完成类型判断，避免了RTTI开销，同时保持类型安全。
与RTTI相比的优势与局限 优势：- 无需开启RTTI，兼容更多平台
- 性能更高，无运行时类型查询开销
- 类型检查在编译期完成，更安全
局限：
- 需要手动为每个类型定义标签和分发逻辑
- 不支持跨模块的动态类型查询
- 灵活性低于
dynamic_cast
可结合
std::is_base_of、
std::enable_if等 trait 实现更智能的标记判断：
template<typename T>
auto dispatch(T& obj) -> std::enable_if_t<std::is_base_of_v<Base, T>> {
if constexpr (std::is_same_v<T, DerivedA>)
obj.process();
else if constexpr (std::is_same_v<T, DerivedB>)
obj.process();
}
这种模式在标准库中广泛应用，例如迭代器分类（input_iterator_tag等），是替代RTTI的有效手段。
基本上就这些。标记模式不是直接复制RTTI功能，而是提供一种更可控、更高效的类型分发机制，适合在禁用RTTI或追求性能的场景中使用。
以上就是C++标记模式 运行时类型识别替代的详细内容，更多请关注知识资源分享宝库其它相关文章！
发表评论:
◎欢迎参与讨论，请在这里发表您的看法、交流您的观点。