Pourquoi cette bizarre compatibilité de bool et de pointeurs en C++?

Question

Non seulement cela est valable et ne donne pas d'avertissement même avec -Wall:

void* p = false; // actually 'true' doesn't work here 
bool b = "Hello, Boolean!"; 

mais aussi cette règle de compatibilité permet la sélection d'une fonction/opérateur surchargé pour un mauvais type. Disons que vous avez surchargé votre operator << pour tous les types fondamentaux et vous avez oublié de surcharger le pointeur vide, alors le compilateur peut sélectionner la version qui prend bool, ou l'inverse.

Alors qu'est-ce qui rend cette règle de compatibilité plus importante que les effets secondaires bizarres (et hautement indésirables) avec des fonctions surchargées?

(Edit: suppression de toutes les références à C, ils ont eu tort: ​​les règles de conversion sont fondamentalement les mêmes en C.)

Answer 1

Que voulez-vous dire par « C peut gérer cela correctement »? C n'autorise pas la surcharge de fonctions, donc vous êtes assuré d'avoir la booléenne < -> pointeur de conversion dont vous vous plaignez.

Demandez-vous pourquoi cette conversion existe? Le premier n'est pas réellement un bool -> pointeur de conversion, mais reconnaît que le false littéral signifie 0, qui est une valeur de pointeur valide. C'est pourquoi cela ne fonctionne pas avec true, et cela ne fonctionne pas avec une variable bool.

Le second est parce qu'il est agréable de pouvoir écrire:

if (p) 

au lieu de

if (p != 0) 

pour vérifier si un pointeur contient une valeur de pointeur NULL.

EDIT: Les règles de la norme influence T* p = false;:

Une constante de pointeur null est une expression constante intégrale prvalue de type entier qui évalue à zéro

et

Types bool, char, char16_t, char32_t, wchar_t, et les types entiers signés et non signés sont collectivement appelés types entiers. Un synonyme de type intégral est un type entier.

et

Les booléennes sont les mots-clés faux et vrai. De tels littéraux sont prvalues ​​et ont le type bool.