Как создать экземпляр контейнера, содержащий контейнеры и т.д

@Хулиган · Регистрация: 08.08.2012

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

Добрый вечер! как это можно сделать, не создавая вспомогательных классов?!

C++
1
std::map<int, std::map<int, std::map<int, ...> > >  coll;

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

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

@DrOffset · 21.05.2015, 23:12

Хулиган, Имхо, вопрос задан непонятно, поэтому никто не отвечает.
Например, не понятно что значит в твоем понимании "не создавая вспомогательных классов".

Рискну предположить, что нужно нечто такое (С++11):

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
    std::map<int, std::map<int, std::map<int, int> > >  coll {
       { 1
       , std::map<int, std::map<int, int> > {
            { 1, std::map<int, int>{ { 1, 2}, { 2, 4 } } }
          , { 2, std::map<int, int>{ { 1, 2}, { 2, 4 } } }
         }
       }
     , { 2
       , std::map<int, std::map<int, int> > {
            { 1, std::map<int, int>{ { 1, 2}, { 2, 4 } } }
          , { 2, std::map<int, int>{ { 1, 2}, { 2, 4 } } }
         }
       }
    };

@Nosey · 21.05.2015, 23:13

Хулиган, он у вас уже создан вот этим:

C++
1
std::map<int, std::map<int, std::map<int, int> > > coll;

@Хулиган · 21.05.2015, 23:16 **[ТС]**

DrOffset, ну типо связный список из MAPов, по ключу можно выбрать ветку следующих map. Реальной задачи нет, просто стало интересно возможно ли такое?

@Nosey · 21.05.2015, 23:19

Хулиган, В С/С++ всё возможно, и 40-мерные массивы/вектора/контейнеры - не исключение.
Смотрите у DrOffset заполненный экзампл.

@DrOffset · 21.05.2015, 23:20

Сообщение от Хулиган

Реальной задачи нет, просто стало интересно возможно ли такое?

Ну да. Возможно.

@Хулиган · 21.05.2015, 23:24 **[ТС]**

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

Ну да. Возможно.

Nosey, возможно я неправильно описал задачу. В приведенном примере 3 уровня контейнеров, последний

C++
1
map<int, int>

а я хотел

C++
1
map<int, map<int, map<и т.д.>>

т.е можно достигнуть абсолютно любой глубины.

@Nosey · 21.05.2015, 23:33

Сообщение от Хулиган

т.е можно достигнуть абсолютно любой глубины.

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

Вы можете описать статически любую вложенность, но не бесконечную и явно определённую на этапе компиляции.
Тут можно и шаблонами побаловаться если лень N вложенных мапов писать. Но N всё равно должна быть доступна на этапе компиляции.

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

@Хулиган · 21.05.2015, 23:36 **[ТС]**

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

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

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

@DrOffset · 21.05.2015, 23:44

Сообщение от Хулиган

т.е можно достигнуть абсолютно любой глубины.

Речь о том, чтобы рекурсивно проинстанцировать тип самим собой?
Напрямую нельзя.
Только через вспомогательный тип.

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

C++
1
2
3
4
5
6
7
8
9
template <typename Key>
struct map_type
{
    std::map<Key, map_type *> value;
};
 
//......
 
map_type<int> coll;

@Хулиган · 21.05.2015, 23:47 **[ТС]**

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

Речь о том, чтобы рекурсивно проинстанцировать тип самим собой?

да это оно. а я думал что это все таки возможно, ну и ладно

@Nosey · 21.05.2015, 23:50

Сообщение от Хулиган

да это оно. а я думал что это все таки возможно, ну и ладно

Возможно, но только на определённую глубину, к тому же не стоит большую глубину делать

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
template<int N>
struct MagicMap
{
    typedef std::map<int, typename MagicMap<N - 1>::type> type;
};
 
template<>
struct MagicMap<0>
{
    typedef std::map<int, int> type;
};
 
int main()
{
    MagicMap<10>::type map;
    return 0;
}

@Хулиган · 21.05.2015, 23:53 **[ТС]**

Nosey, спасибо, такой вариант я знаю. Но в описании темы я написал же НЕ СОЗДАВАЯ ВСПОМОГАТЕЛЬНЫХ КЛАССОВ!

@Nosey · 21.05.2015, 23:57

Сообщение от Хулиган

Nosey, спасибо, такой вариант я знаю. Но в описании темы я написал же НЕ СОЗДАВАЯ ВСПОМОГАТЕЛЬНЫХ КЛАССОВ!

Понял, откланиваюсь, ну и кроме как моим и DrOffset способом сделать нельзя.

Не по теме:

Осталось лишь решить философский вопрос считать ли typedef вспомогательным классом :):)

