为什么std:：find_if可能会因std:：bad_alloc异常而失败？

Question

正如我在标题中所述，我只是不明白为什么这个函数会抛出＜code＞std:：bad_alloc＜/code＞。如果我们看一看cppreference，所有三种可能的实现都是如有人所假设的，并且看起来没有特别需要动态内存分配。

Answer 1

是因为模板中的执行策略。

“C标准允许并行算法分配内存，并在无法获取内存时抛出std:：bad_alloc”

https://dev blogs . Microsoft . com/CPP blog/using-c17-parallel-algorithms-for-better-performance/

Answer 2

cppreference中显示的3种可能的实现是针对不采用执行策略的3种重载。特别是采用执行策略的重载，这些重载被列为可能抛出std:：bad_alloc。

执行策略包括并行化或矢量化操作的可能性。这将需要额外的内存来完成，而不是仅仅依赖于非并行化/矢量化版本中的标量变量。

编辑:话虽如此，正如@user17732522在评论中所说:

默认值是，允许没有 noexcept 规范的标准库函数抛出实现定义的异常（参见 eel.is/c draft/res.on.exception.handling#4），并且find_if没有任何“Throws：”子句来约束它（eel.is/c draft/alg.find）。

因此，允许实现提供一个std::find，它会抛出任何重载。