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，它位于堆栈上，因此无法在编译时确定其地址。

如果你 arr static.

constexpr 使用标准库算法

constexpr using standard library algorithms

c++

iterator

dereference

constexpr

c++17