c++11 - 函数指针的编译时选择

Question

我想要编译时选择函数指针。类似于下面的 functionListAutomatic

int funk( int a, int b ) { return a * b / 2; }

template< typename T0, typename T1 >
int null_func( T0 a, T1 b ) { return 0; }

tuple< int( *)(int, int), int( *)(int, float) > functionList {
    funk,
    null_func<int, float>
};

// Pseudo code.
tuple< int( *)(int, int), int( *)(int, float) > functionListAutomatic {
    condition( funk_exist( funk( int, int ) )   , funk, null_func<int, int> ),
    condition( funk_exist( funk( int, string ) ), funk, null_func<int, string> ),
};

void main() {
    int res0 = get<0>( functionList )(1, 2);
    int res1 = get<1>( functionList )(1, 2);
}

我不知道该怎么做。

我确实知道如何制作 funk_exist 以便它在编译时求值(我使用它的一个变体:https://en.wikibooks.org/wiki/More_C++_Idioms/Member_Detector)。但是 funk 和 null_func 这两个参数会导致问题。编译器试图找到一个 funk(int, string) 函数，但在计算 funk_exist() 之前失败了。我需要一个计算 funk_exist() 的表达式，然后在 funk_exist() 计算为 false 时不计算 funk(int, string)。

感谢您的帮助。

Answer 1

namespace details {
  template<class...>struct voider{using type=void;};
  template<class...Ts>using void_t=typename voider<Ts...>::type;

  template<template<class...>class Z, class, class...Ts>
  struct can_apply:std::false_type{};
  template<template<class...>class Z, class...Ts>
  struct can_apply<Z,void_t<Z<Ts...>>,Ts...>:std::true_type{};
}
template<template<class...>class Z, class...Ts>
using can_apply=details::can_apply<Z,void,Ts...>;

样板注入(inject)!¹

添加放克:

template<class...Ts>
funk_r = decltype(funk(std::declval<Ts>()...));
template<class...Ts>
can_funk = can_apply<funk_r, Ts...>;

现在我们知道我们是否可以放克了。

但是谁会害怕呢？ funk_miester:

template<class lhs, class rhs, class=void>
struct funk_miester {
  decltype(null_func<lhs,rhs>) operator()()const{
    return null_func<lhs, rhs>;
  }
};
template<class lhs, class rhs>
struct funk_miester<lhs, rhs, std::enable_if_t< can_funk<lhs,rhs>{} >> {
  funk_r<lhs,rhs>(*)(lhs, rhs) operator()()const{
    return [](lhs l, rhs r)->funk_r<lhs,rhs> {
      return funk(l,r);
    };
  }
};

并在这条线下方查看结果:

tuple< int( *)(int, int), int( *)(int, float) > functionListAutomatic (
  funk_miester<int,int>{}(),
  funk_miester<int,string>{}()
);

而且你很有趣。

请注意，我检查是否可以在 can_funk 中调用 funk，但您可以将其替换为您想要的任何特征，只要它生成编译时 bool 值.

在我的例子中，lambda 充当适配器，因此如果签名不匹配，它仍会生成一个函数指针。

---

¹ 这只是给了我一个特征来检测我是否可以在某些参数上调用 funk。你有自己的，所以你不必使用它。