Что такое «единица перевода» в C ++

236

В то время я читал «Эффективный C ++», написанный Мейерсом и натолкнулся на термин «единица перевода».

Может ли кто-нибудь дать мне объяснение:

1) Что именно это

2) Когда я должен рассмотреть возможность его использования при программировании на C ++

3) Если он связан только с C ++ или может использоваться с другими языками программирования

Я мог бы уже использовать его, не зная термина ....

c++ Гарри
источник
1
2. Вы уже используете модуль перевода, если вы включили заголовочные файлы. Это термин, используемый для ссылки, а не конструкция С ++, скажем так
talekeDskobeDa

Ответы:

268

От сюда : ( Вайбак машина ссылка )

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

Один модуль перевода может быть скомпилирован в объектный файл, библиотеку или исполняемую программу.

Понятие единицы перевода чаще всего упоминается в контексте правила единого определения и шаблонов.

JeffH
источник
9
Термин используется только в C / C ++?
dekuShrub
2
@dekuShrub на самом деле нет. Например, в Rust блок перевода - это ящик, в C ++ то же самое можно назвать целой библиотекой. Сам термин универсален, но он определенно начался с C.
Sahsahae
Новая ссылка, в которой примерно указано, что говорится в этом ответе: en.wikipedia.org/wiki/Translation_unit_(programming)
Габриэль Стейплс
67

Единицей перевода для всех намерений и целей является файл (.c / .cpp), после того как он завершен, включая все файлы заголовков.

http://msdn.microsoft.com/en-us/library/bxss3ska%28VS.80%29.aspx

Ана Беттс
источник
3
Включая заголовочные файлы. Заголовочные файлы обрабатываются компилятором, даже если код не генерируется. Смотрите также комментарий препроцессора Джеффа, определение «все, что видит компилятор» является хорошим.
Марко ван де Воорт
10
Вы можете скомпилировать файлы, оканчивающиеся на ".h", просто отлично. Имя файла вообще не важно. Содержание есть. Если содержимое файла "foo.h" равно "int main () {}", вы можете скомпилировать его.
Йоханнес Шауб -
@LightnessRacesinOrbit: Да, то, что я пытался сказать, это то, что нетрадиционно напрямую компилировать заголовок как TU, а не косвенно компилировать его в TU через включение. Первый комментарий удален из-за того, что он был неверным, а второй оставил новый контекст.
GManNickG
1
@GManNickG: Как насчет «.h файлы обычно не передаются напрямую в компилятор».
Гонки легкости на орбите
@ JohannesSchaub-litb Я думаю, что вы имеете в виду ссылку, а не компилировать. Вы можете скомпилировать любой файл, если он соответствует C / C ++ со всеми определенными именами. Было бы бесполезно компилировать файл заголовка, поскольку весь смысл файла заголовка должен быть включен (прочитан скопирован) в исходные файлы, поэтому они уже компилируются, когда вы компилируете исходный файл, который его включает. Я предполагаю, что вы хотели сказать, что вы не можете создать исполняемый файл из файла, который не имеет главной функции.
pooya13
30

Трудный вопрос, чтобы ответить окончательно. Стандарт C ++ гласит:

Текст программы хранится в единицах, называемых исходными файлами в этом международном стандарте. Исходный файл вместе со всеми заголовками (17.4.1.2) и включенными исходными файлами (16.2) через директиву предварительной обработки #include, за исключением любых строк исходного текста, пропущенных любой из директив предварительной обработки условного включения (16.1), называется единицей перевода. [Примечание: не обязательно переводить все программы на C ++ одновременно. ]

Таким образом, для большинства целей и задач единица перевода - это отдельный исходный файл C ++ и заголовок или другие файлы, которые он включает с помощью механизма препроцессора #include.

По поводу других ваших вопросов:

2) Когда я должен рассмотреть возможность его использования при программировании на C ++

Вы не можете не учитывать это - единицы перевода являются основой программы на C ++.

3) Если он связан только с C ++ или может использоваться с другими языками программирования

У других языков есть подобные понятия, но их семантика будет немного отличаться. Например, большинство других языков не используют препроцессор.

