本斯·巴巴蒂;诺伯特·巴塔基 C++标准模板库中谓词的求值。 （英语） Zbl 1488.68016号 安理大学。布达普。罗兰多·Eötvös，Sect。计算。 52, 57-72 (2021). 概述：C++是当今广泛使用的语言，它提供了许多高级结构。它的标准库试图最小化经典编程错误，但它引入了新的错误。已知的STL问题之一与算法谓词有关。谓词使算法可定制，有时还存储任务的状态。然而，这些存储的变量可能会引入意外的行为。可以通过多种方式检测此问题，但标准编译器无法检测到此问题。我们开发了本文中介绍的多种技术，并进行了相互比较。这些方法包括静态分析和动态分析方法。 MSC公司： 68甲15 编程语言理论 关键词：C类++;静态分析;动力学分析;STL算法;谓词 软件：STL线头;STL公司 PDF格式BibTeX公司 XML格式引用 \textit{B.Babati}和\textit{N.Pataki}，安理工大学。布达普。罗兰多·Eötvös，Sect。计算。52，57-72（2021年；兹bl 1488.68016） 全文： 链接