為什么`std :: invoke`不是constexpr？

Question

std :: invoke不應該是constexpr尤其是在C ++ 17中的constexpr lambdas之后？

是否有任何阻礙這種情況的障礙？

Answer 1

更新： P1065將使它成為constexpr 。

---

保留原始帖子的歷史原因：

從提案 ：

雖然有可能將標准符合調用函數模板實現為constexpr函數，但是所提出的措辭不需要這樣的實現。 主要原因是讓它與現有的標准函數對象保持一致，它們可以有這樣的定義，比如std :: mem_fn，std :: reference_wrapper和operator wrappers。 此外強加此類要求將阻止引用std :: mem_fn的調用的實現。

該提案假定constexpr對標題的添加將由單獨的提案一致地應用。

constexpr和基於標准庫的實現都在提案的可實施性部分中介紹。

---

相關的CWG問題＃1581： 什么時候定義了constexpr成員函數？ 。