constexpr使用标准库算法

Question

当使用C++17/C++20 x64 gcc/clang构建时，下面的代码段会产生编译错误，而直接通过*std::max_element(std::begin(arr), std::end(arr))取消引用迭代器效果良好。有什么原因吗？我还观察到了其他标准算法的类似行为，这些算法自C++20以来已成为constexpr，例如std::upper_bound

int main()
{
constexpr std::array<int,5> arr = {1,2,3,4,5};
constexpr auto it = std::max_element(std::begin(arr), std::end(arr));
}

source>:11:73: error: '(((std::array<int, 5>::const_pointer)(& arr.std::array<int, 5>::_M_elems)) + 16)' is not a constant expression
11 |     constexpr auto it  = std::max_element(std::begin(arr), std::end(arr));
|           

Answer 1

it必须存储指向arr元素的指针。

由于arr不是static，它位于堆栈上，因此在编译时无法确定其地址。

如果你制作arrstatic，它就会起作用。