Question

鉴于以下课程：

template <class T, template <typename> class B>
class A { B<T> b; };

我现在可以编写如下代码：

A<float, MyVector> a1;
A<int, MySet> a2;

在B中放置多参数类的最优雅方法是什么，除了一个参数之外，所有参数都被指定？就像带有int键的地图一样？我能想出的唯一一件事是：

template <class U> using C = MyMap<int, U>;
A<float, C<int>> a3;

是否有这样的模板等同于std :: bind，我们只能提供一部分参数并让其中一个打开？我很确定这种语言没有提供这个，但人们必须先解决这个问题。

A<float, MyMap<int, _>> a3;

Answer 1

没有与std::bind等效的内置模板，但您可以自己编写一个。这是一个简单的版本，它绑定了第一个模板参数，您可以扩展它以满足您的需求：

template <typename T, template <typename...> class B>
struct bind_t1 {
    template <typename... Ts>
    using type = B<T,Ts...>;   
};

然后你就像这样使用bind_t1：

A<float, bind_t1<int, std::map>::type> a3;

请注意，对于您的示例，您需要修改模板参数以获取可变参数模板模板：

template <class T, template <typename...> class B>
class A { B<T> b; };

这是一个稍微扩展的版本，它可以在参数列表的开头绑定许多连续的元素：

template <template <typename...> class B, typename... Ts>
struct bind_nt1 {
    template <typename... Us>
    using type = B<Ts...,Us...>;   
};

//Usage
A<std::less<int>, bind_nt1<std::map, int, float>::type> a3;

这是基于std::bind执行方式的通用版本。它没有做任何验证，可能有一些边缘情况，但它是一个很好的起点。感谢Piotr Skotnicki的改进。

template <std::size_t N> 
struct placeholder{};

template <template <typename...> class B, typename... Ts>
struct bind_t {
private:
    template <typename T, typename UTuple>
    struct resolve_placeholder {
        using type = T;
    };

    template <std::size_t N, typename UTuple>
    struct resolve_placeholder<placeholder<N>, UTuple> {
        using type = typename std::tuple_element<N-1, UTuple>::type;
    };

public:
    template <typename... Us>
    using type = B<typename resolve_placeholder<Ts, std::tuple<Us...>>::type...>;
};


//Usage 
A<int, bind_t<std::map, float, placeholder<1>, std::less<float>>::type> a3;

使用此功能，您甚至可以更改模板参数的顺序：

//std::map<int,float>
bind_t<std::map, placeholder<2>, placeholder<1>>::type<float, int> b;

在模板模板参数中抛出多个模板类 - 模板绑定？

1 个答案: