c++ - C++可变参数模板以评估指向成员的指针

我想创建一个可变参数模板，用于评估指向成员的嵌套指针。我尝试了以下方法：

template<typename T, typename U, typename... V>
auto getField(T &input, U (T::*field), V... args)
    -> decltype(getField(input.*field, &args...))
{
    getField(input.*field, &args...);
}

template<typename T, typename U>
U getField(T &input, U (T::*field))
{
    return input.*field;
}

struct inner {
    int val;
};

struct outer {
    inner in;
};

void main() {
    outer p{{5}};
    cout << getField(p, &outer::in, &inner::val) << endl;
}

当我在VS中编译以上代码时，出现以下错误消息：


  错误C2672：“ getField”：找不到匹配的重载函数
  错误C2893：无法专用于功能模板'unknown-type getField（T＆，U T :: *，V ...）'
  注意：具有以下模板参数：
  注意：“ T =外部”
  注意：“ U = outer :: inner”
  注意：“ V = {int external :: inner :: *}”


如何修复上面的可变参数模板进行编译并返回p.in.val？请注意，我的编译器不支持自动模板参数。

最佳答案

更改方法的顺序并修复“ typos”：

template<typename T, typename U>
U getField(T &input, U (T::*field))
{
    return input.*field;
}

template<typename T, typename U, typename... V>
auto getField(T &input, U (T::*field), V... args)
    -> decltype(getField(input.*field, args...))
{
    return getField(input.*field, args...);
}

Demo