在c++中初始化一个对象数组具有特殊的价值

Question

我是一名中级java程序员，我习惯于依赖java中的空值来检查对象是否是通过对内存中实例化对象的引用来初始化的。我想在 C++ 中做类似的事情，但我不清楚如何实现它。我想初始化一个用户数组 - user 是我定义的一个类 - 所以我可以检查数组中的实际位置是否包含一个对象或者它是空闲的。

我尝试在 C++ 中使用 null 定义，但发现它只是一个“-1” int 值，我无法正确使用它。所以基本上我需要一些东西来区分数组中的空闲位置和已占用的位置。

此外，我可能有兴趣有一个额外的值来区分包含已删除用户的位置，因为当涉及到从列表中删除用户的方法时，我计划仅使用特殊标记将所需位置标记为已释放位置。大批。

对于好奇的人，我正在实现一个简单的哈希集，并且类中的删除方法只是标记要删除的元素的位置，而不是进行一些重构。

Answer 1

首先，null 定义不是 -1 而是 0。假设你有类似的东西，

class User
{
};

User RemovedClass;

你可以有这样的东西

User *arr[3];
arr[0] = new User();
arr[1] = 0;
arr[2] = &RemovedClass;

这里 0 是一个新用户，1 是 java null 等价物， 2 是已删除班级的标记。

编辑

通常，当您在java中看到User数组时，您必须将其映射到C++中的User*数组。

经过这些操作。

User a;
User b;
a = b;

在java中a和b将引用相同的用户。在 C++ 中，这样的代码将产生 a 和 b 引用两个不同的 User 对象。

Answer 2

我认为有一些概念你需要理解。

与 Java 不同，当您创建 User 的 N 元素数组时，它不是引用数组。它实际上是一块包含实际N个用户的内存，它已经被创建和初始化（即构造函数已经运行）。 （嗯，还有更高级的主题，例如placement-new，但我认为这并不是您真正想要的）

因此，如果您说您有一个“用户数组”并且想要跟踪某个位置，那么这在某种程度上是矛盾的已初始化。

除非：

1. 您不是创建用户数组，而是创建“指向用户的指针”数组（或其他引用，例如 auto_ptr）。这样，说某个元素为“null”就有意义了；或

2. 您的“初始化”并不意味着创建对象实例，而是显式初始化操作（例如执行 User 实例的 init() 方法）。通过这种方式，说某个元素“未初始化”是有意义的。

（首先，当您编写 C++ 时，我建议您使用 std::vector，而不是数组。但是我在这个答案中使用数组，以便紧贴您的问题）

对于情况 1，它是严格前向，只需使用 NULL（避免使用 0，因为虽然 NULL 在大多数系统中被定义为 0，但使用 NULL 实际上使代码更具可读性和可移植性）：

User* user[10] = {NULL};   // array of 10 pointer-to-User
user[0] = new User(...);
assert (user[0] != NULL);
assert (user[1] == NULL);

对于情况 2，您有很多其他选择，例如保留另一个布尔值数组保持“初始化”标志，或者对 User 进行包装以获取此类额外标志，或者简单地将此类标志添加到您的 User 类中，等等。

例如

User user[10];   // 10 element of User, which all of them is already created
//assume you have extra flag in User
user[0].init(...);  // explicity do some init work on user[0]
//......
if (! user[5].isInitialized()) {
  user[5].init(...);
}

（老实说，我认为情况 2 并不是您真正想要的）

Answer 3

我使用 boost::可选：

boost::optional<int> a;

if (!a) { std::cout << "no a!"; }

a = 5;

if (a) { std::cout << "a = " << *a; }

a = boost::none;

if (!a) { std::cout << "no a!"; }