为什么 C 模板不能使用不完整类型？

为什么 C 禁止使用不完整类型的模板？

C 容器，例如标准 C 库中的容器，不允许不完整类型作为模板参数。这个限制是由于历史原因造成的。

历史依据

最初，人们认为容器可以支持不完整的类型。然而，测试揭示了 STL 实现之间的不一致。因此，标准化委员会宣布 STL 容器处理不完整类型的行为是未定义的，并将此禁令扩展到整个标准库。

此决定旨在通过强制现有库实现支持不完整类型来防止它们失效。

了解禁令

委员会的关注源于潜在的未定义行为和保持向后兼容性的需要。模板中的不完整类型会带来内存管理和代码稳定性方面的不确定性。

未来的考虑因素

尽管目前存在禁令，C 库工作组主席 Matt Austern 预测未来的 C 版本可能会放宽对不完整类型的限制。这可能反映出逐渐转向增加对不完整类型的支持，如某些容器的 C 17 标准中所述。

替代方法

由于持续的标准禁止，Boost 库设计者选择创建自己的允许不完整类型的容器。这种方法避免了标准库施加的限制，并允许更灵活的数据结构。

以上是为什么 C 模板不能使用不完整类型？的详细内容。更多信息请关注PHP中文网其他相关文章！