C 在constexpr中的new是怎麼實現的？

1樓：露公尺 Lumi

constexpr標記的函式，可以在執行時呼叫，也可以在編譯期完成。

你可以認為，如果它能在編譯期完成，那麼編譯器就會在編譯期去完成這個函式的計算。

為啥C++ 2020要求必須在該函式結束前就要釋放掉，我覺得應該是為了編譯器方便實現吧。如果你還能返回或者放在成員變數裡等在這個函式的上一層再用的話，衡量constexpr計算是否能完成的複雜度會指數級增加。因為你要衡量這些巢狀的邏輯是否能在編譯期完成計算。

更早的，之前都不支援呢。

2樓：暮無井見鈴

C++20 中的 new 表示式以及 allocator::allocate 可以在編譯期的常量求值中分配記憶體，但必須在同一段常量求值中釋放回去。執行期不會見到編譯期分配的動態記憶體。

執行期這些東西會呼叫 operator new 進行分配，但編譯期不會。

可以認為它沒有留到二進位制中可見的實現，實現全在編譯器中解決。

實際上 constexpr new 的提案中有提議過問題中構想的第二種方案（ non-transient allocation ，非暫時分配），可以參考 P0784R7 及其較早的版本 P0784R5 。沒有接納非暫時分配的原因是分配記憶體的可變性處理上存在問題。

目前非暫時 constexpr 分配的工作並沒有停止，見 P1974R0 。雖然仍然不得不引入一些奇怪的東西。

基於值（或者說表示式）的反射提案（目前版本見 P1240R1 ）可能仍然依賴非暫時 constexpr 分配。

不過我不清楚他們為什麼要讓一些函式返回帶所有權的 vector/string ，而非無所有權的 span/string_view 。如果採用後者的話，我懷疑就不需要非暫時 constexpr 分配了。