¿Por qué no se requiere un molde para el puntero a pesar de que malloc lo requiere?

Question

La definición de nuevo en el < nueva> cabecera es:

void* operator new(size_t); 

y la definición de malloc es como se ha dicho:

void* malloc(size_t); 

Ahora, como C++ es un lenguaje fuertemente tipado, se requiere una emitido por el programador para convertir un puntero void * al tipo que el programador requiere ... En malloc, tenemos que realizar un cast, pero no en new, aunque ambos devuelven un puntero void *. ¿Por qué?

Answer 1

Porque cuando usa new, usa (normalmente) una "nueva expresión", que asigna e inicializa un objeto. A continuación, asigna la dirección de ese objeto a un puntero a un objeto del mismo tipo (o principal), que no requiere conversión. Una nueva expresión normal (es decir, no una ubicación nueva) invocará operator new internamente pero el resultado de la nueva expresión es no simplemente el resultado de operator new.

Si invoca directamente al operator new, debe generar su resultado para asignar el valor de retorno a un puntero no nulo, como debe hacer con el resultado de malloc.

Answer 2

Porque tiene la impresión incorrecta de cómo usar malloc. No recibe el tipo como argumento, sino solo el tamaño del tipo.

C y C++ son idiomas diferentes. En C, no necesita convertir el void* de malloc en el tipo de puntero de destino. En C++, el operador new está profundamente integrado en el lenguaje de tal forma que siempre devuelve un valor que corresponde al tipo que usted dio en el argumento.

La regla es bastante simple use new para C++ y malloc para C, no los mezcle.

Answer 3

Porque la llamada operator new es solo un paso generado en toda la cadena cuando se invoca new.

Al hacer s=new my_type(args);, el compilador se expandirá a que:

s = (my_type*)my_type.operator new(sizeof(my_type)); 
s.my_type(args); //Constructor call