[問題] std::thread+functor

看板C_and_CPP (C/C++)作者Keitaro (動き出す時間...)時間1年前 (2023/01/16 23:33)推噓4(4推 0噓 9→)

留言13則, 4人參與討論串1/1

問題(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://www.ptt.cc/bbs/C_and_CPP/M.1673883222.A.D53.html ※ 編輯: Keitaro (114.36.112.181 臺灣), 01/16/2023 23:35:13

推

LPH66

01/16 23:54, 1年前 , 1^F

01/16 23:54, 1^F

→

LPH66

01/16 23:55, 1年前 , 2^F

01/16 23:55, 2^F

→

LPH66

01/16 23:55, 1年前 , 3^F

01/16 23:55, 3^F

推

Dracarys

01/17 03:20, 1年前 , 4^F

01/17 03:20, 4^F

→

Dracarys

01/17 03:20, 1年前 , 5^F

01/17 03:20, 5^F

→

Dracarys

01/17 03:21, 1年前 , 6^F

01/17 03:21, 6^F

推

Dracarys

01/17 03:53, 1年前 , 7^F

01/17 03:53, 7^F

意思是說, 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

→

Dracarys

01/17 18:33, 1年前 , 8^F

01/17 18:33, 8^F

→

Dracarys

01/17 18:33, 1年前 , 9^F

01/17 18:33, 9^F

→

Dracarys

01/17 18:33, 1年前 , 10^F

01/17 18:33, 10^F