C 14嘗鮮函式返回型別自動推導

函式返回型別自動推導是指c++11以及c++14中不直接給出函式返回型別，而是使用型別指示符來指示返回型別甚至徹底省略返回型別並最終由編譯器來推導返回型別的語言特性。

函式返回型別自動推導原則如下：

當lambda表示式中省略返回型別時，lambda表示式的返回型別由編譯器根據返回值以及模板引數推導規則進行自動推導。

當函式的返回型別包含auto指示符並且函式的後置返回型別被省略時，函式的返回型別由編譯器根據返回值以及模板引數推導規則進行自動推導。

當函式的返回型別為decltype(auto)指示符時，函式的返回型別由編譯器根據返回值以及decltype推導規則進行自動推導。

#include #include #include templatet f();
auto f2(int n)
auto f3(bool b)
auto f4(int n)
struct s
};int main()
;    auto f5 = (auto a, auto b);
f();
f();
f();
f();
f();
s s;
f();
}

main.cpp:(.text.startup+0x5): undefined reference to `void f()'
main.cpp:(.text.startup+0xa): undefined reference to `int f()'
main.cpp:(.text.startup+0xf): undefined reference to `double f()'
main.cpp:(.text.startup+0x14): undefined reference to `int f()'
main.cpp:(.text.startup+0x19): undefined reference to `float f()'
main.cpp:(.text.startup+0x1e): undefined reference to `int& f()'

這段**使用了一種特殊技巧來檢視編譯器所實際推導出的函式返回型別。**中定義了乙個未被實現的函式模板f，該函式模板有乙個型別引數t。如果用某個型別t來呼叫該函式模板，編譯器就會因找不到函式模板的定義而輸出」t f()未被定義「的出錯資訊。也就是說，利用該函式模板，我們便可以在編譯器所輸出的出錯資訊中檢查模板引數t的實際型別。在main函式內，我們充分利用了這乙個技巧，通過利用函式返回型別呼叫該函式模板來讓編譯器輸出相應的型別。

從出錯資訊中可以得知:

C 14嘗鮮函式返回型別自動推導

C 14學習筆記 2 函式返回型別推導

C 14嘗鮮在C 中實現LINQ

c 型別識別和型別自動推導

C 14嘗鮮 函式返回型別自動推導

C 14學習筆記 2 函式返回型別推導

C 14嘗鮮 在C 中實現LINQ

c 型別識別和型別自動推導

相關推薦

C 14嘗鮮函式返回型別自動推導

C 14嘗鮮在C 中實現LINQ