Czy można zdefiniować alias typu do funkcji constexpr

Question

W C++ 11 lub C++ 14, próbuję zdefiniować alias typu do funkcji constexpr.

Próbowałem:

#include <iostream> 
constexpr int foo(int i, int j) { return i + j; } 
using TConstExprFunction = constexpr int (*)(int i, int j); 

int main() { 
    TConstExprFunction f = foo; 
    constexpr int i = f(1, 2); 
    std::cout << i << std::endl; 
} 

Ale to nie skompilować z g ++ i Clang ++.

g ++: error: expected type-specifier before 'constexpr'

dzyń ++: error: type name does not allow constexpr specifier to be specified

mam zrobić jak poniżej, aby skompilować

#include <iostream> 
constexpr int foo(int i, int j) { return i + j; } 
using TConstExprFunction = int (*)(int i, int j); 

int main() { 
    constexpr TConstExprFunction f = foo; 
    constexpr int i = f(1, 2); 
    std::cout << i << std::endl; 
} 

Z brzękiem ++ 's komunikatem o błędzie, wydaje się nie mogę za pomocą constexpr dla Wpisz imię.

Czy istnieje możliwość zdefiniowania aliasu typu do funkcji constexpr; Jeśli tak, w jaki sposób?

Answer 1

Według C++ standardowej 7.1.5/P8 constexpr specyfikator [dcl.constexpr] (podkr)

constexpr specyfikator ma wpływ na rodzaj z constexpr funkcja lub konstruktor constexpr.

Również z 7 deklaracji [dcl.dcl]:

alias-declaration: 
using identifier attribute-specifier-seqopt = defining-type-id ; 

constexpr specyfikator nie jest częścią typu A funkcji. W konsekwencji, nie można zrobić:

using TConstExprFunction = constexpr int (*)(int i, int j); 

Ponieważ po using TConstExprFunction = oczekiwany jest typ.

Answer 2

Nie można zdefiniować aliasu typu do funkcji constexpr.