# 返回值類型后置語法 考慮下面這段代碼： ``` template<class T, class U> ??? mul(T x, U y) { return x*y; } ``` 函數mul()的返回類型要怎么寫呢？當然，是“x*y類型”，但是這并不是一個數據類型，我們如何才能一開始就得到它的真實數據類型呢？在初步了解C++0x之后，你可能一開始想到使用decltype來推斷“x*y”的數據類型： ``` template<class T, class U> decltype(x*y) mul(T x, U y) // 注意這里的作用域 { return x*y; } ``` 但是，這種方式是行不通的，因為x和y不在作用域內。但是，我們可以這樣寫： ``` template<class T, class U> // 難看別扭，且容易產生錯誤 decltype(*(T*)(0)**(U*)(0)) mul(T x, U y) { return x*y; } ``` 如果稱這種用法為“還可以”，就已經是過譽了。 C++11的解決辦法是將返回類型放在它所屬的函數名的后面： ``` template<class T, class U> auto mul(T x, U y) -> decltype(x*y) { return x*y; } ``` 這里我們使用了auto關鍵字，（auto在C++11中還有根據初始值推導數據類型的意義），在這里它的意思變為“返回類型將會稍后引出或指定”。 返回值后置語法最初并不是用于模板和返回值類型推導的，它實際是用于解決作用域問題的。 ``` struct List { struct Link { /* ... */ }; Link* erase(Link* p); // 移除p并返回p之前的鏈接 // ... }; List::Link* List::erase(Link* p) { /* ... */ } ``` 第一個List::是必需的，這僅是因為List的作用域直到第二個List::才有效。更好的表示方式是： ``` auto List::erase(Link* p) -> Link* { /* ... */ } ``` 現在，將函數返回類型后置，Link*就不需要使用明確的List::進行限定了。 參考： * the C++ draft section ??? * [Str02] Bjarne Stroustrup. Draft proposal for “typeof”. C++ reflector message c++std-ext-5364, October 2002. * [N1478=03-0061] Jaakko Jarvi, Bjarne Stroustrup, Douglas Gregor, and Jeremy Siek: [Decltype and auto](http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2003/n1478.pdf). * [N2445=07-0315] Jason Merrill: [New Function Declarator Syntax Wording](http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2007/n2445.html). * [N2825=09-0015] Lawrence Crowl and Alisdair Meredith: [Unified Function Syntax](http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2009/n2825.html).