用于计算指向成员的指针的C变量模板

Question

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

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:未能专门化函数模板“未知类型getField（T）”

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

Answer 1

更改方法顺序并修复"错别字"：

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...);
}

演示