Модераторы: Daevaorn
  

Поиск:

Ответ в темуСоздание новой темы Создание опроса
> Дублирование кода шаблонов в разных модулях, Так оно или нет? 
V
    Опции темы
Alexeis
Дата 23.3.2008, 13:43 (ссылка) | (нет голосов) Загрузка ... Загрузка ... Быстрая цитата Цитата


Амеба
Group Icon


Профиль
Группа: Админ
Сообщений: 11743
Регистрация: 12.10.2005
Где: Зеленоград

Репутация: 12
Всего: 459
  Шаблоны обычно реализуются в заголовочных файлах. Допустим в n файлах используются шаблонный класс vector<int>. Теперь представим ситуацию, билдим каждый модуль отдельно, соответственно создается n *.obj файлов, каждый из которых содержит свою реализацию vector<int>.
  Вопрос в том, как в этом случае поступит линкер? Не ужели он продублирует реализацию шаблона vector<int> в каждом из модулей? 


--------------------
Vit вечная память.

Обсуждение действий администрации форума производятся только в этом форуме

гениальность идеи состоит в том, что ее невозможно придумать
PM ICQ Skype   Вверх
Daevaorn
Дата 23.3.2008, 13:46 (ссылка) | (нет голосов) Загрузка ... Загрузка ... Быстрая цитата Цитата


Эксперт
****


Профиль
Группа: Комодератор
Сообщений: 2155
Регистрация: 29.11.2004
Где: Москва

Репутация: 51
Всего: 70
Цитата(Alexeis @  23.3.2008,  14:43 Найти цитируемый пост)
Вопрос в том, как в этом случае поступит линкер? Не ужели он продублирует реализацию шаблона vector<int> в каждом из модулей?  

Линкер мержит код в таких случаях. Он даже может мержить  для разных типов, но одинаковых по конечному коду. Умный в общемsmile
PM MAIL WWW   Вверх
MAKCim
Дата 23.3.2008, 14:24 (ссылка) | (нет голосов) Загрузка ... Загрузка ... Быстрая цитата Цитата


Воін дZэна
****


Профиль
Группа: Экс. модератор
Сообщений: 5644
Регистрация: 10.12.2005
Где: Менск, РБ

Репутация: 52
Всего: 207
Цитата(Daevaorn @  23.3.2008,  13:46 Найти цитируемый пост)
Линкер мержит код в таких случаях. Он даже может мержить  для разных типов, но одинаковых по конечному коду. Умный в общем

а почему тогда тут не мержит
Код

// a.cpp
int get() {
    return 0;
}

Код

// b.cpp
int get() {
    return 0;
}

Код

// main.cpp
extern int get();

int main() {
    return get();
}

Код

# g++ -c a.cpp b.cpp
# g++ main.cpp -o main a.o b.o

?

Добавлено через 5 минут и 4 секунды
вопрос снят
разный биндинг символов


--------------------
Ах, у елі, ах, у ёлкі, ах, у елі злыя волкі ©
PM MAIL   Вверх
Alexeis
Дата 23.3.2008, 14:32 (ссылка) | (нет голосов) Загрузка ... Загрузка ... Быстрая цитата Цитата


Амеба
Group Icon


Профиль
Группа: Админ
Сообщений: 11743
Регистрация: 12.10.2005
Где: Зеленоград

Репутация: 12
Всего: 459
  Значит он включает первый модуль где встретит vector<int>, а в последующих заменяет вызовы текущего объектного файла, на вызовы из первого. Но тогда получается, что компилятор должен включать в obj файл полную реализацию класса, а не только те функции класса, которые реально используются. 
  Или опять же, за  удаление неиспользуемых функций класса ответственен линкер?


--------------------
Vit вечная память.

Обсуждение действий администрации форума производятся только в этом форуме

гениальность идеи состоит в том, что ее невозможно придумать
PM ICQ Skype   Вверх
bsa
Дата 23.3.2008, 14:58 (ссылка) | (нет голосов) Загрузка ... Загрузка ... Быстрая цитата Цитата


Эксперт
****


Профиль
Группа: Модератор
Сообщений: 9185
Регистрация: 6.4.2006
Где: Москва, Россия

Репутация: 63
Всего: 196
Alexeis, там смысл такой, что в результирующий бинарник помещаются только тот код, который используется.
Кстати, компилятор не создает код для неиспользуемых методов шаблонов.


--------------------
Правильно заданный вопрос - половина ответа
Отзывы о работе модератора.
PM   Вверх
Daevaorn
Дата 23.3.2008, 15:07 (ссылка) | (нет голосов) Загрузка ... Загрузка ... Быстрая цитата Цитата


Эксперт
****


Профиль
Группа: Комодератор
Сообщений: 2155
Регистрация: 29.11.2004
Где: Москва

