c++ - 使用构造函数推断类模板参数

Question

我有以下模板类：

template <typename T>
struct timer
{
    T period;

    timer(T p) :
        period(p)
    {}
};

要实例化它，我需要做：

timer<double> t(double(0.0));

是否可以改进timer类定义以允许这种语法：

timer t(double(0.0));

并让编译器double从构造函数的参数中推断出类型？

Answer 1

不，这是不可能的，扣除只适用于函数。通常的解决方案是编写一个make_返回新实例的函数。这是 C++11：

template <typename T>
timer<T> make_timer(T&& p) {
  return timer<T>(std::forward<T>(p));
}

auto t = make_timer(0.0);

Answer 2

不，你不能那样做。在这些情况下不会发生类型推断。您可以使用auto关键字和函数模板来使事情变得更容易：

template<typename T>
timer<T> make_timer(T value) {
    return value;
}

// let the compiler deduce double
auto t = make_timer(0.0);

请注意，此auto关键字的使用仅在 C++11 标准中有效。

此外，对于这种特定情况，您可以typedef使用double计时器：

typedef timer<double> timer_d;

timer_d t(0.0);

虽然我仍然会使用第一个解决方案，但如果您能够使用 C++11。