@DrOffset · 21.05.2015, 23:59

Сообщение от Хулиган

а я думал что это все таки возможно

Имя типа должно быть доступно, чтобы на него можно было ссылаться.
В случае с шаблоном этого не происходит. Т.к. чтобы сформировать тип, нам нужно подставить аргументы, но один из аргументов - это тот же самый еще не сформированный тип. Получается логическая ловушка.
Чтобы разорвать ее, приходится вводить еще одну сущность, с которой все начнется и которая уже имеет определенный тип.

@Хулиган · 22.05.2015, 00:05 **[ТС]**

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

Получается логическая ловушка.

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

@DrOffset · 22.05.2015, 00:11

Сообщение от Хулиган

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

Не очень понял о чем вопрос.
В моем примере на разные уровни мы запихиваем указатель на один и тот же класс, но с разными значениями. Получается дерево.
Работает это потому, что map_type - это готовый тип, когда мы подставили int в качестве ключа. Поэтому мы можем взять указатель на него и поместить в map. map при этом тоже становится законченным типом, т.к. все аргументы шаблона определены строго.

@Хулиган · 22.05.2015, 00:23 **[ТС]**

DrOffset, все верно, то я просто немного затупил

@gray_fox · 23.05.2015, 02:41

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

@Хулиган · 23.05.2015, 10:10 **[ТС]**

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

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

если нетрудно приведите пример

Новые блоги и статьи Все статьи Все блоги /
Модульный подход на примере 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 На первой гифке отладочные линии отключены, а на второй включены:. . .	SDL3 для Web (WebAssembly): Идентификация объектов на Box2D v3 - использование userData и событий коллизий 8Observer8 02.03.2026 Содержание блога Финальная демка в браузере. Итоговый код: finish-collision-events-sdl3-c. zip Сканируйте QR-код на мобильном и вы увидите, что появится джойстик для управления главным героем. . . .
Реалии Hrethgir 01.03.2026 Нет, я не закончил до сих пор симулятор. Эта задача сложнее. Не получилось уйти в плавсостав, но оно и к лучшему, возможно. Точнее получалось - но сварщиком в палубную команду, а это значит, в моём. . .	Ритм жизни kumehtar 27.02.2026 Иногда приходится жить в ритме, где дел становится всё больше, а вовлечения в происходящее — всё меньше. Плотный график не даёт вниманию закрепиться ни на одном событии. Утро начинается с быстрых,. . .	SDL3 для Web (WebAssembly): Сборка библиотек: SDL3, Box2D, FreeType, SDL3_ttf, SDL3_mixer и SDL3_image из исходников с помощью CMake и Emscripten 8Observer8 27.02.2026 Недавно вышла версия 3. 4. 2 библиотеки SDL3. На странице официальной релиза доступны исходники, готовые DLL (для x86, x64, arm64), а также библиотеки для разработки под Android, MinGW и Visual Studio. . . .	SDL3 для Web (WebAssembly): Реализация движения на Box2D v3 - трение и коллизии с повёрнутыми стенами 8Observer8 20.02.2026 Содержание блога Box2D позволяет легко создать главного героя, который не проходит сквозь стены и перемещается с заданным трением о препятствия, которые можно располагать под углом, как верхнее. . .

@Хулиган 88 / 83 / 21 Регистрация: 08.08.2012 Сообщений: 737
	21.05.2015, 23:16 [ТС]
	DrOffset, ну типо связный список из MAPов, по ключу можно выбрать ветку следующих map. Реальной задачи нет, просто стало интересно возможно ли такое? 0

@Nosey 1379 / 406 / 144 Регистрация: 22.10.2014 Сообщений: 872
	21.05.2015, 23:19
	Хулиган, В С/С++ всё возможно, и 40-мерные массивы/вектора/контейнеры - не исключение. Смотрите у DrOffset заполненный экзампл. 0

@Хулиган 88 / 83 / 21 Регистрация: 08.08.2012 Сообщений: 737
	21.05.2015, 23:53 [ТС]
	Nosey, спасибо, такой вариант я знаю. Но в описании темы я написал же НЕ СОЗДАВАЯ ВСПОМОГАТЕЛЬНЫХ КЛАССОВ! 0

@Хулиган 88 / 83 / 21 Регистрация: 08.08.2012 Сообщений: 737
	22.05.2015, 00:23 [ТС]
	DrOffset, все верно, то я просто немного затупил 0

@gray_fox What a waste! 1610 / 1302 / 180 Регистрация: 21.04.2012 Сообщений: 2,733
	23.05.2015, 02:41
	DrOffset, ну так то некоторые шаблоны можно инстанциировать неполным типом, и тогда возможны рекурсивные типы данных без всяких указателей. 0