c++ - Vector going out of bounds without giving error

Question

I have a std::vector. I check its size which is 6 but when I try to access vec[6] to check whether it will give error, I get no error but some number instead. Should not it give an error?

edit: something like:

struct Element
{
    std::vector<double> face;
};

int main()
{
    Element elm;

    .... // insert 6 elements into elm.face

    std::cout << elm.face.size() << std::endl; // answer is 6
    std::cout << elm.face[6] << std::endl; // answer is some number
}

Answer 1

.at()STL 向量在调用成员函数时执行边界检查，但不对[]操作符执行任何检查。

超出范围时，[]运算符会产生未定义的结果。

Answer 2

正如克格拉尼的回答中所述，这是未定义的行为。但是，大多数 c++ 库都有一些功能可以在这种情况下中止或引发异常。通常通过设置或取消设置特定的编译器宏来控制。

我对相关文档进行了概述：

gnu libstdc++

• 调试模式 ——关于 libstdc++ 调试的一般信息
• _GLIBCXX_DEBUG
• _GLIBCXX_CONCEPT_CHECKS，带有 -fconcepts -- 启用 c++ 概念

铿锵的libcxx

• _LIBCPP_DEBUG_LEVEL=1

促进

• BOOST_DISABLE_ASSERTS -- 在 boost 库中禁用断言。

微软

• 检查迭代器
• _ITERATOR_DEBUG_LEVEL -- 设置迭代器调试级别
• CRT 中的安全功能
• _CRT_SECURE_NO_WARNINGS ：禁用弃用警告

• _SCL_SECURE_NO_WARNINGS - 不太安全（根据微软），但更符合标准：

• _SECURE_SCL -- 设置迭代器调试级别的旧方法

• _HAS_ITERATOR_DEBUGGING - 不推荐使用的宏

请注意，gnu 和 clang 默认禁用检查，而 microsoft 默认启用它们。如果您没有意识到这一点，您的代码在 Microsoft 系统上的调试模式下运行速度可能会明显变慢。

Answer 3

这是未定义的行为。未定义的行为并不一定意味着你会得到一个错误：你可能会，但你可能会得到一些没有多大意义的结果。

Answer 4

数据结构的索引从 0 开始，因此如果您正在访问 vec[6]，那么这将超出范围。由于内存问题，您可能不会收到错误；您之前运行的代码可能存在某些问题，或者一些类似的错误。请张贴代码。