Re: [問題] auto用法一問

看板C_and_CPP (C/C++)作者dzwei (Args&&... args)時間2年前 (2021/11/15 03:20)推噓1(1推 0噓 6→)

留言7則, 3人參與討論串3/3 (看更多)

首先第一點 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://www.ptt.cc/bbs/C_and_CPP/M.1636917646.A.863.html ※ 編輯: dzwei (114.24.242.118 臺灣), 11/15/2021 04:17:50