Решил таки посмотреть, какие изменения были введены в 20-ом стандарде и одно из первых изменений поставило меня в тупик: модули. Я долго пытался понять зачем их внедрили и как они должны работать (и я не про синтаксис и примеры использования).
Как я понял, модули могут послужить этакой альтернативой разделению кода на заголовочный и source файлы, однако! это разделение ведь возникло не просто так. Создали были вынуждены так сделать для того, чтобы сделать компилятор однопроходным. Компилятор при препроцессинге файла заменяет все директивы include на содержимое этих инклюдов, что является простой операцией и требует всего-то указать где эти инклюды искать (если они не в одном из стандартных местоположений). Но как компилятор обрабатывает модули? Вот он встречает директиву импорта модуля - его действия? Это не имя файла, он не знает где его искать если файл с этим модулем еще не встречался. Он должен перебрать исходники в поисках места где этот модуль экспортируется? Отложить текущий файл и заняться обработкой других пока не будет встречен нужный модуль? Как модули сказываются на производительности компилятора?