Репутация: 51
Всего: 70
Цитата(Alexeis @  23.3.2008,  15:32 Найти цитируемый пост)
Значит он включает первый модуль где встретит vector<int>, а в последующих заменяет вызовы текущего объектного файла, на вызовы из первого. Но тогда получается, что компилятор должен включать в obj файл полную реализацию класса, а не только те функции класса, которые реально используются. 
  Или опять же, за  удаление неиспользуемых функций класса ответственен линкер? 

В конечном счете в исполняемом файле нет модулей, там просто сплошной код. Модули остаются на уровне линковки.
PM MAIL WWW   Вверх
Alexeis
Дата 23.3.2008, 15:26 (ссылка) | (нет голосов) Загрузка ... Загрузка ... Быстрая цитата Цитата


Амеба
Group Icon


Профиль
Группа: Админ
Сообщений: 11743
Регистрация: 12.10.2005
Где: Зеленоград

Репутация: 12
Всего: 459
Цитата(bsa @  23.3.2008,  13:58 Найти цитируемый пост)
Кстати, компилятор не создает код для неиспользуемых методов шаблонов.

  Как же линкер тогда собирает класс?  smile 

Представим себе что 1й модуль использует методы a, b и c из шаблонного класса, 1 модуль использует b, c и d, 3й использует с, d и f и т.д. И все это один и тот же шаблонный класс. 
  Полного откомпилированного экземпляра у него нет. Значит чтобы собрать класс до кучи понадобиться пропарсить все объектные модули и либы, выдрать из всего этого код всех методов, потом править все ссылки... как-то не правдоподобно звучит.


--------------------
Vit вечная память.

Обсуждение действий администрации форума производятся только в этом форуме

гениальность идеи состоит в том, что ее невозможно придумать
PM ICQ Skype   Вверх
bsa
Дата 23.3.2008, 15:33 (ссылка) | (нет голосов) Загрузка ... Загрузка ... Быстрая цитата Цитата


Эксперт
****


Профиль
Группа: Модератор
Сообщений: 9185
Регистрация: 6.4.2006
Где: Москва, Россия

Репутация: 63
Всего: 196
Цитата(Alexeis @ 23.3.2008,  15:26)
Полного откомпилированного экземпляра у него нет. Значит чтобы собрать класс до кучи понадобиться пропарсить все объектные модули и либы, выдрать из всего этого код всех методов, потом править все ссылки... как-то не правдоподобно звучит.

Вообще-то линкер все это и парсит. Если находит что-то используемое, но не определенное, то выдает ошибку.
Кстати, на этапе линковки понятия "класс" уже нет. Есть понятие "символ", который ссылается на переменную или функцию.

Это сообщение отредактировал(а) bsa - 23.3.2008, 15:36


--------------------
Правильно заданный вопрос - половина ответа
Отзывы о работе модератора.
PM   Вверх
Alexeis
Дата 23.3.2008, 15:58 (ссылка) | (нет голосов) Загрузка ... Загрузка ... Быстрая цитата Цитата


Амеба
Group Icon


Профиль
Группа: Админ
Сообщений: 11743
Регистрация: 12.10.2005
Где: Зеленоград

Репутация: 12
Всего: 459
  Спасибо вопрос исчерпан.


--------------------
Vit вечная память.

Обсуждение действий администрации форума производятся только в этом форуме

гениальность идеи состоит в том, что ее невозможно придумать
PM ICQ Skype   Вверх
  
 Ответ в темуСоздание новой темы Создание опроса
Правила форума "С++:Общие вопросы"
Earnest Daevaorn

Добро пожаловать!

  • Черновик стандарта C++ (за октябрь 2005) можно скачать с этого сайта. Прямая ссылка на файл черновика(4.4мб).
  • Черновик стандарта C (за сентябрь 2005) можно скачать с этого сайта. Прямая ссылка на файл черновика (3.4мб).
  • Прежде чем задать вопрос, прочтите это и/или это!
  • Здесь хранится весь мировой запас ссылок на документы, связанные с C++ :)
  • Не брезгуйте пользоваться тегами [code=cpp][/code].
  • Пожалуйста, не просите написать за вас программы в этом разделе - для этого существует "Центр Помощи".
  • C++ FAQ

Если Вам понравилась атмосфера форума, заходите к нам чаще! С уважением, Earnest Daevaorn
 
0 Пользователей читают эту тему (0 Гостей и 0 Скрытых Пользователей)
0 Пользователей:
« Предыдущая тема | C/C++: Общие вопросы | Следующая тема »

Подписаться на тему | Подписка на этот форум | Скачать/Распечатать тему


 




[ Время генерации скрипта: 0.0533 ]   [ Использовано запросов: 21 ]   [ GZIP включён ]


Реклама на сайте     Информационное спонсорство

 
 По вопросам размещения рекламы пишите на vladimir(sobaka)vingrad.ru
Отказ от ответственности     Powered by Invision Power Board(R) 1.3 © 2003  IPS, Inc.