Re: [問題] auto用在const變數以及字面值

看板C_and_CPP作者azureblaze (AzureBlaze)時間11年前 (2015/01/13 01:53)推噓3(3推 0噓 2→)

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

※ 引述《RealJack ()》之銘言： : const int ci=1; : auto &g=ci; //g的type為const int& : const auto &h=2; //要自行加上const 首先，C++11有很多新功能其實是用舊的東西兜出來的 cv auto ref foo = expr; (cv: const / volatile, ref: & / &&) 這個式子中auto最後所代表的型態等同於 template<class T> void f(cv T ref t); 這個函式用 f(expr)呼叫時導出的U的型態所以當 auto &g = ci; 時相當於回答 void f( T &t) 用 f(ci)呼叫時得到的T是什麼樣板參數呼叫參數 P = T& A= const int 根據標準把 T&換成 T (取呼叫參數的reference而已，呼叫參數自己不必是reference) 解P == A 得到 T == const int 帶回去 [const int] &g = ci 天下太平可是當改成用 f(2)呼叫的時候麻煩就大了首先[ 2 ]的型態是什麼? int。很不幸的lvalue、rvalue什麼的是expression category，不是type的一部分而template中只有P = T&&這種類型才會去檢查expression category。所以一樣 P = T A = int 得到 T = int 帶回去 [int] &h = 2; 完蛋了標準禁止把 reference榜到rvalue expression上總而言之對template而言[ 2 ]的不是什麼 const int&&，而就是int而已如果你寫 auto &i = "2";就OK，因為"2"的型態是const char * 除非你用T&&要求template做檢查，不然他根本不鳥你什麼lvalue rvalue 有沒有可能讓他聰明一點? 如果你要自動搞定任何reference，那你應該用 auto &&foo = bar; auto &說不定也可以變聰明讓他自動加const 但是標準中最令人頭大的就是template這章引用STL講 template argument deduction時說的 http://channel9.msdn.com/Series/C9-Lectures-Stephan-T-Lavavej-Core-C-/ Stephan-T-Lavavej-Core-C-2-of-n "使用者用爽爽，寫編譯器的人頭超大" 拜託不要，裡頭每條特例都讓人有殺人衝動 -- ※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 220.134.245.97 ※ 文章網址: https://www.ptt.cc/bbs/C_and_CPP/M.1421085184.A.7EE.html

推

RealJack

01/13 14:07, , 1^F

01/13 14:07, 1^F

推

BlazarArc

01/13 14:33, , 2^F

01/13 14:33, 2^F

推

RealJack

01/13 14:34, , 3^F

01/13 14:34, 3^F