http://ideone.com/V97HkZ
一開始在測試std::async的時候無意間發現
如果沒有接return value跟有接return value的話
行為有差異
有接: 不會block在那行直接往下走(async)
沒接: 就直接卡在那直到thread做完
以上結論讓我想了一下, 姑且不知道它內部怎麼實做
但 為什麼它有能力可以判斷 有接 or 沒接
我自己的想法是 如果有接, 也許它會走future的move cstr(or move =)
可能可以在解構的時候判斷是否被move過
move的話就 detach, 沒move的話就就join...
但這件事如果RVO的話 根本不保証它會有move產生...
所以問題就是
1. 有沒寫法一定可以讓RVO無效
2. 有沒有好的寫法可以判斷 有接跟沒接這兩種case?
3. 我看了一下vc跟g++的 future dstr都是空的沒做事...表示我一開始的想法都是錯的
到底它怎麼做到這行為的呢?
謝謝