作者Keitaro (動き出す時間...)
看板C_and_CPP
標題[問題] std::thread+functor
時間Mon Jan 16 23:33:40 2023
問題(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可以解讀為兩種以上的意思, 不知道要選哪一種嗎？
感謝賜教.
--
※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 114.36.112.181 (臺灣)
※ 文章網址: https://webptt.com/m.aspx?n=bbs/C_and_CPP/M.1673883222.A.D53.html
※ 編輯: Keitaro (114.36.112.181 臺灣), 01/16/2023 23:35:13
1F：推 LPH66: 編譯器可以解讀為兩種以上的意思←正確 01/16 23:54
2F：→ LPH66: 但 most vexing parse 困擾的點在於語言規定要選函數宣告 01/16 23:55
3F：→ LPH66: 就算在那裡解讀成呼叫函數會讓程式正確也不行 01/16 23:55
4F：推 Dracarys: background_task()被當成function type。可以想成funct 01/17 03:20
5F：→ Dracarys: ion decl的名字拿掉：background_task id()把id拿掉 01/17 03:20
6F：→ Dracarys: 如此一來第一種就可被parsed成function decl 01/17 03:21
意思是說, my_thread的參數, 如果使用background_task() 隱式宣告,
compiler會解讀為 把建構式background_task::background_task()
拿來當作my_thread啟動thread後要執行的function call?
※ 編輯: Keitaro (210.242.38.175 臺灣), 01/17/2023 15:09:17
8F：→ Dracarys: MVP的意思是語法上可以parse成function declaration就 01/17 18:33
9F：→ Dracarys: 要這麼解讀，你的my_thread會變成function declaration 01/17 18:33
10F：→ Dracarys: 其參數為function pointer（沒參數且return type為back 01/17 18:33
11F：→ Dracarys: ground_task） 01/17 18:33
12F：→ Keitaro: 感謝以上各位 01/18 13:36
13F：推 LenaPark: 順便推薦 Effective Modern C++ 條款7，有中文版。 01/19 00:19