0

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

Шаблон шаблона параметризируется шаблоном шаблона.

4
  • Вопрос нормально сформируй..
    – E1mir
    Commented 14 апр. 2017 в 12:37
  • 1
    Что вас не устраивает в поставленном мною вопросе? Commented 14 апр. 2017 в 12:41
  • 1
    vector<vector<map<int,map<char,set<vector<string>>>>>> Хотя нет, это перебор :) Вот: vector<vector<map<string,set<int>>>>... Эдакая матрица, в которой элементами являются отображения названий контор на множества номеров телефонов в них :)
    – Harry
    Commented 14 апр. 2017 в 12:51
  • Есть ли смысл такое делать в компилируемом языке, а не в бд? Commented 14 апр. 2017 в 13:36

1 ответ 1

0

Вот, что удалось придумать (не делайте так на практике):

Предположим, нужно получить пару списочных объектов, которые сами имеют разные типы, но всегда хранят объекты одного типа (например, vector<int> и list<int>) (см. ListPair ниже). Для этого нужно передавать шаблонный шаблонный параметр и конкретизировать его шаблонным параметром. При это в main std::vector является шаблоном, ListPair - шаблоном шаблона, ListPair<std::vector, std::list, int> - конкретизацией шаблона шаблона.

Далее, если нужно получить подобным образом пару таких пар, сам ListPair будет передаваться как шаблонный шаблонный параметр, и конкретизироваться шаблонными шаблонными параметрами (см. ListPairPair). Тогда в main ListPairPair является шаблоном шаблона, ListPair является шаблоном шаблона, получается, что шаблон шаблона конкретизируется шаблоном шаблона (и еще шаблоном (vector и list) и не шаблонным типом double)

#include <iostream>
#include <iterator>
#include <tuple>
#include <list>
template<template<class...> class List1, 
template<class...> class List2, 
class Arg>
struct ListPair{
    List1<Arg> list1;
    List2<Arg> list2;
}; 

template<
    template<template<class...>class,
             template<class...>class, 
             class> class Pair,    
    template<class...>class List1, 
    template<class...>class List2,
    class T>
struct ListPairPair{
    Pair<List1, List2, T> pair1;
    Pair<List2, List1, T> pair2; // Типы List1 и List2 меняются местами
}; 

int main(){
   ListPair<std::vector, std::list, int> listPair;
   listPair.list1 = {4, 7, 1, 6}; // std::vector
   listPair.list2 = {1, 3, 5}; //  std::list
....
   ListPairPair<ListPair, std::vector, std::list, double> listPairPair;
   listPairPair.pair1 = listPair; // {std::vector, std::list}
   listPairPair.pair2.list1 = {1, 3, 6}; //  std::list
   listPairPair.pair2.list2 = {6, 3, 1, 18}; // std::vector
....
}

Реального примера с ходу придумать не могу, предположительно, может применяться при работе с кортежами (внутри библиотек). Можно попробовать поискать в исходниках boost::hana.

Ваш ответ

Нажимая «Отправить ответ», вы соглашаетесь с условиями пользования и подтверждаете, что прочитали политику конфиденциальности.

Всё ещё ищете ответ? Посмотрите другие вопросы с метками или задайте свой вопрос.