Можно ли определить псевдоним типа для функции constexpr

Question

В C++ 11 или C++ 14 я пытаюсь определить псевдоним типа для функции constexpr.

Я пробовал:

#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; 
} 

Но он не компилировать с г ++ и лязг ++.

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

лязг ++: error: type name does not allow constexpr specifier to be specified

я должен делать, как показано ниже, чтобы сделать его компиляции

#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; 
} 

От лязга ++ сообщение об ошибке 's, кажется, я не могу с помощью constexpr для имя типа.

Итак, можно ли определить псевдоним типа для функции constexpr; Если да, то как?

Answer 1

Согласно стандарту C++ 7.1.5/P8 constexpr спецификатор [dcl.constexpr] (Упор Шахта):

constexpr спецификатор не имеет никакого эффекта на типе constexpr функция или constexpr конструктор.

Кроме того, из 7 деклараций [dcl.dcl]:

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

constexpr спецификатор не является частью типа А функции. Следовательно, вы не можете сделать:

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

Поскольку после using TConstExprFunction = ожидается тип.

Answer 2

Вы не можете определить псевдоним типа для функции constexpr.