Использование указателей на контейнеры STL в заголовочных файлах

@Undisputed · Регистрация: 10.06.2014

Студворк — интернет-сервис помощи студентам

Для использования указателей на I/O классы достаточно включить <iosfwd> который содержит опережающие объявления и таким образом появляется возможность объявить указатель например на stringstream в заголовочном файле

C++
1
2
3
4
//some.h
#include <iosfwd>
 
void bar(std::stringstream *s);

а как быть если хочется объявить указатель в заголовочном файле например на std::map<T,T> или std::string?

nd2 · 26.02.2017, 23:21

Сообщение от sys_beginner

.c

Вот это единица трансляции. Поэтому:

Сообщение от sys_beginner

а реализацию этих хедеров указывал всего 1 раз.

Что правильно.
А <map> - это не единица трансляции, это заголовочный файл, который становится частью единицы транляции, когда делается его include (вставляется текст этого заголовочного файла) в единице трансляции. Использовать, в какой-нибудь единице трансляции, map не сможешь, пока не покажешь компилятору (через #include <map>), что это такое. Заглянуть в другую единицу трансляции компилятор (именно, компилятор, не компоновщик) не может, чтобы узнать там, что это такое.

Добавлено через 3 минуты

Сообщение от sys_beginner

А в чем отличие?

В том, что это шаблон. И, как ты пишешь правильно дальше:

Сообщение от sys_beginner

в итоге становится конкретной реализацией

Шаблон как был шаблоном, для создания реализаций, так и останется. Реализация шаблона - это одно, а сам шаблон - это другое.

@tapochka · 26.02.2017, 23:25

Сообщение от sys_beginner

А в чем отличие? Шаблон ведь в итоге становится конкретной реализацией которая определяется типами которые в него подставляются

не помню точно, но шаблоны вроде нарушают ODR как и inline функции... если не прав, пусть кто-то поправит

Сообщение от sys_beginner

Вот я и думаю что если в каждую единицу трансляции воткнуть реализацию - то будет дублирование и хочется этого как нибудь избежать...

в современном c++ никак не избежите... была попытка засобачить определение шаблонов в cpp файлах с помощью ключевого слова export, но она провалилась... в будущем планируют решить проблему с помощью модулей которые не делают тупо копипаст хедеров, а лишь импортирует некие метаданные

@Undisputed · 26.02.2017, 23:26 **[ТС]**

nd2,
Но так же получается избыточно... то есть исходный файл насколько я понимаю становится большим из за дублирования реализации map-а

@artiandr68 · 26.02.2017, 23:31

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

nd2 · 26.02.2017, 23:39

Сообщение от sys_beginner

то есть исходный файл насколько я понимаю становится большим из за дублирования реализации map-а

Дублирования реализаций не будет, реализация должна быть одна. А если имеются ввиду реализации под разные типы данных, то этого в любом случае избежать не получится, с шаблонами или без.

@tapochka · 26.02.2017, 23:42

Сообщение от sys_beginner

Но так же получается избыточно... то есть исходный файл насколько я понимаю становится большим из за дублирования реализации map-а

хм, можно использовать precompiled header, и инклудить его а не <map>, скорость компиляции вырастет

IGPIGP · 26.02.2017, 23:45

Сообщение от sys_beginner

Но так же получается избыточно...

sys_beginner, тут уже как только не объясняли, а Вы то ли не читаете, то ли не вдумываетесь.
Ещё раз:
Шаблон это информация времени компиляции. Он служит для создания кода при инстанциировании. Это значит, что если Вы включили шаблон, но не определили ни одного инстанса, компилятор не сгенерит ни одного байта кода для исполнения.
А защиты условными директивами вроде #ifndef решают вопрос душевного равновесия компилятора. Он двойных объявлений на дух не переносит.

nd2 · 26.02.2017, 23:49

IGPIGP, как я понял ТС, шаблон - это только частный случай. Если я его правильно понял, то он выясняет: можно ли так сделать, чтобы подключать любой хедер оин раз в программе, вне зависимости от количества единиц трансляции, в которых данные из этого хедера используются.

IGPIGP · 26.02.2017, 23:52

Сообщение от nd2

чтобы подключать любой хедер

Не думаю. Именно шаблоны не делятся на хедер + реализация и это не даёт возможности избегать двойных перекрестных включений за счёт использования данного разделения. То есть, обобщение шаблонов и простых классов в данном контексте дорого стоит.

@hoggy · 27.02.2017, 00:21

tapochka,
Шаблоны не нарушают ODR.
Они имеют иммунитет против множественного определения
На нарушение ODR здесь налететь легко
Если руки не с того места

Современный с++ не имеет никакого отношения к принципам компиляции/линовки
В частности, все топовые компиляторы умеют "предварительно скомпилированный заголовок",
Который как раз таки решает проблему "многократной компиляции" одного и того же кода
В очередной ед. Трансляции
И стандарт их в этом никак не ограничивает

Добавлено через 1 минуту
sys_beginner,
Откройте для себя precompile header
(Предварительно скомпилированный заголовок)

@tapochka · 27.02.2017, 00:28

Сообщение от hoggy

В частности, все топовые компиляторы умеют "предварительно скомпилированный заголовок"

а можно поподробнее про это... вот у меня хэллоуворлд на 5 строк... где там precompiled header?

@hoggy · 27.02.2017, 00:34

Сообщение от tapochka

а можно поподробнее про это... вот у меня хэллоуворлд на 5 строк... где там precompiled header?

http://g.zeos.in/?q=%D1%81%2B%... %D0%BA&m=1

nd2 · 27.02.2017, 00:35

Сообщение от tapochka

где там precompiled header?

Среда какая?

@tapochka · 27.02.2017, 00:35

hoggy, ну это как то не красиво так отвечать...

nd2, ну, допустим, vim и gcc

@hoggy · 27.02.2017, 00:40

tapochka,
Предлагаете сюда текст скопипастить?

nd2 · 27.02.2017, 00:43

Сообщение от tapochka

ну, допустим, vim и gcc

Это же не среда. Как там настройки делать - без понятия. Google в помощь.

@tapochka · 27.02.2017, 00:45

hoggy, та не, зачем... просто казалось, здесь публика все-таки дружелюбнее лора или говнокода.ру

Добавлено через 1 минуту
nd2, ну было сказано, что

все топовые компиляторы умеют "предварительно скомпилированный заголовок"

, а gcc содержит g++... вот я и спросил где там этот самый заголовок

nd2 · 27.02.2017, 00:46

Сообщение от tapochka

gcc

https://ru.wikipedia.org/wiki/... %D0%B8#GCC

@tapochka · 27.02.2017, 00:49

nd2, ну так про это я знал) я думал имелось ввиду, что какие-то заголовки априори в некий precompiled header засовываются... видимо не так понял ответ

