stl_vector.h 标头中的分段错误

Posted 2023-02-22

【中文标题】stl_vector.h 标头中的分段错误

【英文标题】：Segmentation Fault in stl_vector.h header

【发布时间】：2014-09-06 06:12:31

【问题描述】：

当我使用 OpenSceneGraph 库（OSG 3.0；GCC 4.7.1；C::B 13.12）时，我遇到了一个非常有趣的数组问题。声明 Vec3Array 类类型是从向量类派生的，因此通常人们期望 Vec3Array 与向量类具有相同的功能和相同的继承行为。

我有 3 个 Vec3Array 列表，第一个用于顶点，第二个用于法线，第三个用于索引。我创建第一个并用调用正确的 push_back 函数的值填充它，然后我创建第二个值并填充值，但如果我想参考第一个列表（使用cnt = obj_vertices->size(); 代码）然后程序抛出异常。

这里有什么问题？

osg::ref_ptr<osg::Vec3Array> obj_vertices  = new osg::Vec3Array; ////1st LIST 
obj_vertices->push_back(osg::Vec3d(-3.0000, 0.0, 4.0000 ));
obj_vertices->push_back(osg::Vec3d( 3.0000,0.0, 4.0000  ));
.......
osg::Vec3d vec1, vec2, vec3;
osg::ref_ptr<osg::Vec3Array> normals = new osg::Vec3Array; // 2nd LIST 
vec1[0] = 0; vec1[1] = -1; vec1[3] =0;
vec2[0] = 1; vec2[1] = 0; vec2[3] = 0;
vec3[0] = 0; vec3[1] = -1; vec3[3] =0;
normals->push_back(vec1);normals->push_back(vec1);normals->push_back(vec1);normals->push_back(vec1);
normals->push_back(vec1);normals->push_back(vec1);normals->push_back(vec1);normals->push_back(vec1);
normals->push_back(vec1);normals->push_back(vec1);normals->push_back(vec1);normals->push_back(vec1);

normals->push_back(vec2);normals->push_back(vec2);normals->push_back(vec2);normals->push_back(vec2);
normals->push_back(vec2);normals->push_back(vec2);normals->push_back(vec2);normals->push_back(vec2);

normals->push_back(vec3);normals->push_back(vec3);normals->push_back(vec3);normals->push_back(vec3);

cnt = obj_vertices->size(); /// EXCEPTION IS TRIGGERED HERE 
.......

【参考方案1】：

vec1[0] = 0; vec1[1] = -1; vec1[3] =0;

3D 向量中的最后一个索引是 2，而不是 3。

【讨论】：

编译器在尝试分配vec1[3] =0; 中的错误索引值时不应该抛出异常吗？否则我们几乎没有机会抓住它。

@SonyaBlade - 不，C++ 不能那样工作。如果库没有明确编码throw，则不会引发异常。您将进入“未定义行为”的世界，任何事情都可能发生。

@SonyaBlade：C++ 标准库很少使用异常来报告错误。在 C++ 的范围内，这是一件好事。 C++ 中的异常不应用于弥补编程错误，并且非法向量索引发生在如此低的级别，以至于它必须是编程错误，即您的 代码 错了。然而，允许编译器通过实施自己的检查来“填充”UB。当索引超出范围时，它可能会使用内部assert 使程序崩溃。