检索 C++ 的值的适当方法是什么？位置 N 处的可变参数模板常量参数？

Question

我想知道检索位置 N 处的可变参数模板常量参数的值的正确方法是什么（N 在编译时已知）。例如，假设您有一个模板，该模板接收可变数量的函数指针作为参数，并且您需要检索第二个函数指针。目前，我能想到的就是这个……

typedef int (*func)(int);

template< func... F >
struct testme
{
 inline int getme(int p) const
 {
  return std::array< func , sizeof... (F) >{F...}[1](p);
 }
};

不用说，这是非常黑客的。有更好的方法吗？谢谢。

编辑：

基于typedeftemplate的代码，我制作了一个可以接受任何类型作为可变参数模板参数的版本。它已经过测试，可以在 GCC 4.6 的实验版本上运行。我发现它可能对其他人有用，所以就这样......

template< std::size_t I, typename T, T... Args >
struct va_lookup;

template< std::size_t I, typename T, T Arg, T... Args >
struct va_lookup< I, T, Arg, Args... >
{
    static_assert(I <= sizeof... (Args), "index is out of bound");
    static constexpr T value = va_lookup< I - 1, T, Args... >::value;
};

template< typename T, T Arg, T... Args >
struct va_lookup< 0, T, Arg, Args... >
{
    static constexpr T value = Arg;
};

Answer 1

我想，你可以按照这些思路使用一些东西：

template <int Index, int... Args> struct LookupAtIndex;
template <int Index, int First, int... Rest> struct LookupAtIndex<Index, First, Rest...> {
    static constexpr int result = LookupAtIndex<Index - 1, Rest...>::result;
};
template <int First, int... Rest> struct LookupAtIndex<0, First, Rest...> {
    static constexpr int result = First;
};

我还没有对此进行测试，但至少直观上它似乎应该正确工作。

Answer 2

这是您的解决方案的一个变体，可能更容易接受：

typedef int (*func)(int);

template< func... F >
struct testme
{
    static const std::array< func , sizeof... (F) > ptrs_;

    int getme(int p) const
    {
        return ptrs_[1](p);
    }
};

template< func... F >
const std::array< func , sizeof... (F) >
testme<F...>::ptrs_ = {F...};

您的用例的基本问题之一是函数指针不像整数类型那样容易进行模板元编程。