模板多态性：理解协方差

处理模板时，解决多态性主题非常重要。该查询涉及类结构和使用模板的构造函数。但是，当尝试使用模板类实例调用构造函数时，会发生错误。这就提出了一个问题：模板不是多态的吗？

模板不变性

与面向对象编程中继承的本质相反，模板不表现出多态性。这意味着如果类 B 继承自类 A，则模板类 T 和 T 之间不存在内在关系。这称为模板不变性。

非协方差的原因

模板不变性的存在是为了保持类型安全。如果模板是协变的，则父类中的类型参数可以被子类中的类型参数替换。这将导致潜在的类型不匹配问题，如以下示例所示：

struct Fruit {};
struct Apple : public Fruit {};
struct Orange : public Fruit {};

// Instantiate a vector using a specific type parameter
vector apple_vec;

// If templates were covariant, the following would be legal
vector &fruit_vec = apple_vec;

// Push an element of a different type
fruit_vec.push_back(Orange()); // Invalid operation!

在此示例中，向用于苹果的向量添加橙色违反了类型安全。

解决问题

To为了解决最初的问题，构造函数可以使用静态断言来验证模板参数与预期接口的类型相同。另一种解决方案涉及分别使用 Java 或 C# 中的有界通配符或约束等语言功能。

结论

C 中的模板不表现出多态性，从而确保类型安全。使用模板时，了解此限制并采用静态断言或特定于语言的功能等技术来有效处理继承场景至关重要。