Инстанцирование класса шаблоном с std::map с указателем на этот класс

типа так?

http://pastebin.com/H63LXnMr

не совсем. У вас внутри BorNode по харду записан std::unordered_map, я же хочу через шаблоны регулировать, что там будет использоваться std::map || std::unordered_map || чего-там-ещё-юезр-захочет

только там в Bor надо везде вместо char value_type.

я понимаю, но всё равно это не то, что надо. Вообще, то, что я хочу сделать, осуществимо?

а, я понял... я твой код не стал менять, сделал простой примерчик. того, видимо, чего ты хочешь

#include <iostream>
#include <map>
#include <unordered_map>
#include <vector>


template <typename T,
          template <typename, typename> class Map
>
struct node
{
    using map_type = Map<T, node *>;
    map_type map_;
};

template <typename K, typename V>
using unodredr_map = std::unordered_map<K, V>;

template <typename K, typename V>
using black_red_map = std::map<K, V>;

template <typename T,
          template <typename, typename> class Map
>
struct acho_corasic {
    using value_type = T;
    using node_type  = node<T, Map>;
    using map_type   = typename node_type::map_type;
};

int main( )
{
    acho_corasic<int, black_red_map> int_node;
    acho_corasic<char, unodredr_map> char_node;
}

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

Это надо было?

unodredr_map

лол. пардон, писал на коленке.

Ещё ближе, но нет. Также должно выполняться условие кастомизируемости самого Map - то есть мы должны уметь менять std::hash, std::equal_to, std::allocator для std::unordered_map. Для std::map мы должны уметь менять std::less и std::allocator.

Плюс к этому, последним параметром в AhoCorasik должен быть typename ResultCont = std::vector<std::vector<T>>, который также должен быть кастомизируемым.

Я пока набросал вот это:

template <class T, template <class ...> class Map = std::map, class... Rest>
struct BorNode
{
    Map<T, BorNode*, Rest...> links;
};

осталось к этому прикрутить получение ResultCont как последний переданный аргумент в variadic template. То есть мы не должны весь variadic скормить в map - мы должны отправить в map весь variadic template, кроме последнего параметра.

Вы бы вместо того, чтобы показывать потроха того, что у вас не получается, попробовали бы объяснить какой результат и для чего вы хотите получить. Может это все решается гораздо проще, скажем, через специальные классы-trait-ы. Т.е. что-то вроде:

template< typename T >
struct default_aho_corasic_map_traits {
  using type = T;
  using map_type = std::map< T >;
  using result_type = std::vector< std::vector< T > >;
};
template< typename T >
struct default_acho_corasic_hashmap_traits {
  using type = T;
  using map_type = std::unordered_map< T >;
  using result_type = std::vector< std::vector< T > >;
};
...
template< typename TRAITS >
class aho_carasic {
public :
  using type = typename TRAITS::type;
  using map_type = typename TRAITS::map_type;
  using result_type = typename TRAITS::result_type;
...
};

template< typename T >
using aho_carasic_map = aho_carasic< default_aho_carasic_map_traits< T > >;

Ну и пусть себе пользователь затем создает собственные traits-ы (или специализации для ваших traits-ов с нужными ему comparator-ами, allocator-ами и пр.

да, кста. с трейтами сильно проще получится.

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

Так определение типа using black_red_map = std::map<K, V>; и есть кастомизация. сделай другой using с компартором и алокатором.

Смысл то в том, что кастомизация интересна только потенциальному пользователю, и неинтересна внутри самого BorNode. Внутри интересно принять как раз некую сущность, которая примет ключ и значение, а как оно будет реализовано внутри - глубоко пофик. И типа результата туда же, кста.

Спасибо большое. Это ровно то, что требуется в данном случае.

Да, Вы правы. Прошу прощения за невнимательность. Проблема решена. Если кто-то знает ещё более красивые способы, то милости прошу.

Можно принимать не шаблон, а тип, а аргументы пусть подставляет пользователь. Так, например, сделано в std::priority_queue.