数组可以在编译时被索引吗？

Question

在this comment to another question，用户 hvd 声明如下：

...虽然字符串文字可以传递给constexpr函数， 并且允许对常量中的字符串文字进行数组索引 表达式，对constexpr 函数参数的索引操作 不符合常量表达式的条件。

我没有完全理解是什么意思。是不是意味着下面代码中的hash_value变量

#include <cstddef>

// Compute the hash of a string literal adding the values of its characters
template<std::size_t N> constexpr std::size_t
hash_string
    ( const char (& s)[N] )
noexcept
{
    std::size_t h = 0;

    // Array indexing happening under the hood
    for ( const auto c : s )
        h += c;

    return h;
}

constexpr auto hash_value = hash_string("Hello, world!");

无法在编译时进行评估？您能否详细说明引用的评论并判断我是否正确？

Answer 1

我在那条评论中说的是你不能拥有类似的东西

template <int N>
int f();

constexpr int g(int i) {
  return f<i>(); // invalid
}

因为虽然constexpr 函数的结果可以是常量表达式，但在主体内部，它的参数不是。 constexpr 函数可以用常量或非常量参数调用，调用者可以决定，C++ 没有任何类型的函数可以只能用常量参数调用。

这对您正在阅读的答案很重要，因为拥有 const char (&str)[N] 函数参数并将 str[i] 视为函数体内的常量表达式会很有用。

这对于您拥有的代码无关紧要。那个代码很好。

Answer 2

我浏览了 N3337 和 N3936 的相关部分，两个版本的标准都没有禁止 constexpr 的排序功能

template<std::size_t N> constexpr std::size_t
hash_string
    ( const char (& s)[N] )
noexcept
{
    return s[0];
}

事实上，这可以在 C++11 模式下的 g++ 和 clang 中编译。我完全不知道“constexpr 函数参数上的索引操作不符合常量表达式”的说法从何而来。我在 §5.19 [expr.const] 中找不到任何禁止这样做的内容。