@Undisputed · 27.02.2017, 10:46 **[ТС]**

Сообщение от nd2

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

Не совсем так. Возможно я не правильно изложил суть. Смотрю в основном акцент ответов делается на ускорение процесса компиляции. Меня же волнует немного другое, а именно:

1. Есть std::map
2. Насколько я понимаю в каждую единицу трансляции он включается отдельно
3. Включение этого файла в единицу трансляции означает что программный код этой самой единицы трансляции увеличивается на + "исходный код map" (надеюсь понятно что имеется ввиду)
4. Ввиду того что каждая единица трансляции компилируется независимо друг от друга, происходит дублирование исходного кода std::map. На каждую единицу трансляции - повторяется исходный код map.
5. Мне интересно можно ли этого как нибудь избежать (и нужно ли?)
6. Если избежать на данный момент не получается, то может ли такое дублирование замедлить выполнение программы?

Добавлено через 2 минуты
То есть в первую очередь меня волнует скорость. В данный момент думаю что генерируется оптимальный машинный код в котором эти вопросы дублирования уже разрулены и остаются лишь команды созданные оптимальным способом для их выполнения.

Добавлено через 1 минуту
Что мне прочитать что бы таких глупых вопросов на эту тему не возникало?

Новые блоги и статьи Все статьи Все блоги /
Знаете, от чего появляется стресс? kumehtar 15.07.2026 Стресс появляется оттого, что вы, зная как поступить правильно, делаете наоборот. Ларри Уингет	Нас бьют, а мы крепчаем? Какая чушь! kumehtar 15.07.2026 Вот это вот бытующее мнение, что человек меняется только под действием проблем, всегда считал вредоносным. Поверь, от проблем у людей появляются не изменения, а нервное расстройство и ПТСР. А. . .	сукцессия 29. Переход от одних деревьев на другие делать более или менее вероятностным? anaschu 12.07.2026 Насколько смена типов микоризы — исключительное событие в двухвековой сукцессии? Оценка вероятности в пространстве параметров В текущей версии модели успешно реализован ключевой механизм. . .	сукцессия 27. Думаю, как переделывать уже написанную статью с планами на сукцессию. anaschu 12.07.2026 Анализ соответствия модели требованиям Реализованные компоненты: Механизм закисления почвы через протонную помпу Конкуренция между типами микориз pH как триггер сукцессии C/ P соотношение. . .
Сукцессия 26. Мат модель создана. anaschu 12.07.2026 Модель смены растительных сукцессий посредством управления грибами работает внутри небольшой ячейки почвы, восстанавливающейся после пожара, где ненадолго бывшее царство хвойных снова захватили. . .	Решил проблему с ошибкой пагинации сообщений с сервера на алгоритме обхода дерева "Эстафета хвоста". Hrethgir 12.07.2026 Проблема была в том, что удалялась именно новая кнопка, а не старая. Ни один ИИ не обнаружил это, а сам я смог только когда с работой стало попроще и когда заставил работать будущее автономное. . .	сукцессия 25. Хронология ошибок anaschu 12.07.2026 # От 50-тонного гриба до устойчивого леса: хроника ошибок при построении модели вековой сукцессии микоризы ## О чём эта статья В процессе построения ОДУ-модели (система дифференциальных. . .	сукцессия 24. Промежуточное общее описание модели anaschu 12.07.2026 Хендофф: модель АМ→ЭКМ сукцессии микоризы (ризосфера, 50 лет) Содержание проекта Симуляция вековой (50 лет) экологической сукцессии в почве леса Основные участники: АМ-гриб, ЭКМ-гриб,. . .

