為什么 std::declval 不是 constexpr？

Question

如題 - 為什么這樣的代碼在 cpp 中是非法的？

static_assert(std::declval<std::array<int, 4>>().size() == 4);

它是標准的忽視還是有一些更深層次的理由為什么std::declval不是constexpr ？

Answer 1

這一行：

static_assert(std::declval<std::array<int, 4>>().size() == 4);

無法編譯，因為您在評估的上下文中使用declval 。 這是不允許的，如果你這樣做，你的程序是錯誤的。 declval只能在未評估的上下文中調用，例如在decltype或sizeof中。

制作 function constexpr意味着它可以在運行時或編譯時調用。 由於declval根本無法被調用，因此將其constexpr毫無意義。 我想將其設為constexpr不會有任何危害，但無論哪種方式，都沒關系。