[問題] std::thread+functor

作者: Keitaro (動き出す時間...)   2023-01-16 23:33:40
問題(Question):
https://www.books.com.tw/products/0010676124
這兩天剛開始看這本書, 初始章節有一段寫的我怎麼看都看不懂, 懇請版上高手解惑
class background_task
{
public:
void operator()() const
{
// do something
}
};
background_task f;
std::thread my_thread(f);
以上的程式碼 搭配書上底下這一段文字說明
將函示物件傳入直行緒建構子時還有其他額外的考量, 就是避免"C++最令人討厭的剖析
(C++'s most vexing parse)", 如果傳入的是暫存物件而不是具有名稱的變數, 語法上
會與函示宣告相同, 編譯器也會這麼解讀, 而不是視為物件定義, 例如
std::thread my_thread(background_task());
會宣告一個my_thread函式, 具有一個參數(參數型別是沒有參數且傳回background_task
物件的函示指標), 並傳回std::thread物件, 而不是啟動新執行緒, 可以使用之前的方
式先提供函示物件變數名稱、使用額外的刮號, 或者使用新的統一初始語法(uniform
unitialization syntax):
std::thread my_thread((background_task())); <-1
std::thread my_thread{background_task()}; <-2
第一個例子, 使用額外的刮號以避免被作為函示宣告解讀. 就能夠讓my_thread被宣告
為std::thread型別的變數, 第二個例子則使用了新的統一初始語法, 使用大刮號而非
小刮號, 同樣也會被視為宣告變數.
以上這一段我不太能理解
std::thread my_thread(background_task());
這樣的寫法, background_task() 這不是隱式宣告產生暫時物件嗎?
跟顯式宣告一個background_task型別的f變數, 再把f丟進my_thread當參數, 差異在哪?
我不明白書上寫的C++'s most vexing parse意思為何?
是指這樣的寫法, compiler可以解讀為兩種以上的意思, 不知道要選哪一種嗎?
感謝賜教.
作者: LPH66 (-6.2598534e+18f)   2023-01-16 23:54:00
編譯器可以解讀為兩種以上的意思←正確但 most vexing parse 困擾的點在於語言規定要選函數宣告就算在那裡解讀成呼叫函數會讓程式正確也不行
作者: Dracarys (MayShowGunMore)   2023-01-17 03:20:00
background_task()被當成function type。可以想成function decl的名字拿掉:background_task id()把id拿掉如此一來第一種就可被parsed成function declhttps://godbolt.org/z/ETjrqrc88
作者: Keitaro (動き出す時間...)   2023-01-18 13:36:00
感謝以上各位
作者: LenaPark   2023-01-19 00:19:00
順便推薦 Effective Modern C++ 條款7,有中文版。

Links booklink

Contact Us: admin [ a t ] ucptt.com