C++ 标准库中的哪些标头保证包含另一个标头？-解网

问：

C++ 标准库标头可能以未指定的方式相互包含，因此程序员通常不应依赖一个标头包括另一个标头。但是，在少数情况下，可以保证一个标头包含另一个标头，或者提供某些功能，否则这些函数将需要包含另一个标头。这些情况是什么？

C++ 11 14 头文件 C++20

@T.C.但是，不显式指定声明所使用的类型的头文件是一个坏主意。这将使代码更难阅读，即使它可以使编译速度更快一点。开发人员不应该知道保证的包含。好吧，对于 std：：begin 的情况，这是显而易见的，但对于其他情况，它可能不是。

0赞 screwnut 1/31/2021

请随时提供您使用的内容。即使只需要 30 秒向同事解释你为什么这样做，也不这样做也有缺点。你已经花了更多的时间来解释它，而不是做正确的事情。

0赞 Sz. 9/7/2023

但是，@screwnut，如果它是隐式使用的（这是绝大多数情况），则是一个例外。它如此无缝地融入到语法中，以至于它可以被认为是 std 容器的内部实现细节，从这个角度来看，显式地包含它甚至感觉像是错误的事情。（如果你正在实现你自己的容器，并显式使用它，那就另当别论了——当然，包括它在那里。initializer_list

答：

39赞 T.C. 10/29/2014 #1

此答案忽略 C 标头 - 和 ones。在 C++ 库标头中（所有引用均指向 N4659）：<meow.h><cmeow>

<initializer_list>保证包括：

<utility>（§23.2.1 [实用程序.syn])
<string>（§24.3.1 [string.syn])
<array>（§26.3.2 [数组.syn])
<deque>（§26.3.3 [deque.syn])
<forward_list>（§26.3.4 [forward_list.syn])
<list>（§26.3.5 [列表.syn])
<vector>（§26.3.6 [vector.syn])
<map>（§26.4.2 [associative.map.syn])
<set>（§26.4.3 [associative.set.syn])
<unordered_map>（§26.5.2 [unord.map.syn])
<unordered_set>（§26.5.3 [unord.set.syn])
<queue>（§26.6.2 [队列.syn])
<stack>（§26.6.3 [stack.syn])
<algorithm>（§28.2 [algorithms.syn])
<random>（§29.6.2 [兰德概要])
<valarray>（§29.7.1 [valarray.syn])
<regex>（§31.4 [re.syn])

<iostream>保证包括、、和（§30.4.1 [iostream.syn]）。<ios><streambuf><istream><ostream>

<ios>保证包括（§30.5.1 [ios.syn]）。<iosfwd>

<bitset>保证包括和（§23.9.1 [bitset.syn]）。<string><iosfwd>

自由函数模板、、 C++ 、和版本以及 C++17 自由函数模板和名义上位于中，但如果包含以下任何标头，也可以使用：、、、、、和（§27.7 [迭代器范围]， §27.8 [迭代器.容器]）。std::beginstd::endc-r-cr-std::sizestd::emptystd::data<iterator><array><deque><forward_list><list><map><regex><set><string><unordered_map><unordered_set><vector>

如果包含，则保证 and 函数和 [utility.swap] （和）中定义的两个泛型重载可用。但是，不是（§24.4.1 [string.view.synop]）。<string_view>*begin*endstd::swapswap(T&, T&)swap(T (&a)[N], T (&b)[N])size/empty/data

C++ 标准库中的哪些标头保证包含另一个标头？

Which headers in the C++ standard library are guaranteed to include another header?

评论

评论

评论