简而言之：我想从可变参数模板参数中提取各种选项，但不仅通过标签，还通过这些参数的索引，这些参数没有known标签。我喜欢 boost 中的方法（例如heap or lockfree政策），但希望使其兼容STL容器- 分配器参数。
Preface
我目前正在为具有以下签名的可变大小记录/对象的队列/缓冲区编写模板：
// current:
template <typename R = byte, class Alloc = std::allocator<byte>,
class... Opts> class rqueue;
// what I want:
template <class... Opts> class rqueue;
我有一些其他可能的选择，我是这样描述的：
namespace tag {
struct allocator {}; ///< specify allocator for data storage
struct virtual_offset {}; ///< manage offset in virtual memory
struct fill_empty {}; ///< fill empty space (security or reconstruction)
struct reconstructible {}; ///< fill empty and leave one slot between wp&rp
} namespace opt {
/// allocator for data storage
template <class Alloc> struct allocator: tag::allocator {
typedef Alloc type; };
/// type for offset in virtual memory
template <class Off> struct virtual_offset: tag::virtual_offset {
typedef Off type; };
/// type and value to fill empty space
template <class T, T V> struct fill_empty: tag::fill_empty {
typedef T type; static constexpr T value = V; };
/// make state pointers reconstructible by leaving one slot between wp&rp
template <class T, T V> struct reconstructible
: tag::reconstructible, fill_empty<T, V> {};
}
Usage
// basic queue for custom record class
rqueue<record>;
// advanced record storage that can be written to a file and reconstructed back
rqueue<opt::virtual_offset<unsigned>, opt::reconstructible<byte,0xFF>>;
// specialization for strings with custom allocator
rqueue<string, myalloc>;
// alternative to above
rqueue<const char*, opt::allocator<myalloc>>;
选项包助手
namespace opt {
template<class... Opts> struct bind {
template<class Tag> static constexpr bool has() {
return false; }
template<class Tag, class Default = void>
using get = Default; };
template<class First, class... More> struct bind<First, More...> {
private:
template<class Tag> static constexpr bool first() {
return std::is_same<Tag, First>::value
|| std::is_base_of<Tag, First>::value; }
template<class Tag, class Default, bool> struct get_ {
typedef typename bind<More...>::template get<Tag, Default> type; };
template<class Tag, class Default> struct get_<Tag, Default, true> {
typedef First type; };
public:
template<class Tag> static constexpr bool has() {
return first<Tag>() || bind<More...>::template has<Tag>(); }
template<class Tag, class Default = void>
using get = typename get_<Tag, Default, first<Tag>()>::type; };
}
它并不像Boost参数库，但完成了工作...到目前为止，包含未标记的必需参数和标记的可选参数列表。
测试代码
cout << boolalpha;
typedef opt::bind<
opt::virtual_offset<unsigned>,
opt::reconstructible<char,0>
> opts;
cout << opts::has<tag::virtual_offset>() << endl;
cout << opts::has<tag::fill_empty>() << endl;
cout << opts::has<tag::reconstructible>() << endl;
cout << typeid(opts::get<tag::virtual_offset>::type).name() << endl;
cout << typeid(opts::get<tag::fill_empty>::type).name() << endl;
cout << (int)opts::get<tag::fill_empty>::value << endl;
typedef opt::bind<> no;
cout << no::has<tag::virtual_offset>() << endl;
cout << no::has<tag::fill_empty>() << endl;
cout << no::has<tag::reconstructible>() << endl;
cout << typeid(no::get<tag::virtual_offset>).name() << endl;
typedef opt::bind<opt::fill_empty<char,0>> one;
cout << one::has<tag::virtual_offset>() << endl;
cout << one::has<tag::fill_empty>() << endl;
cout << one::has<tag::reconstructible>() << endl;
cout << typeid(one::get<tag::virtual_offset>).name() << endl;
问题
我正在搜索复杂的升压参数/元编程库并以metafunctions它可以完成与我的小帮手相同的工作（当然还有更多），但没有找到解决方案按索引提取未标记的选项。
- 我错过了吗？它在某个地方吗？
- 你能为我提供一些不同的解决方案吗？
也许我应该忘记它并坚持使用这些标签，或者编写一些复杂的帮助程序过滤掉所有标记的选项并访问索引留下的选项...但在我投降或走很长的路之前，这里是一个询问的好地方:)
Note:如果您引用某个库，请留下如何使用它的描述。谢谢。
