用作模板參數的局部類型 · C++11 FAQ 中文版

# 用作模板參數的局部類型在C++98中，局部類和未命名類不能作為模板參數，這或許是一個負擔，C++11則放寬了這方面的限制： ``` void f(vector<X>& v) { struct Less { bool operator()(const X& a, const X& b) { return a.v<b.v; } }; // C++98: 錯誤: Less是局部類 // C++11: 正確 sort(v.begin(), v.end(), Less()); } ``` 當然除了這里的局部類之外，在C++11中，我們還可以采用Lambda表達式來做同樣的事情： ``` void f(vector<X>& v) { sort(v.begin(), v.end(), [] (const X& a, const X& b) { return a.v<b.v; }); } ``` 盡管如此，我們仍然不要忘記，為一系列動作行為命名有利于文檔化，是一個值得鼓勵的設計風格。而且，非局部的函數體（當然也需要命名）還可以被重用于其他模塊。 C++11同時也允許模板參數使用未命名類型的值： ``` template<typename T> void foo(T const& t){} enum X { x }; enum { y }; int main() { foo(x); // C++98: ok; C++11: ok //（譯注：y是未命名類型的值，C++98無法從這樣的值中推斷出函數模板參數） foo(y); // C++98: error; C++11: ok enum Z { z }; foo(z); // C++98: error; C++11: ok //（譯注：C++98不支持從局部類型值推導模板參數 } ``` 參考： * Standard: Not yet: CWG issue 757 * [N2402=07-0262] Anthony Williams: [Names, Linkage, and Templates (rev 2)](http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2007/n2402.pdf). * [N2657] John Spicer: [Local and Unnamed Types as Template Arguments](http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2008/n2657.htm).