标签: template-templates

考虑以下高度模板化的代码：

// Preamble
#include <list>
#include <deque>
#include <vector>
#include <iostream>
#include <type_traits>

// Rebind template template type traits
template <class> struct rebind_template_template;
template <template <class...> class Template, class... Types>
struct rebind_template_template<Template<Types...>> {
    template <class... Args>
    using type = Template<Args...>;
};

// Rebind template parameters type traits
template <class> struct rebind_template_parameters;
template <template <class...> class Template, class... Types>
struct rebind_template_parameters<Template<Types...>> {
    template <template <class...> class Arg>
    using type = Arg<Types...>;
};

// Template pack
template <template <class...> class... Templates>
class …

我正试图调用这样的模板化函数:

typedef std::tuple<int, double, bool> InstrumentTuple;

Cache cache;
InstrumentTuple tuple = cache.get<InstrumentTuple>();

我知道我可以"简单地"传递元组的类型.这就是我所知道的但是它非常麻烦,因为我对这个函数进行了很多调用,因为元组很长:

InstrumentTuple tuple = c.get<int, double, bool>(); // syntax I'd like to avoid

所以我尝试了get方法的多个实现,但没有成功:

通过模板参数启用

#include <tuple>

class Cache
{
private:
    template<int I, typename T, typename = typename std::enable_if<I == std::tuple_size<T>::value>::type>
    std::tuple<> get() // line 6
    {
        return std::tuple<>();
    }

    template<int I, typename T, typename = typename std::enable_if<I != std::tuple_size<T>::value>::type>
    std::tuple<typename std::tuple_element<I,T>::type, decltype(get<I+1, T>())> get() // line 12
    {
        std::tuple<typename std::tuple_element<I,T>::type> value;
        return std::tuple_cat(value, get<I+1, T>());
    }

public: …

我知道如何完善一个参数.但是,我从不同的来源(例如,有效的现代C++第24项 - 斯科特迈耶斯)中读到,当你拥有确切的模板名称时,人们只能完美地前进,例如:

template<typename T>
void foo(T&& param) { bar(std::forward<T>(param)); }

我正在寻找的是,如果有一种方法可以完美地转发模板模板参数,例如:

template<template<int, class TypeT> class Vector, int Size, typename TypeT>
void foo(Vector<Size, TypeT>&& param) { bar(std::forward<Vector<Size, TypeT>>(param)); }

当我编译上面的代码时,我收到一条错误消息:"你不能将左值绑定到右值引用"(VC12),这告诉我编译器不会将&&识别为"通用引用",而是将其作为右值引用.这个完美的前锋对我来说很有用,因为我可以利用推导出的TypeT和Size.

问题:是否可以完善转发模板模板参数？如果是这样,我的语法在哪里不正确？

谢谢!

我试图根据模板模板参数是否具有在其中type定义的类型(例如,std::remove_reference具有type成员类型别名)来使用SFINAE重载模板类,但我无法找到一个好的方法来执行此操作.

例如,我想做

template <template <typename...> class Trait>
using EnableIfHasTypeMember = std::void_t<Trait::type>;

template <template <typename...> class Trait, typename OtherStuff,
          EnableIfHasTypeMember<Trait>* = nullptr>
class Something { ... }

但这给了我一个编译器错误.有什么办法可以检查模板模板参数的界面吗？

我有一个带有模板模板参数的简单函数。它的目的是采用一个STL容器，将智能ptr转换为普通ptr（这是一个C++03项目，但我也对C++11的答案感兴趣）：

template <template <typename _T, typename = std::allocator<_T> > class Container>
static Container<T*> GetRawPtrContainer(const Container<SmartPtr<T> >& input_container)
{
    Container<T*> container;
    for(typename Container<SmartPtr<T> >::const_iterator it = input_container.begin();
        it != input_container.end();
        it++)
    {
        container.push_back(it->ptr);
    }
    return container;
}

这是类的静态成员函数SmartPtr<T>。

你在这里看到的，这一切所做的就是将push_back所有元素从input_container另一个元素转移到另一个元素并返回。

您可能已经注意到，如果输入是std::vector，则插入会出现性能问题，而这对于和O(1)来说没问题。所以我想做的是在循环之前调用它（如果可能的话）（在编译时决定）：std::liststd::deque

container.reserve(input_container.size());