Czy możemy pominąć const dla zmiennych lokalnych w funkcjach constexpr?

Question

Na przykład:

constexpr int g() { return 30; }  

constexpr int f() 
{ 
    // Can we omit const? 
    const int x = g(); 
    const int y = 10; 

    return x + y; 
} 

Czy istnieje dowolny punkt, aby kiedykolwiek zadeklarować zmienne lokalne w constexpr funkcji z const?

nie są constexpr funkcje z const zmiennych lokalnych równoważne do tych bez const?

Innymi słowy, czy constexpr na funkcji nakłada (imply) const na swoje zmienne lokalne?

Answer 1

Te same argumenty do deklarowania zmiennych jak const w nie- constexpr funkcji również zastosowanie do constexpr funkcji:

• Deklarowanie zmiennej const dokumentuje fakt, że nigdy nie będzie można zmienić. Może to w niektórych przypadkach sprawić, że funkcja będzie bardziej czytelna.
• Deklarowanie zmiennej wpływa na rozdzielczość przeciążania i może spowodować, że h(x) zmieni się w inny sposób w zależności od tego, czy x jest const.

Oczywiście, w przeciwnym kierunku, jak wspomniano w komentarzach już:

nawet w constexpr funkcje, zmienne lokalne mogą być zmieniane. Jeśli zmienne zostaną zmienione, tak aby były const, próby ich zmiany nie będą już akceptowane.

Answer 2

Zasadniczo funkcja nie może być obliczona podczas kompilacji i dlatego nie można jej wywołać w wyrażeniu stałym. Określenie funkcji jako constexpr wskazuje, że można jej użyć w wyrażeniach stałych, jeśli jej argumenty wejściowe są stałe. Na przykład to ...

constexpr int n = func(7); 

... musi być oceniony podczas kompilacji.

To jest znaczenie constexpr przed funkcjami. W tym przypadku nie wynika z tego, że zmienne lokalne w funkcji nie muszą być określone jako const.

Answer 3

W ten konkretnym przykładzie zmienne lokalne byłby najlepszy oświadczył constexpr nie const, ponieważ może być obliczane w czasie kompilacji:

constexpr int g() { return 30; }  

constexpr int f() 
{ 
    constexpr int x = g(); 
    constexpr int y = 10; 

    return x + y; 
} 

Kiedy f() nazywa się w czasie pracy, bez constexpr na x i y, (z lub bez const na x i y) dajesz kompilatorowi opcję inicjowania x i y w czasie wykonywania zamiast czasu kompilacji.W przypadku constexpr na x i y kompilator jest kompilowany w czasie kompilacji, nawet gdy f() jest wykonywany w czasie wykonywania.

W innej funkcji jednak nie zawsze można użyć constexpr. Na przykład jeśli f() i g() wziął parametr:

constexpr int g(int z) { return z+30; }  

constexpr int f(int z) 
{ 
    const int x = g(z); 
    constexpr int y = 10; 

    return x + y; 
} 

Teraz x nie można oznaczyć constexpr ponieważ z nie może być stałą czasu kompilacji, a obecnie nie ma sposobu, aby oznaczyć go jako taki. Tak więc w tym przypadku oznaczenie xconst jest najlepsze, co możesz zrobić.

Answer 4

Nie tylko może, ale czasami koniecznością (tj Jeśli zmienna zmianami), np:

constexpr size_t f(size_t n) { 
    size_t val = 1; 
    if (n == 0) val++; 
    return val; 
} 
char arr0[f(0)] = {'a', 'x'}; 
char arr1[f(1)] = {'y'}; 

jest w porządku w C++ 14.