pointeurs de vide: différence entre C et C++

Question

J'essaie de comprendre les différences entre C et C++ en ce qui concerne les pointeurs de vide. les compiles suivants en C mais pas C++ (toutes les compilations faites avec -ansi -pedantic -Wall gcc/g ++):

int* p = malloc(sizeof(int)); 

Because malloc retours void*, C++ qui ne permet pas d'attribuer à int* en C ne permet cette.

Cependant, ici:

void foo(void* vptr) 
{ 
} 

int main() 
{ 
    int* p = (int*) malloc(sizeof(int)); 
    foo(p); 
    return 0; 
} 

Les deux C++ et C Compile avec ne se plaint. Pourquoi?

K & R2 dire:

Tout pointeur sur un objet peut être convertie en type void * sans perte d'information. Si le résultat est reconverti au type de pointeur d'origine , le pointeur d'origine est récupéré.

Et ce résume assez tout ce qu'il ya environ void* conversions en C++ C Qu'est-ce diktat norme?

Answer 1

En C, les conversions de pointeur vers et à partir de void* étaient toujours implicites.

En C++, les conversions de T* à void* sont implicites, mais void* nécessite une conversion.

Answer 2

C++ est plus fortement typé que C. De nombreuses conversions, en particulier celles qui impliquent une interprétation différente de la valeur, nécessitent une conversion explicite. L'opérateur nouvel en C++ est un moyen sûr d'allouer la mémoire sur heap, sans une distribution explicite.

Answer 3

Il est utile de comprendre que les conversions de type pointeur ne nécessitent pas vraiment l'exécution d'instructions CPU supplémentaires. Ils sont analysés pendant la compilation pour comprendre les intentions du développeur. void * est un pointeur opaque. Tout cela dit que le type d'objet pointé est inconnu. C est faiblement typé. Il permet la conversion directe entre (void *) et tout (T*) implicitement. C++ est fortement typé. Une conversion de (void *) vers (T*) ne ferait pas vraiment de cas pour une langue fortement typée. Mais C++ devait rester rétrocompatible avec C, donc il devait permettre de telles conversions. Le principe directeur est alors: explicite est meilleur qu'implicite. Par conséquent, si vous souhaitez convertir un pointeur (void*) en un pointeur spécifique (T*), vous devez l'écrire explicitement dans le code. La conversion de (T*) en (void*) ne nécessite pas de conversion explicite, car il n'y a rien de plus pratique sur un pointeur (void *) directement (on peut cependant appeler free()). Par conséquent (T*) à la conversion (void*) est à peu près sûr.