Question

我正在尝试定义一种模板“ map”原语（如map-reduce所示）。我的想法是我想将一个函数应用于模板参数包的每个项目。该函数可以是任何可调用对象。它可以返回任何类型（尽管返回类型将被忽略），并且可以在所讨论项目的顶部加上其他参数。

棘手的是，我实际上需要处理两个参数包。它们最初会打包在一起，但是我想使用模板专门化将它们拆分。接下来是我试图做到这一点。

如果不太明显（由于模板参数列表中的auto关键字），则使用C ++ 17。

#include <utility>

template <class Signature, auto f, class... ArgsAndItems>
struct Map;

template
<
    class ReturnType,
    class Item,
    class... ArgumentTypes,
    auto f,
    class... Items
>
struct Map
<
    ReturnType (Item, ArgumentTypes...),
    f,
    ArgumentTypes...,
    Item,
    Items...
>
{
    static void
    function (ArgumentTypes &&... arguments, Item && item, Items &&... items);
};

template <class ReturnType, class Item, class... ArgumentTypes, auto f>
struct Map<ReturnType (Item, ArgumentTypes...), f, ArgumentTypes...>
{
    static void
    function (ArgumentTypes &&... arguments);
};

template
<
    class ReturnType,
    class Item,
    class... ArgumentTypes,
    auto f,
    class... Items
>
void
Map
<
    ReturnType (Item, ArgumentTypes...),
    f,
    ArgumentTypes...,
    Item,
    Items...
>::function (ArgumentTypes &&... arguments, Item && item, Items &&... items)
{
    f (std::forward<Item> (item), std::forward<ArgumentTypes> (arguments)...);
    Map
    <
        ReturnType (Item, ArgumentTypes ...),
        f,
        ArgumentTypes...,
        Items...
    >::function
    (
        std::forward<ArgumentTypes> (arguments)...,
        std::forward<Items> (items)...
    );
}

template <class ReturnType, class Item, class... ArgumentTypes, auto f>
void
Map
<
    ReturnType (Item, ArgumentTypes...),
    f,
    ArgumentTypes...
>::function (ArgumentTypes &&... arguments)
{
}

想法是要有一个看起来像这样的包装器

template <auto f, class ... ArgsAndItems>
void
map (ArgsAndItems && ... args_and_items)
{
    Map
    <
        decltype (decltype (f)::operator ()),
        f,
        ArgsAndItems...
    >::function (std::forward <ArgsAndItems> (args_and_items) ...);
}

然后我将其用作

map <foo> (args_for_foo..., items_to_map_over...);

不幸的是，当我尝试使用clang ++进行编译时，出现以下错误。

map.hpp:14:8: error: class template partial specialization contains template
      parameters that cannot be deduced; this partial specialization will never
      be used
      [-Wunusable-partial-specialization]
struct Map
       ^~~
map.hpp:8:8: note: non-deducible template parameter 'ReturnType'
        class ReturnType,
              ^
map.hpp:9:8: note: non-deducible template parameter 'Item'
        class Item,
              ^
map.hpp:10:11: note: non-deducible template parameter 'ArgumentTypes'
        class... ArgumentTypes,
                 ^
map.hpp:11:7: note: non-deducible template parameter 'f'
        auto f,
             ^
map.hpp:12:11: note: non-deducible template parameter 'Items'
        class... Items
                 ^
1 error generated.

现在，如果我不喜欢ArgumentTypes...在我的专业领域中出现两次的事实，我不会感到惊讶，尽管它并没有直接说出来。

到底出了什么问题，以及如何避免这种情况来构建地图基元？我不想存储任何参数的副本或引用，因为那不应该没必要。如果我是手动编写专门用于函数和参数类型的模板，则无需存储任何内容。这样可以排除元组包装器。

编辑：根据要求添加了使用信息。

编辑：修复了过度使用右值引用限定符的情况，以避免造成混淆。

Answer 1

到底是怎么了，[...]

存在多个问题，因此从一个简单的可行的基本示例开始就可能更容易（没有完美的转发）。

[...]，如何避免这种情况来构建地图基元？

您可以分隔参数包：

参数类型作为Map
项目类型作为Map::function

这是一个没有完美转发的有效示例。由于可能使用cv限定词和ref限定词，因此在推论参数类型方面还不完善。

#include <iostream>

template<class F, class... Args>
struct Map {
  template<class... Items>
  static void function(Args... args, Items... items) {
    static constexpr auto f = F{};

    // here comes a fold expression
    // see https://en.cppreference.com/w/cpp/language/fold

    ( f(items, args...), ...); // "fold over comma operator"
  }
};

////////////////////////////////////////////////////////////////////////////////

template<class F, class Ret, class Item, class... Args, class... ArgsItems>
void map_impl(Ret(F::*)(Item, Args...) const, ArgsItems... args_items) {
  Map<F, Args...>::function(args_items...);
}

template<class F, class... ArgsItems>
void map(ArgsItems... args_items) {
  map_impl<F>(&F::operator(), args_items...);
}

////////////////////////////////////////////////////////////////////////////////

struct print_x_m_plus_n {
  void operator()(int x, int m, int n) const {
    int y = x * m + n;
    std::cout << y << std::endl;
  }
};

int main() {
  constexpr int m = 2;
  constexpr int n = 1;

  map<print_x_m_plus_n>(m, n, 0, 1, 2);
}

输出：

1
3
5

使用模板专门化来分割可变参量参数包

1 个答案: