c++ - 将可选属性表示为 C++ 类成员

Question

我正在基于模式生成 C++ 代码。有实体，每个实体都包含属性，每个属性都有相应的数据类型。现在的问题是其中一些属性是“可选的”，这意味着它们不必是类声明的一部分。然而，在C++中，某物要么是类的成员，要么不是类的成员，没有“可选数据成员”这样的概念。

实体是类名，属性是类成员。我不确定如何在现有 C++ 概念中表示标记为“可选”的属性。

Answer 1

规范答案是 std::optional .它是表达模型中可能存在或不存在的值的语义准确方式。

创建这样的模型时，对于模式中的每个可选字段，您都会生成相应的 std::optional -包装条目。然后，在反序列化时，可以使用 std::none要标记丢失的条目，并且在访问期间，客户端代码必须检查是否存在实际值¹。

但是，如果您的对象很大，并且您希望避免不必要地存储空白空间²，下一个替代方案是 std::unique_ptr .它具有指针语义的缺点，但在其他方面仍然是这种情况下的有效工具。

如果成员非常动态，例如可能的集合有几十个或几百个，但典型的利用率只会看到几个，键值存储(例如 std::map )可能是一个更好的主意；那么您只能存储一种类型的值。这可能会通过 std::variant 得到缓解被用作映射值类型，这为您提供了多种可能性之一，或者 std::any ，它可以在失去类型安全性的同时有效地容纳任何东西。

决定最终将取决于您的确切型号和使用特征。

---

¹ 如果客户端代码需要 T ，并且访问一个字段给他们 optional<T> ，解包步骤将/应该检查实际值的存在。这是主要原因optional被使用。

² sizeof(optional<S>)最常见的是 sizeof(S) + 1 , 但由于对齐规则可以变大。 Performance&Memory本文的部分很好地展示了这一点。