Pourquoi « static_assert » échoue-t-il à la compilation pour une fonction de modèle non appelée ?

Pourquoi static_assert échoue-t-il à la compilation pour une fonction de modèle non appelée ?

Lors de l'utilisation du modèle static_assert, il est prévu que l'assertion échoue uniquement lorsque la fonction de modèle est instanciée. Cependant, dans certains cas, comme celui évoqué ci-dessous, la compilation échoue avant même que la fonction ne soit appelée :

template <typename T>
inline T getValue(AnObject&)
{
    static_assert(false , "this function has to be implemented for desired type");
}

Explication

Selon le standard C en [temp.res]/ 8 :

"Si aucune spécialisation valide ne peut être générée pour une définition de modèle et que ce modèle n'est pas instancié, la définition du modèle est mal formée, aucun diagnostic n'est requis."

Dans le document fourni modèle, aucune spécialisation valide ne peut être générée car la condition static_assert est toujours fausse. Par conséquent, la définition du modèle est mal formée. Même s'il n'est pas instancié, le compilateur peut le rejeter plus tôt.

Solution

Pour résoudre ce problème, le modèle peut être modifié comme suit :

template<typename T>
struct foobar : std::false_type
{ };

template <typename T>
inline T getValue(AnObject&)
{
    static_assert( foobar<T>::value , "this function has to be implemented for desired type");
}

De cette façon , le compilateur ne peut pas rejeter immédiatement le modèle de fonction car il doit instancier la spécialisation appropriée de foobar avant d'évaluer la condition static_assert. Par conséquent, l'erreur de compilation ne se produira que lorsque la fonction est réellement instanciée et que l'assertion échoue.

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!