你應該有一個概念沒有搞懂: C++ 的 lambda 其實是個 functor 在你寫 lambda 的當下有一個 class 在此成立, 並產生一個實體 lambda 函式內容則是此 class 的 operator () 內容 這個 operator () 預設是有常數性, 也就是在函式中這 lambda class 是當做常數 (其實跟平常 class 宣告裡在 member function 宣告後面加上 const 的意思一模一樣 之所以這麼設定的理由可見這連結 http://stackoverflow.com/questions/5501959/ ) 所有被 capture by value 的變數都是這個 class 的成員變數 在 lambda 產生的當下產生實體時會複製進去 ※ 引述《dreamboat66 (小嫩)》之銘言： : 寫程式遇到一個compile error原本看不出來原因 : 簡化一下問題如下 : http://ideone.com/9Vqbvu : 如果真的遇到這種case : 我要很大方的冠上mutable嗎? : 還是想辦法裡面const cast拿掉const讓move成功 所以在這裡, 裡面的 f2 和外面的 f2 是不同的變數 @@@+ 和 @@@- 之間的那次複製就是複製出裡面的 f2 的那次 因此兩個 f2 既然沒關係, 使用 move 也就沒有意義了 move 沒有用的原因確實是常數性沒錯 但這是因為這個 operator () 的常數性, 使得其成員物件全部都是 const 這裡如果你要把外面的 f2 給 move 進來的話 可以使用下面的 C++14 的帶初始化 capture, 寫 [f2 = move(f2)](...){...} 這樣在建構時就會把外面的 f2 給 move 進去 : 如果慣上mutable的話 : http://ideone.com/s5KtOq : 又遇到奇怪問題 : 為什麼他要保留const 這屬性, 如果alias他名字(這好像c++14才能這樣寫?)就不會... : 這有什麼特殊含意嗎? 因為用template 推型別的觀念 const是不會保留的呀 : 以上 : 謝謝 所以這裡也不是 alias 而是這個 lambda class 裡的兩個成員變數 f2 和 f3, 都由外面的 f2 複製而來 這個 f3(f2) 是當做有個 auto f3(f2); 卡在這 lambda 宣告之前 但不在外面的 scope 裡 所以後一個指向 f3(f2) 的 error 就是因為這個 f2 是外面的 f2, 那是 const 但你卻宣告了 (lvalue-)copy ctor 為 explicit 不過這個先不管, 你的問題是在 Bar(f3) 和 Bar(f2) 的差別 f3 跟 f2 的差別在於 f2 繼承自它抓取的變數的常數性, 但 f3 卻是一個全新的變數 下面這個連結應該回答了你這部份的問題 http://stackoverflow.com/questions/31485041/ 解法裡面也提到了, 既然你有 C++14 的帶初始化 capture 寫 [f2 = f2] 就好, 這樣如上所言這裡就會用上 auto 的規則, 常數性就不見了 或是你還想要把外面的 f2 給 move 進來那就一樣 [f2 = move(f2)] -- 'You've sort of made up for it tonight,' said Harry. 'Getting the sword. Finishing the Horcrux. Saving my life.' 'That makes me sound a lot cooler then I was,' Ron mumbled. 'Stuff like that always sounds cooler then it really was,' said Harry. 'I've been trying to tell you that for years.' -- Harry Potter and the Deathly Hollows, P.308 --

※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 180.177.29.238 ※ 文章網址: https://webptt.com/m.aspx?n=bbs/C_and_CPP/M.1477781583.A.49C.html ※ 編輯: LPH66 (180.177.29.238), 10/30/2016 06:53:52 ※ 編輯: LPH66 (180.177.29.238), 10/30/2016 06:54:54