STL公司

C++标准模板库编译时的改进。C++标准模板库是基于通用编程范式的库的旗舰示例。这个库的使用旨在最小化经典的C/C++错误,但并不保证程序没有bug。此外,由于对泛型编程范式的不准确使用,可能会产生许多新的错误,例如取消对无效迭代器的引用或误解删除类算法。为了定制内存管理,每个标准容器都提供了一个模板参数。分配器类型负责内存的分配和释放。在本文中,我们提出了一些可能在运行时导致未定义或奇怪行为的场景。这些场景与分配器和反向迭代器有关。当这些构造在编译器中未作任何修改的情况下使用时,我们会发出警告。我们还提供了一种发出“定制”警告的通用方法。我们支持所谓的“相信我”标志,以消除我们的具体警告。


zbMATH中的参考文献(参考文献78篇文章,2标准条款)

显示第1到第20个结果,共78个。
按年份排序(引用)
  1. 通常,是伊斯特万州。;Mudalige,Gihan R.:计算流体力学应用的生产力、性能和可移植性(2020)
  2. 博格斯,保罗T。;伯德,理查德H.:无约束优化的自适应有限内存BFGS算法(2019)
  3. 塞格鲍姆,马克斯;阿尔布林,T。;Gauger,N.R.:算法微分反向模式下原始值标注的表达式模板(2018)
  4. Beebe,Nelson H.F.:数学函数计算手册。使用MathCW便携式软件库编程(2017)
  5. 卡维利埃,弗朗索瓦;贾斐特,卡罗琳;Scarella,Gilles:用向量语言组装有限元矩阵的有效方法(2016)
  6. 德拉克鲁兹,路易斯M。;Ramos,Eduardo:盒形域中有限体积法的通用模板单元(2016)
  7. 达斯维尔,英格玛;范德哈伦,马提亚斯;詹森,格达;Denecker,Marc:《构建逻辑的组合框架中模板的语义》(2015)
  8. 赫尔弗,托马斯;米歇尔,布鲁诺;普罗瓦,让·米歇尔;萨尔沃,马克西姆;塞尔科姆,杰罗姆;Casella,Michel:介绍开源\texttmFrontCode generator:昴宿星燃料元件建模平台中机械行为和材料知识管理的应用(2015)
  9. 霍尔瓦特,加博尔;Pataki,Norbert:Clang matchers for verified usage of the C++Standard Template Library(2015年),用于验证C++标准模板库的使用情况ioport公司
  10. 保莱蒂,塞巴斯蒂安;马丁内利,马西米利亚诺;卡瓦利尼,尼古拉;Antolin,Pablo:Igatools:等几何分析库(2015)
  11. 席尔瓦,里卡多文学硕士。;席尔瓦,迭戈·M。;雷森德,毛里西奥G.C。;马特乌斯,杰拉尔多。;乔塞夫·冈萨尔维斯。;Festa,Paola:生成分枝顶点数最少的生成树的边交换启发式算法(2014)
  12. 安吉丽诺,伊莲;古德里奇,迈克尔T。;米岑马赫,迈克尔;Thaler,Justin:外部存储器多重映射(2013)
  13. 多恩,安德斯;Mason,Andrew:《员工排班的分支和价格:使用泛型编程和嵌套列生成的有效实现》(2013)
  14. Pataki,Norbert:C++标准模板库的编译时进展(2012)
  15. Pataki,Norbert:C++标准模板库(2012)ioport公司
  16. 塔巴塔贝,赛义德萨利姆;科茨,马克;贪心的聚集图(2012)ioport公司
  17. 卢博米尔布尔德夫;Järvi,Jaakko:通用编程中的高效运行时调度与最小代码膨胀(2011)ioport公司
  18. 海因茨,雷内;Philipp Schwaha:通用拓扑库(2011)
  19. 科兹克,塔马斯;帕塔基,诺伯特;Szűgyi,Zalán:无限迭代器的C++标准模板库(2011)
  20. 帕塔基,诺伯特:安全函子的C++标准模板库(2011)ioport公司