使用构造函数的类模板参数推断

时间:2012-12-07 02:04:01

标签: c++ templates

我有以下模板类:

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类型?

2 个答案:

答案 0 :(得分:3)

不,这是不可能的,扣除仅适用于功能。通常的解决方案是编写一个返回新实例的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);

答案 1 :(得分:3)

不,你不能这样做。在这些情况下不会发生类型推断。您可以使用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。