Pourquoi « if constexpr » provoque-t-il des erreurs de compilation dans les fonctions non basées sur un modèle en C 17 ?

Erreur lors de l'utilisation de "If constexpr" dans les fonctions non modélisées en C 17

En C 17, l'instruction "if constexpr" permet évaluer et compiler conditionnellement du code basé sur des expressions constantes. Cependant, cette fonctionnalité présente une limitation lorsqu'elle est utilisée dans des fonctions non basées sur un modèle.

Code :

<code class="cpp">#include <iostream>
#include <type_traits>

void print(auto value)
{
  if constexpr (std::is_pointer_v<decltype(value)>)
    std::cout << "Ptr to " << *value << std::endl;
  else
    std::cout << "Ref to " << value << std::endl;
}</code>

Problème :

Lorsque "if constexpr" est utilisé dans une fonction non-modèle, comme indiqué ci-dessus, une erreur de compilation se produit lors de la tentative de déréférencement d'une valeur non-pointeur. Cette erreur survient car, contrairement aux fonctions basées sur un modèle, "if constexpr" dans les fonctions non basées sur un modèle n'empêche pas la compilation des chemins de code qui ne sont pas utilisés.

Explication :

Dans les fonctions basées sur un modèle, "if constexpr" permet au code d'être compilé de manière conditionnelle en fonction de la valeur des paramètres du modèle. Dans ce cas, le compilateur peut déterminer au moment de la compilation si le modèle est valide pour une spécialisation donnée et instancier uniquement le chemin de code nécessaire.

Cependant, dans les fonctions non basées sur un modèle, "if constexpr" agit uniquement comme un instruction conditionnelle au moment de l’exécution. Le compilateur analyse toujours les deux branches de l'instruction conditionnelle, et si un code dans la branche non prise n'est pas valide, une erreur de compilation se produira.

Solution :

Pour éviter cette erreur, utilisez "if constexpr" uniquement dans les fonctions basées sur un modèle ou dans les fonctions non basées sur un modèle dont le type est connu au moment de la compilation et dont la validité est garantie pour les deux branches de l'instruction conditionnelle.

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!