专门处理默认模板参数包

假设我已经为STL元组(元组、对)以及STL序列(向量、列表、deque)编写了通用映射函数。现在，我想编写一个全局映射函数，在给定输入类型的情况下调用适当的特殊函数。

我有一些类似的东西

template <typename... Ts>
struct mappable {
static constexpr bool is_instance = false;
};
template <typename... Tuples, typename = require<all<is_stl_tuple, Tuples...>::value>>
struct mappable<Tuples...> {
template <typename Func>
auto map(Func&& f, Tuples&&... ts) {
return tuple::map(std::forward<Func>(f), ts...);
}
static constexpr bool is_instance = true;
};
template <typename... Sequences, typename = require<all<is_stl_sequence, Sequences...>::value>>
struct mappable<Sequences...> {
template <typename Func>
auto map(Func&& f, Sequences&&... seqs) {
return sequence::map(std::forward<Func>(f), seqs...);
}
static constexpr bool is_instance = true;
};
template <typename Func, typename... Ts>
auto map(Func&& f, Ts&&... ts) {
static_assert(mappable<Ts...>::is_instance, "Tried calling map on unsupported types. Mappable arguments must be supplied.");
return mappable<Ts...>::map(std::forward<Func>(f), std::forward<Ts>(ts)...);
}

尽管希望能够自我解释的类型检查功能defs:

// true iff Unary<Ts>::value... == true for at least one Ts
template <template <typename> class Unary, typename... Ts>
struct any;
// true iff Unary<Ts>::value... == true for all Ts
template <template <typename> class Unary, typename... Ts>
struct all;
template <bool B>
using require = typename std::enable_if<B>::type;

显然，这不会(也不会)起作用，因为我专门在默认参数上进行映射。有什么方法可以做到这一点吗？如果没有(我必须重新设计)，你会如何重新设计这些功能？sequence:：map应该以stl序列的任何组合为例，所以我对重组的所有想法都只是把问题转移到其他地方。。。

提前感谢您的帮助。。。

编辑：根据要求，这里有一些用法示例(实际上是我的测试代码)在我开始做上述操作之前：

auto t0 = std::make_tuple(2.f, -5, 1);
auto t1 = std::make_tuple(1, 2);
auto b0 = tuple::map([] (auto v) { return v > decltype(v)(0); }, t0);
auto r0 = tuple::map([] (auto v0, auto v1) { return v0 + v1; }, t0, t1);
// b0 is tuple<bool, bool, bool>(true, false, true)
// b1 is tuple<float, int>(3.f, -3)

对于序列：

std::vector<float> s0 = {1.f, 2.f, 3.f, 0.f};
std::list<int>   s1 = {3, 0, -2};
auto r = sq::map([] (auto v0, auto v1) { return v0 + v1; }, s0, s1);
// type of r is compound type of first argument (vector here), result is
// vector<float>(4.f, 2.f, 1.f)

这些映射函数的实现是完全不同的——我上面的方法的目的是能够去掉名称空间，只使用映射，让它做正确的事情。