我正在定义一个大小为 9 的数组。但是当我访问数组索引 10 时，它没有给出任何错误。
int main() {
bool* isSeedPos = new bool[9];
isSeedPos[10] = true;
}
我预计会出现编译器错误，因为我的数组中没有数组元素 isSeedPos[10]。
为什么我没有收到错误消息？
【问题讨论】：
标签： c++
这不是问题。
C++ 数组中没有边界检查。您可以访问超出数组限制的元素（但这通常会导致错误）。
如果您想使用数组，您必须自己检查是否超出范围（您可以将 sizee 保存在单独的变量中，就像您所做的那样）。
当然，更好的解决方案是使用标准库容器，例如std::vector。
使用std::vector，您可以
myVector.at(i)方法获取第i个元素（如果超出范围会抛出异常）myVector[i] 与 C 样式数组的语法相同，但您必须自己进行边界检查（例如，在访问之前尝试 if (i < myVector.size()) ...）还请注意，在您的情况下，std::vector<bool> 是一个专门的版本，因此每个bool 只占用一位内存（因此它使用的内存少于bool 的数组，这可能是也可能不是你想要什么）。
【讨论】：
std::vector 进行边界检查，您不能使用operator[]；您需要使用at() 函数。
std::命名空间与STL无关！
vector 不是 STL 容器和命名空间 std:: 中的吗？
使用 std::vector 代替。一些实现会在调试模式下进行边界检查。
【讨论】：
不，编译器不需要为这种情况发出诊断。编译器不会为您执行边界检查。
您有责任确保不会编写这样的损坏代码，因为编译器不会出错。
【讨论】：
与其他语言（如 java 和 python）不同，数组访问在 C 或 C++ 中不受绑定检查。这使得访问数组更快。您有责任确保自己保持在界限内。
但是，在这种简单的情况下，一些编译器可以在编译时检测到错误。
此外，一些工具（例如 valgrind）可以帮助您在运行时检测此类错误。
【讨论】：
您使用的是什么编译器/调试器？ MSVC++ 会抱怨它并告诉你你写的超出了数组的范围。 但标准并不要求这样做。 它可以随时崩溃，它会导致未定义的行为。
【讨论】：
原始数组不进行边界检查。如果你想要边界检查，你应该使用 std::vector 代替。您在数组结束后访问无效内存，纯粹是运气好。
【讨论】：
没有对您提供的索引进行运行时检查，访问元素 10 不正确但可能。可能会发生两件事：
【讨论】：
没有规定在c中检查内存访问的规则，简单明了。当您要求一个布尔数组时，操作系统可能会更快地为您提供 16 位 og 32 位数组，而不是 9 位数组。这意味着您甚至可能不会在别人的空间中写作或阅读。
C++ 速度很快，而且速度很快的原因之一是因为很少检查你在做什么，如果你要求一些内存，那么编程语言会假设你知道你在做什么，如果操作系统不抱怨，那么一切都会运行。
【讨论】：
没问题！你只是在访问你不应该访问的内存。你可以在数组之后访问内存。
【讨论】：
isSeedPos 不知道数组有多大。它只是一个指向内存位置的指针。当您指向 isSeepPos[10] 时，行为未定义。这迟早会导致段错误，但不需要崩溃，当然也没有标准的错误检查。
【讨论】：
写到那个位置是危险的。
但是编译器会让你这样做 - 实际上你正在写一个过去分配给该数组的内存的最后一个字节 = 不是一件好事。
C++ 不像许多其他语言 - 它假定您知道自己在做什么！
【讨论】：
C 和 C++ 都允许您写入任意内存区域。这是因为它们最初源自（并且仍然用于）低级编程，您可能合法地想要写入内存映射外设或类似的，并且因为当程序员已经知道值时省略边界检查会更有效将在范围内（例如，对于数组上的循环 0 到 N，他/她知道 0 和 N 在范围内，因此检查每个中间值是多余的）。
然而，事实上，如今你很少愿意这样做。如果您使用 arr[i] 语法，您基本上总是希望写入 arr 中声明的数组，而从不做任何其他事情。但如果你愿意，你仍然可以。
如果您确实写入任意内存（就像您在本例中所做的那样），那么它将成为您程序的一部分，并且它会在您不知道的情况下更改一些其他关键数据（现在，或者稍后当您更改代码并忘记您在做什么时）；否则它将写入未分配给您的程序的内存，操作系统将关闭它以防止出现更严重的问题。
现在：
【讨论】：
这不是 Java。在 C 或 C++ 中没有边界检查；你能写到那个索引是纯粹的运气。
【讨论】：