如何在不重复模板参数(并且不使用宏)的情况下从模板基类继承构造函数:
例如,这不起作用(使用 GCC 4.8):
template <typename T>
struct base {};
template <typename U>
struct derived : base<U> {
using base::base;
};
如果我重复基类的模板参数,它确实有效:
template <typename T>
struct base {};
template <typename U>
struct derived : base<U> {
using base<U>::base;
};
问题是“U”可能是非常复杂的东西,这很烦人并且容易重复错误。例如,这是我最初的激励示例之一:
#include <boost/multi_index_container.hpp>
#include <boost/multi_index/key_extractors.hpp>
#include <boost/multi_index/ordered_index.hpp>
#include <boost/multi_index/sequenced_index.hpp>
using namespace boost::multi_index;
struct as_list_tag {};
struct as_set_tag {};
template <typename T>
struct unique_list : multi_index_container <
T,
indexed_by <
sequenced<tag<as_list_tag>>,
ordered_unique<tag<as_set_tag>, identity<T>>
>
> {
using multi_index_container <
T,
indexed_by <
sequenced<tag<as_list_tag>>,
ordered_unique<tag<as_set_tag>, identity<T>>
>
>
::multi_index_container;
using as_list = as_list_tag;
using as_set = as_set_tag ;
};
我最终通过使用宏解决了这个问题:
#define MAKE_UNIQUE_LIST(template_params...)\
template <typename T>\
struct unique_list : multi_index_container template_params\
{\
using multi_index_container template_params ::multi_index_container;\
using as_list = as_list_tag;\
using as_set = as_set_tag ;\
};
MAKE_UNIQUE_LIST(<
T,
indexed_by <
sequenced<tag<as_list_tag>>,
ordered_unique<tag<as_set_tag>, identity<T>>
>
>)
#undef MAKE_UNIQUE_LIST
有没有更好的方法来解决这个问题?我缺少一些语法技巧?=)