[問題] std::thread+functor

[Keitaro (動き出す時間...)]

問題(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: 編譯器可以解讀為兩種以上的意思←正確
→ LPH66: 但 most vexing parse 困擾的點在於語言規定要選函數宣告
→ LPH66: 就算在那裡解讀成呼叫函數會讓程式正確也不行
推 Dracarys: background_task()被當成function type。可以想成funct
→ Dracarys: ion decl的名字拿掉：background_task id()把id拿掉
→ Dracarys: 如此一來第一種就可被parsed成function decl
推 Dracarys: https://godbolt.org/z/ETjrqrc88
意思是說, 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: MVP的意思是語法上可以parse成function declaration就
→ Dracarys: 要這麼解讀，你的my_thread會變成function declaration
→ Dracarys: 其參數為function pointer（沒參數且return type為back
→ Dracarys: ground_task）
→ Keitaro: 感謝以上各位
推 LenaPark: 順便推薦 Effective Modern C++ 條款7，有中文版。