Microsoft Visual C implémente-t-il correctement l'instanciation de modèle en deux phases ?

Instanciation de modèle en deux phases dans Microsoft Visual C

Problème avec l'instanciation de modèle de MSVC

Dans les discussions sur Stack Overflow, des inquiétudes sont apparues concernant Implémentation incorrecte par Microsoft Visual C (MSVC) de l'instanciation de modèle en deux phases. Ce processus implique une vérification de syntaxe initiale suivie d'une vérification complète du corps de fonction/classe.

Vérification de syntaxe incomplète

En fin de compte, MSVC effectue uniquement une vérification de syntaxe de base sur les entités de modèle. Il ne vérifie pas entièrement que les noms référencés ont été au moins déclarés, ce qui entraîne l'omission d'erreurs potentielles.

Recherche incorrecte en deux phases

Au-delà de la vérification incorrecte de la syntaxe, le processus de recherche en deux phases lui-même fait face à des problèmes dans MSVC. Au cours de la première phase, les expressions dépendantes telles que les appels de fonction ou de membre ne sont pas entièrement résolues. Au lieu de cela, MSVC reporte la résolution à la deuxième phase.

Cependant, le problème de cette approche devient apparent dans la deuxième phase. Alors que la norme exige que seules les déclarations ajoutées entre les points de définition et d'instanciation puissent être introduites lors de la deuxième phase de recherche, MSVC ne respecte pas cette restriction. Il étend la recherche ordinaire non qualifiée pour inclure les déclarations qui étaient visibles au cours de la première phase, entraînant des erreurs de liaison potentielles et un comportement d'exécution incorrect.

Exemple de cas

Un exemple illustratif qui met en évidence ces erreurs se produit lors d'une tentative pour résoudre l'expression foo(0) dans une classe de modèle S. Alors qu'un compilateur conforme aux normes résoudrait cet appel au cours de la première phase et le lierait à foo(void*), MSVC diffère résolution et tente de le lier à foo(int), provoquant une erreur.

Importance du problème

Cette implémentation incorrecte affecte la fonctionnalité du code et l'expérience du développeur. Cela peut entraîner des erreurs inattendues, difficiles à diagnostiquer et à résoudre. De plus, cela peut entraver la portabilité du code vers d'autres compilateurs et plates-formes.

Conclusion

Le problème de l'instanciation de modèle en deux phases dans Microsoft Visual C est une préoccupation importante qui a été reconnue par développeurs. Il est important que les développeurs utilisant MSVC soient conscients de ces problèmes et prennent les précautions appropriées pour éviter les erreurs inattendues.

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!