Использование указателей на контейнеры 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?

IGPIGP · 27.02.2017, 10:59

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

на + "исходный код map" (надеюсь понятно что имеется ввиду)

Это неверно и поэтому не может быть понятно.

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

Шаблон это информация времени компиляции. Он служит для создания кода при инстанциировании. Это значит, что если Вы включили шаблон, но не определили ни одного инстанса, компилятор не сгенерит ни одного байта кода для исполнения.

Код генерит инстанс. Если у Вас есть инстанс то он генерит код. Если у Вас есть инстанс, но вы не хотите чтобы он генерил код, - не компилируйте.
У Вас момент понимания того, что из себя представляет шаблон как таковой, проходит на удивление бурно и болезненно. Это бывает. Успокойтесь и почитайте. В том числе и то, что Вам тут написали.

@Undisputed · 27.02.2017, 11:02 **[ТС]**

IGPIGP,
аа... я понял
то есть пофиг сколько раз включается реализация (естественно не в одну ЕТ)
в конечном счете исходный код зависит от того был ли создан объект(ы)
а ответ оказался прост... спасибо!

IGPIGP · 27.02.2017, 11:12

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

аа... я понял

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

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

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

то есть пофиг сколько раз включается реализация

как я понимаю, шаблон не есть реализация. Шаблон это чертеж реализации. Когда Вы вручную специализируете шаблон вот тогда Вы пишете реализацию. Иначе это сделает компилятор. Он реализует и сразу генерит код. Этого не видно.
Если честно, то в Вашем вопросе есть интересные моменты. Что например происходит если в шаблоне есть определения не шаблонных методов? Я предполагаю, что оно должно игнорироваться пока нет инстанциирования, но интересно было бы услышать.
Во всяком случае сам стараюсь не совмещать. От греха.

@Undisputed · 27.02.2017, 11:29 **[ТС]**

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

очень часто бывает так, что тем кто понимает, что происходит в коде уже сложно понять как это может быть непонятно.

Есть такой момент

)

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

Что например происходит если в шаблоне есть определения не шаблонных методов? Я предполагаю, что оно должно игнорироваться пока нет инстанциирования, но интересно было бы услышать.

В идеале я думаю должно генериться только необходимое для того что бы работала программа без "лишнего" кода.
Тут наверное уже все зависит от того насколько умен компилятор... может в доках компиляторов написано? Если кто нибудь знает прошу дать ссылку на этот момент в GCC/Clang

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

Во всяком случае сам стараюсь не совмещать. От греха.

А как? Вдруг по логике это требуется? Как я понимаю вы имеете ввиду что то в таком духе?

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
template<typename T>
struct Foo
{
    void bar(T arg)
    {
    
    }
    //сомнительная карта
    void baz()
    {
    
    }
};

Добавлено через 5 минут
Тогда я думаю все останется как есть просто в зависимости от T будет создано столько bar-ов сколько было для него типов<T>. А baz как был одним так и останется. Ну и будет сгенерирован соответствующий код для выполнения тех методов которые были вызваны.

@GbaLog- · 27.02.2017, 11:42

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

что то в таком духе

А в чём смысл? Компилятор, в данном случае, не сгенерирует ни байта под этот класс, пока не будет инстанса. Будет инстанс, будет сгенерирован код для всех методов, в которых шаблоны юзаются. Вообще не понял, о чём товарищ IGPIGP говорит. Код генерируется только если был инстанс.
Другой вопрос, что будет в этом коде, и сгенерируется ли для foo() код.

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
struct A
{
  template<typename>
  void foo() {}
  
  void bar() {}
};
 
int main()
{
  A a;
  a.bar();
}

Думаю, что нет, ведь мы не вызывали функцию foo, а это значит, что инстанса не было.

Ну, это моё видение, как оно на самом деле, я могу только догадываться.

@Undisputed · 27.02.2017, 11:48 **[ТС]**

Сообщение от GbaLog-

Думаю, что нет, ведь мы не вызывали функцию foo, а это значит, что инстанса не было

