通过模板专用容器的C++标准模板库
摘要：C++标准模板库的使用意在最小化传统C/C++错误的数量，但并不能保证无bug程序。此外，使用泛型编程范式可能导致许多新类型的错误，例如解引用无效的迭代器或误解删除类似算法。本文提出了一些可能导致运行时或可移植性问题的典型场景。在使用这些危险结构时，我们发出警告和错误。我们还提出了一种发出自定义警告的通用方法。我们支持所谓的"相信我标记"来禁用警告。我们还介绍了我们的技术的另一个典型用法，即软件生命周期中类变得废弃。
作者：N. Pataki
论文ID：1111.3673
分类：Programming Languages
分类简称：cs.PL
提交时间：2011-11-17