模板类与纯虚函数选型对比：GetType实现方案孰优孰劣？

模板方案在以下场景中相比纯虚函数方案存在明显优势：

• 编译期优化与零运行时开销
  模板方案的GetType返回的是编译期确定的模板参数，编译器可直接将其处理为常量，完全避免纯虚函数调用带来的运行时开销（比如虚表查找、函数跳转）。如果代码中有基于GetType结果的分支逻辑，编译器还能直接做死代码消除，进一步提升性能。

• 减少重复代码
  所有继承自Templated<Type>的派生类，无需手动重写GetType函数——模板基类会统一返回绑定的模板参数值。而纯虚函数方案中，每个派生类都必须单独实现GetType，当派生类数量较多时，会产生大量重复代码。

• 支持编译期编程场景
  由于模板参数是编译期常量，GetType可以声明为constexpr函数，其返回值能直接用于编译期逻辑，比如模板特化、静态断言、编译期分支判断等。纯虚函数的返回值是运行时确定的，无法支撑这类编译期操作。

• 更强的类型安全约束
  模板基类通过模板参数绑定了固定的Type枚举值，派生类无法随意修改GetType的返回结果，从编译阶段就确保了返回值的正确性。而纯虚函数方案中，如果开发者重写时返回了错误的枚举值，只有在运行时才能发现问题。

当然，模板方案的代价是需要额外定义ITemplated接口类来支持多态集合的存储，但在上述优势场景下，这个额外成本通常是值得的。

内容的提问来源于stack exchange，提问作者Samo Chreno