Код, включающий компиляции domain_error без & lt; stdexcept & gt; header [duplicate]

В стандарте C ++ сказано следующее в разделе 17.6.5.2 [res.on.headers]:

Заголовок C ++ может содержать другие заголовки C ++.

Для вашего вопроса это означает, что компилятор может просто действовать так, как если бы вы включили другие заголовки C ++. В вашем примере компилятору разрешено включать заголовок <numeric>, если вы включили <algorithm> или наоборот.

Но это еще не все. В стандарте также говорится:

Заголовок C ++, показанный в его кратком обзоре, как включающий другие заголовки C ++, должен содержать описания и определения, которые появляются в синонимах этих других заголовков.

И:

Стандартные заголовки C [...] должны включать только соответствующий стандартный заголовок C ++ [...]

(Обратите внимание, что я цитирую последний бесплатный проект C ++ 11. Окончательная версия стандарта ISO не является бесплатной. См. https://isocpp.org/std/the-standard .)

Заголовок <utility> является примером заголовка C ++, который, как гарантируется, будет содержать другой. Его синопсис explitly включает <initializer_list>. Это означает, что соответствующий компилятор должен принять следующее:

#include <utility>
// #include <initializer_list> // not needed

int main()
{
    std::initializer_list<int> x = {};
}

Для заголовков C, напротив, это означает, что следующее не должно компилироваться:

#include <stdio.h>

int main()
{
    std::cout << "\n"; // must not compile
}

Что означает стандарт говорит, что это подтверждается документацией вашей реализации. Например, в документации для Visual C ++ 2013 говорится:

Заголовок библиотеки C ++ включает любые другие заголовки библиотек C ++, необходимые для определения необходимых типов. (Всегда указывайте явно любые заголовки библиотек C ++, необходимые в блоке трансляции, однако, чтобы вы не ошиблись в отношении его фактических зависимостей.) Стандартный заголовок C никогда не включает другой стандартный заголовок.

вот хороший; не зависят от автоматического включения. Явно укажите все, что вам нужно.