Инстанс (он же объект) - есть.
Наверное просто код foo будет выброшен компилятором, будто его и не писали

IGPIGP · 27.02.2017, 14:06

Сообщение от GbaLog-

Вообще не понял, о чём товарищ IGPIGP говорит.

Я говорю о том, что:

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
#include <iostream> 
using namespace std; 
template<typename T>
struct A{
void foo(){cout<<"hello word!"<<endl;}
static void sfoo(){cout<<"Hello word!"<<endl;}
};
 
void main()
{
    A<char>::sfoo();//тут есть инстанс или нет? Объекта нет ведь?
    A<int>ia;
    ia.foo();
 
cout<<endl;
cin.get();   
}

@GbaLog- · 27.02.2017, 14:13

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

Я говорю о том, что

А вот со статическими функциями и самому интересно.

Скорее всего инстанс происходит для функции, а не для класса, ведь статическая функция - практически обычная функция, просто помещенная в класс.
Ждем экспертов.

IGPIGP · 27.02.2017, 14:21

Сообщение от GbaLog-

практически обычная функция, просто помещенная в класс

Она может и реально зависеть от типов-параметров и скорее всего воспринимается как шаблонная. Смотрите:

C++
1
A::sfoo();

не сработает.
Между инстансом и объектом есть разница, как мне кажется. Вот почему мне всегда было непонятно почему шаблоны называют классами.

Сообщение от GbaLog-

Ждем экспертов

Согласен.

@GbaLog- · 27.02.2017, 14:30

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

скорее всего воспринимается как шаблонная.

Ну да, я и имел ввиду обычную шаблонную функцию.

@hoggy · 27.02.2017, 16:21

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

5. Мне интересно можно ли этого как нибудь избежать (и нужно ли?)

см #30

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

может ли такое дублирование замедлить выполнение программы?

нет.

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

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

см #32

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

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

Что например происходит если в шаблоне есть определения не шаблонных методов? Я предполагаю, что оно должно игнорироваться пока нет инстанциирования, но интересно было бы услышать.

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

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

Сообщение от GbaLog-

и сгенерируется ли для foo() код.

шаблонно-функции-члены инстанцируются только по факту использования.

во времена с++03 это свойство шаблонов использовалось,
для имитации функций с переменным количеством аргументов.

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

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

A<char>::sfoo();//тут есть инстанс или нет? Объекта нет ведь?

есть.

шаблон инстанцируется для типа char

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

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

Инстанс (он же объект) - есть.

инстанс шаблона - это не объект, а класс (или функция/etc),
который компилятор генерирует по шаблону,
на основе формальных параметров,
когда видит какими именно типами этот шаблон параметризуется

Новые блоги и статьи Все статьи Все блоги /
сукцессия 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 лет) экологической сукцессии в почве леса Основные участники: АМ-гриб, ЭКМ-гриб,. . .	сукцессия 23. Более физиологичная физиология, более экологичная экология, более диффурные диффуры. anaschu 12.07.2026 Что реально нашли и починили за эти 5 часов Правило Линдемана (КПД конверсии сахара в тело, kEff) — раньше 100% полученного углерода шло прямо в биомассу гриба; теперь только kEff=0. 5 (после. . .	сукцессия 22. От артефактов к физиологии: калибровка агентной модели грибной сукцессии для воспроизведения сезонной динамики и pH-плато anaschu 11.07.2026 Аннотация В данной работе представлена калибровка агентной модели динамики грибных сообществ (fungal-succession), направленная на устранение нефизичных артефактов (коллапс биомассы, мгновенное. . .

@Undisputed 901 / 478 / 93 Регистрация: 10.06.2014 Сообщений: 2,700
	27.02.2017, 11:02 [ТС]
	IGPIGP, аа... я понял то есть пофиг сколько раз включается реализация (естественно не в одну ЕТ) в конечном счете исходный код зависит от того был ли создан объект(ы) а ответ оказался прост... спасибо! 1

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

Решение