构造函数的模板参数推导

Question

C++ 0x是否（或在某个时间点是C++ 0x）具有构造函数的模板参数推导？在An Overview of the Coming C++ (C++0x) Standard，我看到了下面几行：

std::lock_guard l(m); // at 7:00 

std::thread t(f);  // at 9:00 

这是否意味着委托make_foo函数模板终于多余的？

Answer 1

模板参数推导适用于任何函数，包括构造函数。但是你不能从传递给构造函数的参数中推导出类模板参数。不，你不能在 C++ 0x中这样做。

struct X 
{ 
    template <class T> X(T x) {} 
}; 

template <class T> 
struct Y 
{ 
    Y(T y) {} 
}; 

int main() 
{ 
    X x(3); //T is deduced to be int. OK in C++03 and C++0x; 
    Y y(3); //compiler error: missing template argument list. Error in 03 and 0x 
} 

lock_guard和thread不是类模板。他们虽然有构造模板。