Ermöglichen Constval -Funktionen Templatparameter abhängig von Funktionsargumenten? ⇐ C++

[Anonymous]

In C ++ 17 ist dieser Code illegal: < /p>

Code: Select all

constexpr int foo(int i) {
return std::integral_constant::value;
}
< /code>

Das liegt daran, dass der Compiler auch dann, wenn Foo < /code> zur Kompilierungszeit bewertet werden kann, die Anweisungen zur Ausführung zur Laufzeit erstellen muss, wodurch die Template-Instantiation unmöglich wird. Einschränkung sollte entfernt werden. Bedeutet das, dass dieser Kodex legal sein wird? < /P>

consteval int foo(int i) {
return std::integral_constant::value;
}