C++標準庫中的哪些標頭保證包含另一個標頭？

Question

C++標準庫頭可能以非特定的方式相互包含，因此程序員通常不應該依賴於包含另一頭的頭。然而，在少數情況下，一個頭文件會保證包含另一個頭文件，或者提供某些功能，否則需要包含另一個頭文件。那些情況是什麼？

Answer 1

這個答案忽略了C頭文件 - 這兩個文件都是<meow.h>和<cmeow>。 C++庫頭的（所有引用都是到N4659）：

<initializer_list>是保證由被包括：

• <utility>（§23.2.1[utility.syn]）
• <string>（§24.3.1[string.syn]）
• <array>（§26.3.2[array.syn]）
• <deque>（§26.3.3[deque.syn]）
• <forward_list>（§26.3.4[forward_list.syn]）
• <list>（§26.3.5[list.syn]）
• <vector>（§26.3.6[vector.syn]）
• <map>（§26.4.2[associative.map.syn]）
• <set>（§26.4 0.3 [associative.set.syn]）
• <unordered_map>（§26.5.2[unord.map.syn]）
• <unordered_set>（§26.5.3[unord.set.syn]）
• <queue>（§26.6.2[queue.syn]）
• <stack>（§26.6.3[stack.syn]）
• <algorithm>（§28.2[algorithms.syn]）
• <random>（§29.6.2[rand.synopsis]）
• <valarray>（§29.7.1[valarray.syn]）
• <regex>（§31.4[re.syn]）

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

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

自由函數模板std::begin，std::end，在C++ 14 c-，r-和cr-版本，以及C++ 17免費函數模板std::size，std::empty和std::data名義上居住在<iterator>，但也可如果有的話下面標頭包括：<array>，<deque>，<forward_list>，<list>，<map>，<regex>，<set>，<string>，<unordered_map>，<unordered_set>，和<vector>（§27.7[iterator.range]，§27.8[iterator.container]）。

當包括<string_view>，所述*begin和*end功能，並且在[utility.swap]（swap(T&, T&)和swap(T (&a)[N], T (&b)[N])）定義的兩個通用std::swap重載保證是可用的。 size/empty/data，但是，沒有。 （§24.4.1[string.view.synop]）。