构造函数的模板参数推导

Question

C++ 0x是否具有(或者某个时间点的C++ 0x)构造函数的模板参数推导？在Coming C++(C++ 0x)标准概述中,我看到以下几行:

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不是类模板.他们有构造函数模板.