Comportement non standard

Article
06/09/2015

Les sections suivantes répertorient certaines des situations dans lesquelles l'implémentation Visual C++ n'est pas conforme à la norme C++. Les numéros de section ci-dessous correspondent aux numéros de section de la norme C++11 (ISO/IEC 14882:2011(E)).

La liste des limites du compilateur qui diffèrent de celles définies par la norme C++ est fournie dans Limites du compilateur.

Types de retour covariant

Les classes de base virtuelle ne sont pas prises en charge en tant que types de retour covariants lorsque la fonction virtuelle a un nombre d'arguments variable. Ceci n'est pas conforme à la section 10.3, paragraphe 7 de la spécification ISO C++. L'exemple suivant ne peut pas être compilé et entraîne une erreur C2688 du compilateur.

// CovariantReturn.cpp
class A 
{
   virtual A* f(int c, ...);   // remove ...
};

class B : virtual A
{
   B* f(int c, ...);   // C2688 remove ...
};

Liaison de noms non dépendants dans des modèles

Le compilateur Visual C++ ne prend pas en charge actuellement la liaison des noms non dépendants lors de l'analyse initiale d'un modèle. Ceci n'est pas conforme à la section 14.6.3 de la spécification ISO C++. Cela peut provoquer la déclaration de surcharges après le modèle à afficher (mais avant que le modèle soit instancié).

#include <iostream>
using namespace std;

namespace N {
   void f(int) { cout << "f(int)" << endl;}
}

template <class T> void g(T) {
    N::f('a');   // calls f(char), should call f(int)
}

namespace N {
    void f(char) { cout << "f(char)" << endl;}
}

int main() {
    g('c');
}
// Output: f(char)

Spécificateurs d'exceptions de fonctions

Les spécificateurs d'exceptions de fonction autres que throw() sont analysés, mais pas utilisés. Ceci n'est pas conforme à la section 15.4 de la spécification ISO C++. Par exemple :

void f() throw(int); // parsed but not used
void g() throw();    // parsed and used

Pour plus d'informations sur les spécifications d'exceptions, consultez Spécifications d'exception.

char_traits::eof()

Selon la norme C++, char_traits::eof ne doit pas correspondre à une valeur char_type valide. Le compilateur Visual C++ applique cette contrainte pour le type char, mais pas pour le type wchar_t. Ceci n'est pas conforme à la spécification du tableau 62 de la section 12.1.1 de la spécification ISO C++. C'est ce qu'illustre l'exemple ci-dessous.

#include <iostream>

int main()
{
    using namespace std;

    char_traits<char>::int_type int2 = char_traits<char>::eof();
    cout << "The eof marker for char_traits<char> is: " << int2 << endl;

    char_traits<wchar_t>::int_type int3 = char_traits<wchar_t>::eof();
    cout << "The eof marker for char_traits<wchar_t> is: " << int3 << endl;
}

Emplacement de stockage des objets

La norme C++ (section 1.8, paragraphe 6) exige que les objets C++ complets aient des emplacements de stockage uniques. Toutefois, avec Visual C++, il existe certaines situations dans lesquelles des types sans données membres partagent un emplacement de stockage avec d'autres types pendant la durée de vie de l'objet.

Partager via