VC10中的C++0x特性 part 3 ：声明之类型

核心提示： 拿 C++98/03 <functional> 中的 std::plus<T> (在 C++0x 没有变动)来作对比，后者是一个类模板，VC10中的C++0x特性 part 3 ：声明之类型(2)，你不得不传递模板参数类型来调用 plus<int>()

拿 C++98/03 <functional> 中的 std::plus<T> (在 C++0x 没有变动)来作对比，后者是一个类模板，你不得不传递模板参数类型来调用 plus<int>() 和 plus<string>()，重复声明一次元素类型。并且后者那个形式为 T operator()(const T& x, const T& y) 的非模板函数调用操作符，如果不借助于隐式类型转换，就不能将两种不同类型的东西相加，更不用说 3 种不同类型的情况了（译注：两个参数类型 + 一个返回类型）。（你可以传递 string 和 const char * 类型的实参来调用 const plus<string>()，那样的话就会在串接操作之前，基于第二个参数(const char *)构建一个临时 string，这样做在性能上不可取）。 再者，因为它的参数是 const T& 形式的，这就不能使用 C++0x 的 move 语意来获得好处。Plus 避免了上述问题：调用 Plus() 不需要重复声明元素的类型，它也可以处理 “3 种” 不同类型的情况，并且它用了完美转发，因而能够使用 move 语意。

trailing return type

现在让我们再来看看这个模板函数调用操作符：

template <typename T, typename U>
auto operator()(T&& t, U&& u) const
-> decltype(forward<T>(t) + forward<U>(u)) {
　　　 return forward<T>(t) + forward<U>(u);
}

这里的 auto 与 for ( auto i = v.begin(); i != v.end(); ++i) 中的含义完全不同, 在 for 中它是指“把用来初始化对象的类型当做对象的类型”，而在这里它是指“这个函数有 trailing-return-type，只有指定实参之后，才能确定它返回什么类型”(C++0x 提案 N2857 中把这个称作 “late-specified return type”，但它将被重命名为 “trailing-retrun-type”（提案 N2859 ）)。这里看起来和 lambda 函数是如何指定返回类型的很相似，其实它们就是一样的。lambda 函数的返回类型必须出现在 lambda 导引符 [] 之后（右边）。在这里，decltype-powered 类型也必须出现在函数参数 t 和 u 之后（右边）。autoT 和 U 对它是可见的，但是函数参数 t 和 u 还不可见，这就是为什么需要 decltype 的原因。（从技术上来讲， decltype(forward<T>(*static_cast<T *>(0)) + forward<U>(*static_cast<U *>(0))） 可以在左边出现，但那看起来会让人不舒服）。