Czy tablice mogą być indeksowane podczas kompilacji?

Question

W this comment to another question The HVD użytkownik stwierdził, co następuje:

... chociaż literały łańcuchowe mogą być przekazywane do constexpr funkcji, i indeksowania tablicy jest dozwolone na napisowych w stałym wyrażeń operacji indeksowania na zasadzie constexpr parametr funkcji nie kwalifikuje się jako wyrażenie stałe.

Nie do końca rozumiem, o co chodziło. Czy to znaczy, że zmienna w następującym kodzie 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!"); 

nie może być oceniana w czasie kompilacji? Czy mógłbyś rozwinąć cytowany komentarz i powiedzieć, czy mam rację?

Answer 1

co mówię w tym komentarzu, że nie można mieć coś podobnego

template <int N> 
int f(); 

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

bo chociaż wynikiem constexpr funkcji może być stałym wyrażeniem, wewnątrz organizmu, jego parametry nie są. Funkcja constexpr może być wywołana ze stałą lub z niestanowiącymi stałych argumentów, wywołujący decyduje, a C++ nie ma żadnej funkcji, która może być wywołana ze stałymi argumentami.

To miało znaczenie w odpowiedzi, którą czytałeś, ponieważ przydatne byłoby mieć argument funkcji const char (&str)[N] i traktować str[i] jako wyrażenie stałe w treści funkcji.

To nie ma znaczenia dla kodu, który masz. Ten kod jest w porządku.

Answer 2

przeszedłem odpowiednich sekcjach zarówno N3337 i N3936, i nic w obu wersji standardu zakazuje constexpr funkcję sortowania

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

A w rzeczywistości to kompiluje w obu g ++ i brzękiem w C++ tryb 11. Nie mam absolutnie żadnego pojęcia, skąd się wzięło twierdzenie, że "operacja indeksowania na parametrze funkcji constexpr nie kwalifikuje się jako wyrażenie stałe". Nie mogę znaleźć niczego w §5.19 [expr.const], który zabrania tego.