Estou tentando comparar um parâmetro de função dentro de uma instrução constexpr-if.

Aqui está um exemplo simples:

constexpr bool test_int(const int i) {
  if constexpr(i == 5) { return true; }
 else { return false; }
}

No entanto, quando eu compilar isso com o GCC 7 com os seguintes sinalizadores:g++-7 -std=c++1z test.cpp -o test Eu recebi a seguinte mensagem de erro:

test.cpp: In function 'constexpr bool test_int(int)':
test.cpp:3:21: error: 'i' is not a constant expression
 if constexpr(i == 5) { return true; }

No entanto, se eu substituirtest_int com uma função diferente:

constexpr bool test_int_no_if(const int i) { return (i == 5); }

Em seguida, o código a seguir é compilado sem erros:

int main() {
  constexpr int i = 5;
  static_assert(test_int_no_if(i));
  return 0;
}

Não entendo por que a versão constexpr-if falha na compilação, especialmente porque o static_assert funciona muito bem.

Qualquer conselho sobre isso seria apreciado.

Obrigado!