为什么这两个std：：string find()函数被声明为noExcept？ [英] Why those two std::string find() functions are declared as noexcept?

问题描述

根据[string.find#1.2]和[string.find#1.3]：

表单的每个成员函数

• constexpr size_type F(const charT* s, size_type pos) const;

的效果相当于：return F(basic_­string_­view<charT, traits>(s), pos);

表单的每个成员函数

• constexpr size_type F(const charT* s, size_type pos, size_type n) const;

的效果相当于：return F(basic_­string_­view<charT, traits>(s, n), pos);

这两个find函数没有声明为noexcept，但是三个编译器供应商中的all没有遵循规则，他们只是将其实现为noexcept。

这背后的原因是什么？

推荐答案

这就是所谓的拉科斯规则。请参见N3248。规则是，如果函数有前提条件，则不应将其标记为noexcept，因为这会阻止实现检查前提条件并在验证时引发异常(如果实现选择这样做的话)。

在这种情况下，find(s, pos, n)相当于find(string_view(s, n), pos)。且string_view(s, n)结构的前提是s是长度至少为n的有效字符串。因此实现可以尝试以某种方式进行验证，并在失败时引发异常。

但没有一个实现实际尝试验证这一点，因此它们不会自由地对前提条件违规进行抛出，而是简单地将这些函数标记为noexcept。允许他们从[res.on.exception.handling]执行以下操作：

实现可以通过添加非引发异常规范来增强非虚函数的异常规范。

---

库进化最近接受了P1656，这基本上恢复了拉科斯规则。

这篇关于为什么这两个std：：string find()函数被声明为noExcept？的文章就介绍到这了，希望我们推荐的答案对大家有所帮助，也希望大家多多支持IT屋！