c – 取决于编译开关/ NDEBUG,在at()和operator []之间为std :: vector进行交换
作者：互联网
我知道g(和MSVC)的开关允许对operator []进行边界检查,遗憾的是,据我所知,LLVM的libc没有这种开关或调试代码的完整实现.
在我当前的项目中,我一直在使用我自己的vector实现(几年前我为可移植性编写),它不会抛出异常,并且对operator []和(在实际上有一个调用另一个和他们的行为完全相同,因为没有例外).
在我完成当前程序之后,我将要移交这个代码库,它可能已经使用了很长时间.因为我不应该被要求维护它或任何我宁愿在任何地方完全符合标准,我不认为重新实现容器是符合标准的精神,(我也高度怀疑我的容器与libc或libstdc团队编写的一样好.
是否有一些预处理器魔法或类似的东西,我可以做的是使operator []在调试期间表现得像((因为它因未捕获的异常而中止)并且在我禁用此调试模式时表现得像operator []？
(项目完全支持C 14)
解决方法:
我们可以从the trunk libc++ source code for vector看到在std :: vector<> :: operator []中确实存在这样的检查,它通过_LIBCPP_ASSERT.
不幸的是,the libc++ debug feature is not yet functional.
所以：
>观察libc更新
>训练你的团队,期望运算符[]默默接受破碎的输入.根据定义,这就是它的作用.依赖特定于实现的附加健全性检查是一个非常糟糕的主意.如果他们不确定他们在做什么,你的团队应该写自己的断言.
标签：c,clang-2 来源： https://codeday.me/bug/20190824/1709138.html