为了使函数返回编译时const值，模板中是否需要const类型？

Question

看看c++中的std::array的实现，我看到了一些我无法完全理解的东西。

例如，返回数组中的第一个元素的函数定义为：

constexpr const-reference
front() const noexcept
{.......}

其中const -引用被定义为const value_type&，因此上面的整个表达式计算为constexpr const value_type&。知道在某些情况下，我们可能希望在编译时知道函数返回的值，我的问题是，为什么它们在同一行中同时使用constexpr和const？const不是多余的吗，就像已经说过的，我们将返回一个constexpr？

Answer 1

因此，上面的整个表达式计算为const value_type&

不完全是:对于函数/方法，constexpr意味着函数/方法可以执行(也)编译时间，而不是返回的值是constexpr。

我的问题是，他们为什么在同一条线上同时使用警察和康斯特？我们已经说过我们要送一位警员回来了，这不是多余的吗？

它在C++11中是多余的。

constexpr是在C++11中引入的，在C++11中，constexpr方法也是(必然的) const方法。

这从C++14开始就改变了(一个很好的解释，这里)

因此，从C++14开始，consexpr和const (对于一个方法)是解耦的，正如您可以看到的优先选择，std::array::front()非const版本是constexpr (从C++17开始)。