Comment un échec « static_assert » dans un bloc « if constexpr » non pris affecte-t-il la validité du programme ?

Comment un échec static_assert impacte-t-il un bloc if constexpr (false) ?

Un static_assert dans une branche non prise d'un if constexpr La déclaration est jugée mal formée et aucun diagnostic n’est requis. Cette conséquence découle de la règle de [temp.res]/8, qui considère un programme mal formé si aucune spécialisation valide ne peut être générée pour un modèle ou une sous-instruction dans une instruction constexpr if.

Dans le cas de static_assert, si la condition est non dépendante et est évaluée comme fausse, aucune spécialisation valide ne peut être générée pour le modèle contenant l'assertion. Cela rend le programme mal formé, même si la branche n'est pas prise.

Cependant, les static_asserts avec une condition dépendante ne sont pas affectés. Si la condition peut être évaluée comme vraie pour au moins un type, le modèle reste valide.

Exemple

Considérez le code suivant :

template< typename T><
constexpr void other_library_foo(){
    static_assert(std::is_same<T,int>::value);
}

template<class T>
void g() {
  if constexpr (false)
    other_library_foo<T>(); 
}

int main(){
    g<float>();
    g<int>();
}

Bien que la condition if constexpr soit fausse, le code est toujours mal formé car static_assert dans other_library_foo contient une condition non dépendante qui est évalué à faux.

Ce qui précède est le contenu détaillé de. pour plus d'informations, suivez d'autres articles connexes sur le site Web de PHP en chinois!