我知道g ++(和MSVC)的开关允许对operator []进行边界检查,遗憾的是,据我所知,LLVM的libc ++没有这种开关或调试代码的完整实现.
在我当前的项目中,我一直在使用我自己的vector实现(几年前我为可移植性编写),它不会抛出异常,并且对operator []和(在实际上有一个调用另一个和他们的行为完全相同,因为没有例外).
在我完成当前程序之后,我将要移交这个代码库,它可能已经使用了很长时间.因为我不应该被要求维护它或任何我宁愿在任何地方完全符合标准,我不认为重新实现容器是符合标准的精神,(我也高度怀疑我的容器与libc ++或libstdc ++团队编写的一样好.
是否有一些预处理器魔法或类似的东西,我可以做的是使operator []在调试期间表现得像((因为它因未捕获的异常而中止)并且在我禁用此调试模式时表现得像operator []？(项目完全支持C++ 14)
我们可以看到从树干的libc矢量++源代码确实是有这样的内部检查std::vector<>::operator[],其中经过_LIBCPP_ASSERT.
不幸的是,libc ++调试功能还没有起作用.
所以:
operator[]默默地接受破碎的输入.根据定义,这就是它的作用.依赖特定于实现的附加健全性检查是一个非常糟糕的主意.如果他们不确定他们在做什么,你的团队应该写自己的断言.