Puntero que apunta a una matriz vacía

Question

Tengo un puntero que apunta al inicio de una matriz, pero necesito verificar que no esté asignado. Pensé en quitarle la referencia al puntero y verificar si es NULO, pero eso lleva a un error de tipo. ¿Alguien puede ver lo que estoy haciendo mal?

int mydispose(int *array){ 
    int i = 0; 

    if(*array == NULL){ 
      return 1; 
    } 

    return ; 

}

EDIT: Lo siento si yo era claro: tengo un puntero que apunta al inicio de una matriz, pero me gustaría comprobar si la matriz está vacía.

Answer 1

*array == NULL es incorrecto. Está desreferenciando el puntero primero (lo que podría conducir a un segfault si el puntero realmente es nulo) y luego comparando su valor int con un valor de puntero. Además, su compilador aceptará perfectamente esa expresión errónea si NULL se define como 0 y no (void *) 0.

Debe comprobar array == NULL para ver si el puntero pasado se refiere a algo, y luego desreferenciarlo solo en caso de que no sea NULL.

Tenga en cuenta, sin embargo, que eliminar la referencia de un puntero no nulo no garantiza que sea una operación segura tampoco. Si el puntero contiene un valor de basura porque se asignó en la pila y no se inicializó, o si se refiere a una región de memoria desasignada, pueden ocurrir errores desagradables.

Answer 2

Quiere if (array == NULL) - pero, a menos que inicialice primero array en NULL, tampoco servirá de nada. Creo que será mejor que retroceda y nos cuente un poco más sobre lo que está tratando de lograr, y trate de obtener ayuda para lograr su objetivo general.

Answer 3

Debe utilizar de esta manera:

if(array == NULL) ... 

Answer 4

La única forma segura de determinar el estado de asignación de *array es:

1. Asegúrese *array se establece en NULL no se asigna. int *array = NULL;
2. Comprobar si la matriz es NULL: if (array == NULL) return -1;

Answer 5

no se puede comprobar de forma fiable si se asigna algún lugar de la memoria. *array no es un código válido, porque es lo mismo que array[0], pero array[0] no está asignado. La ubicación de memoria no asignada puede contener cualquier valor.

La única opción es asegurarse de obtener la información si la matriz se asigna junto con su matriz. Una opción popular es representar una matriz no asignada como NULL, pero también puede elegir otra opción.

Por cierto, hay una diferencia entre una matriz vacía (es decir, una matriz de tamaño 0) y una matriz que no está asignada en absoluto. La primera opción ocurre cuando usa malloc(0), la segunda cuando su puntero no se inicializa en absoluto. Para malloc(0), puede devolver NULL, pero puede devolver un puntero que no sea NULL (que, sin embargo, no puede desreferencia). Ambas formas son válidas de acuerdo con el estándar.

Answer 6

El problema inmediato con su código es que desreferencia array antes de compararlo a NULL. El tipo de la expresión *array es int, no int *. Dejar fuera el operador eliminar la referencia y los tipos coincidirán:

if (array == NULL) {...} 

Tenga en cuenta que un puntero no inicializado sólo se garantiza para contener NULL si se declara con medida estática (es decir, se declaró ya sea en el ámbito de archivo o con la palabra clave static en frente de eso). Del mismo modo, llamando al free en un puntero no establecerá ese valor del puntero en NULL; contendrá el mismo valor de puntero que antes, pero ahora no será válido.