当前位置：首页 > news >正文

C# 里的 dynamic 或者 object 在 C++ 里的对应

news 2026/3/27 10:09:47

在 C# 中，object 是所有类型的基类（万物皆对象），而 dynamic 则把类型检查推迟到了运行时。

但在 C++ 中，没有统一的基类，且为了追求性能，C++ 倾向于在编译期就搞定一切。

C++ 应对“不确定类型”的需求，演化出了三套完全不同的“硬核”方案：

1. 静态多态：模板 (Templates)

—— 对应 C# 的 Generics，但比它强得多

C# 的泛型在编译后会保留一份元数据，运行时的行为相对受限。而 C++ 的模板是“代码生成器”。

原理：当你写 T 时，编译器会根据你传入的类型，在编译阶段硬生生地为你生成一份专门的代码。
硬核点：C++ 模板支持鸭子类型（Duck Typing）。只要你的类里有 void Shout() 方法，你就能把它传给模板函数，不需要像 C# 那样必须实现某个 IInterface。

template<typename T>
void MakeItSpeak(T& animal) {animal.Speak(); // 只要 T 有 Speak 方法就能编译，没有接口约束！
}

—— 对应 C# 中受限的 object 或 union 的高级版

如果你知道某个变量只会在 int、string 或 double 之间切换，你应该使用 std::variant。它是类型安全的联合体。

对比 object**：object 是在堆上分配内存并装箱（Boxing），而 std::variant 通常在栈**上，且大小是其中最大成员的大小，性能极高。
访问方式：你不能随便强转，必须使用 std::get 或 std::visit（类似于模式匹配）。

#include <variant>
#include <string>std::variant<int, std::string> v;
v = 10;       // 现在它存的是 int
v = "Hello";  // 现在它自动切换成了 string

**—— 对应 C# 的 object**

如果你真的完全不知道会存什么，std::any 就是 C++ 版本的 object。

行为：它可以存储任何类型的值。
代价：它会进行动态内存分配（类似于 C# 的装箱），且由于 C++ 没有反射（Reflection），你取出来时必须显式知道它原本是什么类型，否则会抛出异常。

#include <any>std::any a = 42;
a = std::string("C++ is hard");// 取出来时必须强制转换（any_cast）
std::string s = std::any_cast<std::string>(a);

**—— 对应 C# 的 virtual / override**

这是最接近 C# 习惯的做法。通过基类指针指向派生类对象。但区别在于：C++ 默认不是虚函数。你必须显式写下 virtual，编译器才会为你创建 虚函数表（vtable）。

特性	C# 的做法	C++ 的对应物	核心区别
万能基类	`object`	`std::any`	C++ 需要显式转换，且有性能开销。
泛型/动态	`Generics` / `dynamic`	Templates	C++ 在编译期生成代码，零运行时开销。
多类型切换	接口或继承	`std::variant`	C++ 可以在栈上完成，无需 GC。