Ондрей Слинтак
источник
1
Я не знаю, проясняется ли это или нет. Это может быть несколько темной областью - это не ясно из стандартного параграфа, который я цитировал, например, что предварительно скомпилированные заголовки разрешены.
1
@GMan, и вот где вы должны быть очень осторожны с одним правилом определения. Если вы включите класс в разные единицы перевода с немного отличающимися определениями до того, как этот класс будет включен, что заставит класс иметь другой код, это вызовет неопределенные проблемы.
Мэтт Прайс
6
@GMan обратите внимание на два термина, используемых Стандартом: «заголовок» и «исходный файл». «заголовок» используется только для стандартной библиотеки. Пользовательский файл, включенный в некоторый код, по стандарту называется не «заголовок», а «исходный файл». Стандарт не знает о разнице между «.h» и «.cpp», которую мы, бедные программисты на С ++, придумали :)
Йоханнес Шауб - litb
8

Книга проясняет это достаточно. Когда Мейерс ссылается на «модуль перевода», он имеет в виду файл исходного кода.

Эд С.
источник
1
Нет. Если бы он говорил об исходном коде, он сказал бы исходные файлы. Единица перевода сделана путем компиляции исходного кода. Обратите внимание на четкую разницу. Это «переведенный» исходный код.
Дан
3
@ Дан: Нет, это не так. Единицей перевода является исходный файл после включений, который может быть скомпилирован, т. Е. Выходные данные препроцессора перед компиляцией.
Эд С.
1
На самом деле, несмотря на то, что стандарт C ++ называет это, «модуль перевода» обычно используется для передачи идеи единого «модуля» скомпилированного кода. На самом деле, по словам ребят из компилятора Microsoft, вы напрямую связываете «Единицы перевода». msdn.microsoft.com/en-us/library/vstudio/…
Дан
1
Таким образом, мы пытаемся быть нацистами "стандарта C ++" или мы пытаемся помочь людям общаться с остальной частью отрасли? Я знаю, что это поток C ++, поэтому я не буду вдаваться в то, что xcode называет tu. Или все другие определения термина.
Дан
1
@Dan: единица перевода - то, что стандарт называет это. Меня не очень интересует мнение разработчиков случайных компиляторов. Интересно, что парень, который выискивает почти пятилетнюю почту в придирку и говорит мне, что мое определение неверно, оборачивается и называет меня «нацистским языком» для исправления своего. Да, иди дальше, ты утомлен иметь дело с.
Эд С.
4

В дополнение к ODR, модуль перевода важен в определении безымянных пространств имен, который заменяет одно из старых применений «статического».

Я думаю, у меня все еще не хватает очков, чтобы добавить комментарий под верхним ответом.

Аллан Стокс
источник
3

Единица перевода - это код, который передается компилятору. Как правило, это означает результат работы препроцессора в файле .c.

sigjuice
источник
2

Программы на C и C ++ состоят из одного или нескольких исходных файлов, каждый из которых содержит некоторый текст программы. Исходный файл вместе с включаемыми файлами (файлы, включаемые с использованием директивы препроцессора #include), но не включающий в себя фрагменты кода, удаленные директивами условной компиляции, такими как #if, называется «модулем перевода».

Ганеш Мармат
источник
1

Согласно MSDN : программы на C и C ++ состоят из одного или нескольких исходных файлов, каждый из которых содержит некоторый текст программы. Исходный файл вместе с включаемыми файлами (файлы, включаемые с использованием директивы препроцессора #include), но не включающий в себя фрагменты кода, удаленные директивами условной компиляции, такими как #if, называется «модулем перевода».

Рахул
источник
0

Каждый файл cpp / c (реализация) будет преобразован в заголовочные единицы перевода (т. Е. Объектный файл (.obj)) в файле cpp будет заменен фактическим текстом из файлов заголовков.

yesraaj
источник
0

Как уже говорили другие, единица перевода - это в основном содержимое исходного файла после предварительной обработки. Это самая лучшая постановка в языковой грамматике; вам нужно будет беспокоиться только об этом, если вы пишете компилятор C или C ++.

Джон Боде
источник
1
«Вам нужно было бы беспокоиться только об этом, если бы вы писали компилятор C или C ++». Я не согласен: программисты часто должны понимать, что делает компилятор. Так, например, вам нужно знать, что такое единица перевода, чтобы понять важный момент из пункта № 5 в Эффективном C ++: «Относительный порядок инициализации нелокальных статических объектов, определенных в разных единицах перевода, не определен».
Ченнинг Мур
0

На мой взгляд, «единица перевода» обычно представляет собой один исходный файл «после предварительной обработки». Вы можете получить более подробную информацию на этой странице MSDN. http://msdn.microsoft.com/en-us/library/bxss3ska(v=vs.80).aspx

Ян
источник