如何使用模板参数成员的类型？

Question

我的函数如下所示：

template<typename T, typename U>
T myfunc(T a, T b) {
    // the type of a.data and b.data is U
    // ...
}

T和U类型的示例如下所示：

class ExampleT {
public:
    int data;
};

其中T是类，它具有名为data的成员。 data类型为U

目前必须使用两个类型参数来调用我的函数：

myfunc<T, U>(...);

但是第二种类型参数（U）是第一种类型（T）内部data变量的类型。 是否可以从模板中删除U并使用例如decltype检测？

可以使用所有最新的C ++ 14功能。

Answer 1

您可以将其推断为默认模板参数：

template<typename T, typename U = decltype(T::data)>
T myfunc(T a, T b) {
    // the type of a.data and b.data is U
    // ...
}

演示 ; 或在函数体内：

template<typename T>
T myfunc(T a, T b) {
    using U = decltype(T::data);
    // ...
}

---

或按照Columbo的建议使用本地typedef

struct ExampleT {
    using Type = int;
    Type data;
};

template<typename T, typename U = typename T::Type>
T myfunc(T a, T b) {
    // ...
}