Argument używany tylko w nieocenionym kontekście w ciele funkcji constexpr

Question

Poniższy fragment kodu został pomyślnie skompilowany z gcc 5.3.0, ale nie udało się skompilować z clang 3.7.0. Użyłem kompilatorów online coliru z tymi samymi opcjami wiersza poleceń w obu przypadkach: -std = C++ 14 -O2 -Wall -pedantic -pthread.

#include <cstdio> 

// Definition of constexpr function 'foo'. 
constexpr std::size_t foo(const int& arg_foo) { return sizeof(arg_foo); } 

// Definition of function 'test'. 
void test(const int& arg) 
{ 
    // The following line produces an error with clang. 
    constexpr std::size_t res_foo = foo(arg); 

    // Print the result returned by the 'foo' function. 
    std::printf("res_foo = %lu\n", res_foo); 
} 

// Definition of function 'main'. 
int main(int argc, const char* argv[]) 
{ 
    // Test function call. 
    test(argc); 

    // Return statement. 
    return 0; 
} 

dzyń odrzuca je z powodu następującego błędu:

error: constexpr variable 'res_foo' must be initialized by a constant expression 
constexpr size_t res_foo = foo(arg); 
          ~~~~^~~~ 

Z powodu tej różnicy pomiędzy tymi dwoma kompilatorów, zastanawiam się, czy jest to ważny kawałek kodu. Jeśli nie, chciałbym lepiej zrozumieć, dlaczego tak się dzieje.

Answer 1

Łącznie wartości const i constexpr. Definicja constexpr jest wartością znaną w czasie kompilacji. Ale zmienna argc jest znana tylko w czasie wykonywania (jest to liczba argumentów przekazywanych do pliku wykonywalnego). Nie można go przypisać do innej zmiennej constexpr - . Usunięcie constexpr z definicji res_foo spowoduje, że Twój kod będzie kompilowany.

Różnica między const i constexpr można uprościć do czegoś takiego:
const - Nie zamierzam zmienić tę wartość
constexpr - Wartość ta jest znany w czasie kompilacji i nie będę aby go zmienić

Domyślam się, że GCC jest w stanie skompilować ten kod z O2, ponieważ nie używasz argumentu arg_foo, a jego rozmiar jest znany w czasie kompilacji. Ale nadal jest niepoprawna pod względem składni - kompilator powinien wysyłać błąd, ponieważ wartość niebędąca constexpr jest przypisana do zmiennej constexpr.

Answer 2

Program jest dobrze sformułowany, ponieważ foo(arg) jest stałym wyrażeniem rdzeniowym zdefiniowanym w C++ 14 5.20/2. W szczególności nie ma konwersji l-wartość do r-wartości podczas oceny, co spowodowałoby, że nie stała się ona wyrażeniem.