我有以下模板类:
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
类型?
不,你不能那样做。在这些情况下不会发生类型推断。不过,您可以使用 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。
不,这是不可能的,演绎只适用于函数。通常的解决方案是编写一个返回新实例的 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);