@Undisputed 901 / 478 / 93 Регистрация: 10.06.2014 Сообщений: 2,700
	26.02.2017, 23:26 [ТС]
	nd2, Но так же получается избыточно... то есть исходный файл насколько я понимаю становится большим из за дублирования реализации map-а 0

@artiandr68 0 / 0 / 0 Регистрация: 22.02.2017 Сообщений: 10
	26.02.2017, 23:31
	Привет,тут как нибудь можно писать личные сообщения? У меня есть вопрос к тебе,если уделишь минутку ,буду благодарен. 0

nd2 3438 / 2817 / 1249 Регистрация: 29.01.2016 Сообщений: 9,430
	26.02.2017, 23:49
	IGPIGP, как я понял ТС, шаблон - это только частный случай. Если я его правильно понял, то он выясняет: можно ли так сделать, чтобы подключать любой хедер оин раз в программе, вне зависимости от количества единиц трансляции, в которых данные из этого хедера используются. 1

@hoggy 8973 / 4319 / 960 Регистрация: 15.11.2014 Сообщений: 9,760
	27.02.2017, 00:21
	tapochka, Шаблоны не нарушают ODR. Они имеют иммунитет против множественного определения На нарушение ODR здесь налететь легко Если руки не с того места Современный с++ не имеет никакого отношения к принципам компиляции/линовки В частности, все топовые компиляторы умеют "предварительно скомпилированный заголовок", Который как раз таки решает проблему "многократной компиляции" одного и того же кода В очередной ед. Трансляции И стандарт их в этом никак не ограничивает Добавлено через 1 минуту sys_beginner, Откройте для себя precompile header (Предварительно скомпилированный заголовок) 1

@tapochka 42 / 42 / 17 Регистрация: 25.04.2014 Сообщений: 499
	27.02.2017, 00:35
	hoggy, ну это как то не красиво так отвечать... nd2, ну, допустим, vim и gcc 0

@hoggy 8973 / 4319 / 960 Регистрация: 15.11.2014 Сообщений: 9,760
	27.02.2017, 00:40
	tapochka, Предлагаете сюда текст скопипастить? 0

@tapochka 42 / 42 / 17 Регистрация: 25.04.2014 Сообщений: 499
	27.02.2017, 00:49
	nd2, ну так про это я знал) я думал имелось ввиду, что какие-то заголовки априори в некий precompiled header засовываются... видимо не так понял ответ 0