Шаблоны в С++ и если бы их не было

@Optimus11 · Регистрация: 10.01.2017

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

Здравствуйте,

Подскажите, ну предположим есть самописный шаблонный класс vector - my_vector_class<>.

Шаблоны позволяют удобно указывать тип вектора:

C++
1
2
3
4
//условно
my_vector_class<int>my_vec_int;
my_vector_class<my_struct_1>my_vec_struct_1;
my_vector_class<my_struct_2>my_vec_struct_2;

Я правильно понимаю, что если бы не было шаблонов, то для каждого типа int, my_struct_1, my_struct_2 - приходилось бы создавать копию файла с классом внутри кода которого приписывался бы конкретный тип ?

@Kuzia domovenok · 18.11.2022, 15:00

да

Добавлено через 3 минуты
Возможно может можно это решить какими-нибудь дефайнами на препроцессоре, но я не знаю как
в порядке бреда

C++
1
2
3
4
5
6
#define USED_TYPE int
#define CLASS_NAME vector_int
#include "my_vector.h"
#define USED_TYPE char
#define CLASS_NAME vector_char
#include "my_vector.h"

Добавлено через 45 секунд
проблема в том, что неизвестно с какими дефайнами потом компилировать my_vector.cpp

@SmallEvil · 18.11.2022, 15:02

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

Я правильно понимаю, что если бы не было шаблонов, то для каждого типа int, my_struct_1, my_struct_2 - приходилось бы создавать копию файла с классом внутри кода которого приписывался бы конкретный тип ?

Это не единственный вариант.
в Си в полную юзают void*

@Optimus11 · 18.11.2022, 15:14 **[ТС]**

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

Это не единственный вариант.
в Си в полную юзают void*

Но, как в данном случае указатель на void решает проблему ? Указатель на что именно нужно передать в класс вектора ?

@Kuzia domovenok · 18.11.2022, 15:19

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

в Си в полную юзают void*

это если нужно эмулировать полиморфизм

@Optimus11 · 18.11.2022, 15:20 **[ТС]**

Видимо так: предположим тип вектора - это какая то структура.

Получается при объявлении класса вектора нужно указать санчала размер самого типа. То есть объявить саму структуру, и передать его sizeof() в класс.
А при push_back`е - уже передать указатель на эту структуру.

@GbaLog- · 18.11.2022, 15:23

Сообщение от Kuzia domovenok

проблема в том, что неизвестно с какими дефайнами потом компилировать my_vector.cpp

в смысле не понятно?
этот паттерн используют в C.

C++
1
2
3
4
5
6
// vector_int.h
#define TYPE int
#define TYPED_NAME(x) x##_int
#include "vector_template.h"
#undef TYPE
#undef TYPED_NAME

C++
1
2
3
4
5
6
// vector_int.cc
#define TYPE int
#define TYPED_NAME(x) x##_int
#include "vector_template.cc"
#undef TYPE
#undef TYPED_NAME

C++
1
2
3
4
5
6
// vector_template.h
class TYPED_NAME(vector) {
  TYPE* data;
  size_t size;
  // etc...
};

@hoggy · 18.11.2022, 15:47

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

Я правильно понимаю, что если бы не было шаблонов, то для каждого типа int, my_struct_1, my_struct_2 - приходилось бы создавать копию файла с классом внутри кода которого приписывался бы конкретный тип ?

примерно так и есть.
только не обязательно создавать множество файлов.
можно все инстансы запихать в один и тот же файл.

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

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

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

этот паттерн используют в C.

если нужно что-то этакое нагенерить,
то лучше не использовать паттерн: "макро-бесие".

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

в итоге получится файл этак на 10'000 строк,
в который приличным людям лучше не заглядывать.
но зато, если вдруг какая то ошибка,
то компилятор ткнет в обычный код, с нормальными типами,
в котором можно отлаживаться.
а не в непонятную макро-клюкву, с непойми какими типами,
без возможности моральных бряков.

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

Новые блоги и статьи Все статьи Все блоги /
делаю науч статью по влиянию грибов на сукцессию anaschu 13.03.2026 прикрепляю статью	SDL3 для Desktop (MinGW): Создаём пустое окно с нуля для 2D-графики на SDL3, Си и C++ 8Observer8 10.03.2026 Содержание блога Финальные проекты на Си и на C++: hello-sdl3-c. zip hello-sdl3-cpp. zip Результат:	Установка CMake и MinGW 13.1 для сборки С и C++ приложений из консоли и из Qt Creator в EXE 8Observer8 10.03.2026 Содержание блога MinGW - это коллекция инструментов для сборки приложений в EXE. CMake - это система сборки приложений. Здесь описаны базовые шаги для старта программирования с помощью CMake и. . .	Как дизайн сайта влияет на конверсию: 7 решений, которые реально повышают заявки Neotwalker 08.03.2026 Многие до сих пор воспринимают дизайн сайта как “красивую оболочку”. На практике всё иначе: дизайн напрямую влияет на то, оставит человек заявку или уйдёт через несколько секунд. Даже если у вас. . .
Модульная разработка через nuget packages DevAlt 07.03.2026 Сложившийся в . Net-среде способ разработки чаще всего предполагает монорепозиторий в котором находятся все исходники. При создании нового решения, мы просто добавляем нужные проекты и имеем. . .	Модульный подход на примере F# DevAlt 06.03.2026 В блоге дяди Боба наткнулся на такое определение: В этой книге («Подход, основанный на вариантах использования») Ивар утверждает, что архитектура программного обеспечения — это структуры,. . .	Управление камерой с помощью скрипта OrbitControls.js на Three.js: Вращение, зум и панорамирование 8Observer8 05.03.2026 Содержание блога Финальная демка в браузере работает на Desktop и мобильных браузерах. Итоговый код: orbit-controls-threejs-js. zip. Сканируйте QR-код на мобильном. Вращайте камеру одним пальцем,. . .	SDL3 для Web (WebAssembly): Синхронизация спрайтов SDL3 и тел Box2D 8Observer8 04.03.2026 Содержание блога Финальная демка в браузере. Итоговый код: finish-sync-physics-sprites-sdl3-c. zip На первой гифке отладочные линии отключены, а на второй включены:. . .

@Optimus11 -41 / 49 / 5 Регистрация: 10.01.2017 Сообщений: 1,915
	18.11.2022, 15:20 [ТС]
	Видимо так: предположим тип вектора - это какая то структура. Получается при объявлении класса вектора нужно указать санчала размер самого типа. То есть объявить саму структуру, и передать его sizeof() в класс. А при push_back`е - уже передать указатель на эту структуру. 0