Использование указателей на контейнеры 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),
который компилятор генерирует по шаблону,
на основе формальных параметров,
когда видит какими именно типами этот шаблон параметризуется

Новые блоги и статьи Все статьи Все блоги /
Часы электронные Uhbif79 12.08.2026 Выкладываю программу часов. Программа позволяет: 1. Использовать системное время и дату, 2. Есть возможность вводить время и дату вручную. 3. Реализованы 2 будильника: начало и конец рабочего дня. . . .	Часы с будильником на основе класса QLCDNumber Uhbif79 12.08.2026 Всем добрый день, выкладываю программу часов с будильником на основе класса QLCDNumber. Здесь я пробовал самостоятельно создавал классы, впервые столкнулся с видимостью переменной одного класса из. . .	Установка MinGW GCC 16.2 и CMake 8Observer8 10.08.2026 VK Видео: https:/ / vkvideo. ru/ video-240781534_456239017 YouTube: eY5-5PyI9NM Текстовая версия	Неделя из жизни имитационной модели склада: мои кривые руки растут, откуда надо anaschu 10.08.2026 Неделя из жизни имитационной модели склада: как я почти написал неправильную логику и что с этим делать Работаю сейчас над учебно-рабочим проектом: строю в AnyLogic имитационную модель процессов. . .
Калькулятор для расчета родства russiannick 07.08.2026 1. Задача: Создать калькулятор для расчета родства. Родственных связей существует 8 ступеней, такие как: p - отец P - мать q - муж Q - жена b - брат B - сестра s - сын S - дочь	Мир по моей воле kumehtar 07.08.2026 Когда-то кажется, что всё просто. Ты весь такой светлый. Причиняешь добро. Борешься за справедливость в этом тёмном мире. Потом начинаешь замечать одну неприятную вещь. Почти каждый хороший. . .	Кредитный калькулятор Maks 05.08.2026 Решение задачи по прикладной информатике средствами 1С. Задача: Напишите приложение-калькулятор, которое помогает рассчитывать параметры кредита для аннуитетного и дифференцированного видов. . .	У нас сейчас поговорку "Опять 25" нужно переделать на "Опять +35". kumehtar 04.08.2026 С ностальгией вспоминаю времена моего детства, когда у нас и правда +25 - была максимальная температура летом. Раньше +25 °C реально казались вершиной жары, когда можно было весь день пропадать на. . .

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

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

Решение