La macro NULL peut-elle être une nullptr ?

Question

Selon le projet de norme N4713 (7.11/1) :

Une constante de pointeur nulle est un littéral entier (5.13.2) de valeur zéro ou une prvalue de type std::nullptr_t .

et 21.2.3/2 :

La macro NULL est une constante à pointeur nul définie par l'implémentation.

suivre cela NULL peut être définie comme suit nullptr . La même chose est mentionnée sur cppréférence :

#define NULL 0
//since C++11
#define NULL nullptr

Dans le même temps, la clause "Opérateurs additifs" stipule (8.5.6/7) :

Si la valeur 0 est ajouté ou soustrait à une valeur de pointeur nulle, le résultat est une valeur de pointeur nulle. Si deux valeurs sont soustraites, le résultat est égal à la valeur 0 converti au type std::ptrdiff_t .

Le code suivant devrait donc être valide :

0 + nullptr; 
nullptr - nullptr; 

mais en raison de l'absence d'opérateurs +/- pour les std::nullptr_t les le code n'est pas valide .

Y a-t-il quelque chose que je n'ai pas pris en compte ? NULL ne peut pas être définie comme nullptr ?

Answer 1

En nullptr est un pointeur nul constante il ne s'agit pas d'un pointeur nul valeur . Ce dernier est une valeur d'un certain type de pointeur, qui std::nullptr_t ne l'est pas.

Référence :

Une constante de pointeur nulle est un littéral entier (5.13.2) de valeur zéro ou une prvalue de type std::nullptr_t . Une constante de pointeur nul peut être convertie en un type de pointeur ; le résultat est la valeur de pointeur nul de ce type. a et se distingue de toute autre valeur de type pointeur d'objet ou pointeur de fonction. Une telle conversion est appelée une conversion de pointeur nul. [...]

7.11/1 dans N4659, souligner la mienne

Donc NULL peut en effet être nullptr sans fournir les opérateurs arithmétiques.

Answer 2

nullptr est un littéral de pointeur nul, et bien que le résultat de la conversion de nullptr à un type de pointeur est la valeur nulle du pointeur, nullptr lui-même n'est pas de type pointeur, mais de type std::nullptr_t . L'arithmétique fonctionne si l'on convertit le nullptr à un type de pointeur :

0 + (int*)nullptr; 
(int*)nullptr - (int*)nullptr;

---

La macro NULL peut-elle être une nullptr ?

Oui, car nullptr est un littéral de pointeur nul.

Notez qu'avant C++11, toutes les valeurs littérales des pointeurs nuls en C++ étaient également des valeurs littérales d'entiers, d'où ce mauvais code : char c = NULL; travaillait dans le domaine de la pratique. Si les NULL est défini comme suit nullptr ce code ne fonctionne plus.

Answer 3

Pour l'addition, soit les deux opérandes sont de type arithmétique ou de type énumération non encadrée, soit l'un des opérandes est un pointeur sur un type d'objet entièrement défini et l'autre est de type intégral ou de type énumération non encadrée.

Pour la soustraction, l'une des conditions suivantes doit être remplie :
(2.1) les deux opérandes sont de type arithmétique ou de type énumération sans échelle ; ou
(2.2) les deux opérandes sont des pointeurs vers des versions cv-qualifiées ou cv-non qualifiées du même type d'objet entièrement défini ; ou
(2.3) l'opérande gauche est un pointeur sur un type d'objet complètement défini et l'opérande droit est de type intégral ou énumération non cadrée.

std::nullptr_t n'est rien de tout cela, d'où std::nullptr ne peuvent pas participer à des opérations additives.

Notez que toutes les valeurs de pointeur ne peuvent pas participer. Par exemple, les valeurs de pointeur de fonction et les valeurs de pointeur void ne peuvent pas participer, même si l'une ou l'autre peut être une valeur de pointeur nulle.

Answer 4

Le mot-clé nullptr désigne le littéral du pointeur. Il s'agit d'un prvalue de type std::nullptr_t . Il existe des conversions implicites de nullptr à une valeur de pointeur nulle de n'importe quel type de pointeur et de n'importe quel pointeur de type membre. nullptr lui-même n'est pas une valeur de pointeur ni un pointeur. Les opérations arithmétiques ne sont donc pas applicables aux nullptr .