首先第一點 auto只能推導 靜態型別 也就是編譯時期就能確定的型別 所以看到程式中有virtual這個關鍵字 用auto就要小心了 但原po這個例子沒問題 再來回到原PO的問題 Q: 你如何知道你的auto推導出來的是什麼型別? 這邊提供一個檢查技巧/範例 (effective modern c++這本書有) //先創建一個測試用的class TD template<typename T> // declaration only for TD; class TD; // TD == "Type Displayer" //以auto宣告型別並初始化 auto t = "some string"; //使用TD TD<decltype(t)> tType; //這時候你通常會看到類似的編譯錯誤訊息 error: aggregate 'TD<char*> tType' has incomplete type and cannot be defined 那個 'TD<char*> tType'裡面的char*就是你用auto推出來的型別 再看這例子 std::vector<bool> features(const Widget& w); Widget w; … auto highPriority = features(w)[5]; // is w high priority? … processWidget(w, highPriority); // process w in accord // with its priority 你猜highPriority會被推成什麼型別? 理想的bool? 不對 它被推成 std::vector<bool>::reference 這個型別 這關係到std::vector<bool>裡面的實作方式 這時候只能避開auto了 乖乖使用bool 但可以用上面的方式先檢查推導出來的型別 (後面一點的compiler 好像可以正常推導出bool) 補充: 個人最推薦的auto使用情境 template<typename It> // algorithm to dwim ("do what I mean") void dwim(It b, It e) // for all elements in range from { //想自動取得It<T> 裡面的型別T作為初始化宣告 T val = ... } 你有想過我要如何自動得到並初始化 It<T>裡面的型別T嗎? 答案是要用到trait-class (沒用auto的話) template<typename It> // algorithm to dwim ("do what I mean") void dwim(It b, It e) // for all elements in range from { // b to e while (b != e) { typename std::iterator_traits<It>::value_type currValue = *b; … } } 三小? 這麼簡地的事情 也要弄到那麼複雜的trait-class? C++11自從有了auto之後， 這件事情不再痛苦 這件事情不再痛苦 template<typename It> // as before void dwim(It b, It e) { while (b != e) { auto currValue = *b; … } 參考: Effective Modern C++ item5 與 item6 <大推這本書> --

※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 114.24.242.118 (臺灣) ※ 文章網址: https://webptt.com/m.aspx?n=bbs/C_and_CPP/M.1636917646.A.863.html ※ 編輯: dzwei (114.24.242.118 臺灣), 11/15/2021 04:17:50