模板函数返回模板函数指针

Question

目前我实现了两个模板函数，每个都返回一个使用 boost::variant: 包装的模板函数指针：

1. 函数fa

   typedef boost::variant<&A<int>,&A<double>> A_T;
   
   A_T fa(string type)
   {
       switch(type){
           case "int":  return &A<int>;
           case "double": return &A<double>;
           default: return &A<int>;
       }
   }
   

2. 函数fb

   typedef boost::variant<&B<int>,&B<double>> B_T;
   
   B_T fb(string type)
   {
      switch(type){
          case "int":  return &B<int>;
          case "double": return &B<double>;
          default: return &B<int>;
      }
   }
   

我的问题是“我们可以将这两个函数合并为一个模板函数，它以 A 或 B 的函子指针作为模板参数吗？”。我需要这个的原因是因为我可能有两个以上的仿函数，比如 A 和 B。

Answer 1

简单：

template<template<typename> class F> // template template
using F_T = boost::variant<F<int>&, F<double>&>; // Need C++11 for this (not strictly needed) alias

template<template<typename> class F>
F_T<F> f(std::string type) {
  if(type == "double") return something<F<double>&>();
  else return something<F<int>&>();
}

using A_T = F_T<A>;
A_T at = f<A>("int");
// F_T<int> broken; // invalid: int is not a template<typename> class
// f<int>("int") // invalid: int is not a template<typename> class

A 是template<typename> class，所以它可能是F_T 和f 的类型参数，它们都是template<template<typename> class>。比较具有函数a => b 并将其作为参数传递给函数(a => b) => c。我们说函数[](int i) { return i + 5; } 有type int => int，就像类型template<typename> class A 有kind * -> *（具体类型到具体类型）。就像高阶函数可以有 (A => A) => A 这样的类型，高阶函数可以有像 (* -> *) -> * 这样的类型，例如F_T。像int 和A_T<A> 这样可以用作变量类型的普通类型有一种*。

抛开理论不谈，您可以使用这样的模板模板参数是相当直观的，即使语法起初看起来很奇怪。