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

Throw multiple-template class in a template template parameter - template binding?

本文关键字：参数 绑定      更新时间：2023-10-16

给定以下类:

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

我现在可以写这样的代码:

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

在B中放置除一个参数外所有参数都指定的多参数类的最优雅方式是什么?就像带有输入键的地图?我唯一能想到的是:

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

是否存在这样一个等价于std::bind的模板，在那里我们只能提供部分形参并保留其中一个打开?我很确定语言没有提供这个，但是人们以前一定解决过这个问题。

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

没有与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;
相关文章：