niejawny constexpr?

Question

Czy kompilatory C++ 11 (i czy nie) zauważają, że funkcja jest constexpr i traktować je jako takie, nawet jeśli nie są one zadeklarowane jako constexpr?

byłem demonstrujący użycie constexpr komuś na przykładzie prosto z Wikipedii:

int get_five() {return 5;} 

int some_value[get_five() + 7]; // Create an array of 12 integers. Ill-formed C++ 

Ku mojemu zaskoczeniu kompilator było OK z nim. Więc dalej zmieniłem get_five(), aby wziąć kilka parametrów int, pomnożyć je i zwrócić wynik, nadal nie będąc jawnie deklarowanym jako constexpr. Kompilator też był w porządku. Wygląda na to, że jeśli kompilator może to zrobić, nie ma sensu posiadanie ograniczeń, które są wymagane, aby jawnie zadeklarować coś, co jest niemożliwe.

Answer 1

Na poprawnie działającym kompilatorze C++ 11 Twój kod zostałby odrzucony.

Na podstawie tego, że został zaakceptowany, prawie na pewno używasz gcc (lub czegoś, co dokładnie emuluje jego błędy). gcc [zależnie od flag] może przyjmować rozmiary tablic, które nie są stałe przez żadną miarę (np. zależą od danych wejściowych od użytkownika), ponieważ obsługują analog C99 o zmiennej długości w C++.

Answer 2

Kompilator może wykryć, czy dana czynność mogła zostać zadeklarowana z constexpr nawet gdy nie mają, na optymalizacja celów (tj obliczania wyniku funkcji w czasie kompilacji). Kompilatory zrobiły to przed C++ 11.

Ale do użytku w miejscach, które wymagają stałych wyrażeń, takich jak parametry szablonu typu całkowego, niezgodne ze standardem jest umożliwienie wywoływania funkcji, które nie są zadeklarowane za pomocą słowa kluczowego constexpr.