c++ - 将(某种元)函数应用于一系列类型

Question

我有一个函数:

template <typename T> std::string foo();

您可以将其视为将类型作为输入并生成字符串。

我还有一个参数包，或者一个元组，这对你来说更方便；假设是

using std::tuple<MyParameters...> my_types;

现在，我想调用 foo<T>在每种类型上 T在包中，或在元组的类型定义中，按顺序。

我意识到我可能可以使用诸如 Boost 的 MPL 或 Boost Hana 之类的库来获得它，但我不想将所有这些都粘贴到我的代码中，并且想知道这样做的原理是否可以被“捕获”简明扼要。

注意事项:

• 如果您能提供适用于通用 lambda 而不是模板函数的答案，可加分。
• 答案必须是 C++14，而不是 C++17。

Answer 1

恕我直言，对于这类事情，您需要部分特化。所以结构/类，非函数。

因此，如果您可以要求可变结构 bar 的方法工作，您可以编写 foo() 调用 bar 中的方法> (operator(), by example) 如下

template <typename T>
std::string foo ()
 { return bar<T>()(); }

以下是一个完整的工作示例(我不知道是否足够“简洁”)；如果我没记错的话，它是 C++11。

#include <tuple>
#include <complex>
#include <iostream>

template <typename ...>
struct bar;

template <typename T0, typename ... Ts>
struct bar<T0, Ts...>
 {
   std::string operator() ()
    { return "type; " + bar<Ts...>()(); }
 };

template <template <typename ...> class C,
          typename ... Ts1, typename ... Ts2>
struct bar<C<Ts1...>, Ts2...>
 {
   std::string operator() ()
    { return "type container; " + bar<Ts1...>()() + bar<Ts2...>()(); }
 };

template <>
struct bar<>
 { std::string operator() () { return {}; } };

template <typename T>
std::string foo ()
 { return bar<T>()(); }

int main ()
 {
   std::cout << foo<int>() << std::endl;
   std::cout << foo<std::tuple<int, long, short, std::tuple<long, int>>>()
      << std::endl;
   std::cout << foo<std::complex<double>>() << std::endl;
 }

p.s.:我不清楚“使用通用 lambda 而不是模板函数的答案”是什么意思。

你能举个例子吗？