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

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
    // ...
}

Demo;或者在函数体内：

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

---

或者使用本地类型定义，如 Columbo 的 suggested

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

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