Pourquoi Microsoft Visual C ne parvient-il pas à implémenter correctement l'instanciation de modèle en deux phases ?

Le mystère de l'instanciation de modèle en deux phases « cassée » dans Microsoft Visual C

Énoncé du problème :

Utilisateurs courants expriment des inquiétudes quant au fait que Microsoft Visual C (MSVC) a du mal à implémenter correctement l'instanciation de modèle en deux phases. Quels aspects spécifiques du mécanisme ne fonctionnent pas comme prévu ?

Contexte :

L'instanciation de modèle en deux phases implique une vérification de syntaxe initiale que MSVC aurait effectuée. Cependant, des doutes surgissent quant à savoir si cette vérification vérifie si les noms utilisés dans les modèles sont déclarés de manière appropriée.

Explication :

En effet, la vérification initiale de la syntaxe de MSVC a une portée limitée. Il ne parvient pas à vérifier la présence des noms déclarés, ce qui entraîne des problèmes de compilation lorsque les noms manquent de déclarations appropriées.

Pour illustrer cela, considérons l'exemple suivant :

int foo(void*);

template<typename T> struct S {
  S() { int i = foo(0); }
};

void foo(int);

int main() {
  S<int> s;
}

Un compilateur conforme aux normes résoudrait l'appel foo(0) pendant la première phase et le lierait à foo(void*). Cependant, MSVC reporte ce processus à la deuxième phase, liant de manière incorrecte foo(0) à foo(int) et entraînant une erreur.

De plus, l'implémentation par MSVC de la deuxième phase s'écarte de la spécification du langage de deux manières. :

1. Il étend la recherche non-ADL avec les déclarations accumulées au cours de la deuxième phase.
2. Il est incorrect résout les expressions dépendantes, telles que bar(t) dans le code ci-dessous, en déclarations qui ne sont visibles que pendant la deuxième phase.

namespace N {
  struct S {};
}

void bar(void *) {}

template <typename T> void foo(T *t) {
  bar(t);
}

void bar(N::S *s) {}

int main() {
  N::S s;
  foo(&s);
}

Dans les deux cas, le comportement de MSVC contrevient à la séparation spécifiée entre les première et deuxième phases d'instanciation du modèle. Cette implémentation incorrecte persiste dans Visual Studio 2015.

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!