类型特征的理由检查班级特殊功能的琐事

Rationale for type traits checking triviality of class special functions

本文关键字：功能 特征 理由 检查 类型      更新时间：2023-10-16

除了std::is_trivial和std::is_trivially_copyable，C 11提供了许多类型的特征，用于检查类型是否具有微不足道的构造函数，destructors和copy/move/move/move分配运算符，即：

  • std::is_trivially_constructible
  • std::is_trivially_default_constructible
  • std::is_trivially_copy_constructible
  • std::is_trivially_move_constructible
  • std::is_trivially_assignable
  • std::is_trivially_copy_assignable
  • std::is_trivially_move_assignable
  • std::is_trivially_destructible

他们的原始目的是什么？当然，一些C 委员会论文必须解释其包含在C 标准库中的理由。

为什么它们在标准库中？因为它们有用但无法用语言实施。

有用性的两个特定示例。

  • std::is_trivially_copy_constructible-如果我有一个易于构造的类型的 vector，则在进行重新分配时，我不需要单独复制每个元素。我可以一口气memcpy()整个块。我们需要这种类型的特征来检查此优化何时安全。
  • std::is_trivially_destructible-琐碎的破坏是一种重要的质量。它是它是字面类型的标准之一，因此可以在恒定的表达中使用。在某些情况下，我可能希望我的类型可作为字面类型可用，可以在其中发生这种情况（例如std::optional）。我们需要这种类型的特征，以使optional<T>有条件地有效地破坏。
相关文章：