C hace que las matrices y los punteros sean inseparables. No se puede escribir código eficaz sin comprender su relación. Se necesita tiempo para dominarlo. La recompensa es el control inmediato sobre la memoria.
Considere una configuración básica. Declaras dos matrices de enteros de tamaño diez.
Compila esto. Falla. No puede asignar una matriz a otra usando el signo igual. C no admite la copia masiva mediante operadores de asignación. Para copiar a en b, debes recorrer cada elemento.
Podrías comprimir ese bucle en una sola línea con un operador de coma, pero la legibilidad se ve afectada. El enfoque estándar es utilizar memcpy de string.h. Maneja la copia a nivel de bytes de manera eficiente.
El fracaso de b=a revela una regla fundamental. En C, las variables de matriz no son matrices. Son punteros fijos. a y b son identificadores permanentes para la dirección inicial de sus respectivos bloques de memoria. a apunta a a[0]. b apunta a b[0]. Estas direcciones son inmutables. No puede redirigir el nombre de una variable a una ubicación de memoria diferente. Por eso el encargo fracasa. El compilador trata el nombre de la matriz como un puntero constante.
Dado que el nombre es efectivamente un puntero, puede utilizar la aritmética de punteros para acceder a los datos. Aquí es donde la sintaxis se vuelve poderosa.
Aquí, p es una variable de puntero. Puede asignar la dirección de la matriz a a p. La declaración p=a copia la dirección. Ahora p tiene el mismo valor que el nombre de la matriz a. Al eliminar la referencia a p con *p se recupera el primer elemento. La salida es cero.
Esta distinción es importante porque las variables de puntero se pueden cambiar. Puedes hacer que p apunte a a[1] o a[5] usando aritmética. El nombre de la matriz permanece bloqueado al principio. Esta flexibilidad permite que las funciones iteren a través de la memoria sin copiar grandes estructuras de datos. Es la columna vertebral del rendimiento de bajo nivel en C.
Comprender este vínculo evita errores sutiles. Explica por qué algunas funciones aceptan punteros en lugar de sintaxis de matriz. Aclara el diseño de la memoria. Ignórelo y tendrá problemas con errores de segmentación o sobrescrituras de datos no deseadas. Aprendalo y verá exactamente lo que está haciendo la máquina.
La sintaxis puede parecer antinatural al principio. El doble significado de los corchetes y los asteriscos confunde a los principiantes. Pero una vez que el modelo encaja, la abstracción desaparece. Te quedan direcciones y valores. Nada más.
¿Vale la pena el esfuerzo mental? El código se vuelve más rápido. El uso de la memoria cae. Obtiene acceso directo a operaciones a nivel de hardware. La mayoría de los programas C dependen
Puede asignar una variable de matriz directamente a un puntero porque, en el fondo, son esencialmente lo mismo.
p=a; no funciona por magia, sino porque a se descompone en un puntero. Específicamente, apunta a la dirección de memoria del primer elemento de la matriz (índice 0). Dado que ese elemento es un número entero, a actúa como un puntero a un único int. Declarar p como un puntero entero y establecerlo igual a a es simplemente permitir que dos variables compartan la misma dirección. Podrías escribir p=&a[0]; en su lugar. El resultado es idéntico.
Una vez que p está conectado al inicio de a, obtienes movilidad. Los nombres de matrices como a son constantes; son direcciones fijas que no pueden cambiar. Los punteros como p son diferentes. Puedes moverlos usando aritmética de punteros.
Aquí es donde C se vuelve inteligente.
Cuando escribes p++;, el compilador no solo agrega un byte a la dirección. Sabe que p apunta a un número entero. En su lugar, agrega bytes sizeof(int), aterrizando exactamente en el siguiente elemento. Si p apuntara a una estructura de 100 bytes de longitud, p++ saltaría 100 bytes hacia adelante. C maneja las matemáticas. Simplemente mueves el puntero.
Copiar matrices sin índices
Puede copiar una matriz en otra usando estos punteros. En lugar de un bucle estándar con índices:
Puedes usar punteros:
Es detallado. Puedes comprimirlo.
O contraerlo en una sola línea.
La prioridad del operador aquí es levantar objetos pesados. * tiene mayor prioridad que ++, pero el incremento posterior ocurre después de que se recupera el valor. Entonces *p++ recupera el valor actual y luego mueve el puntero. *q++ hace lo mismo para el destino. La tarea ocurre en el medio. Es compacto. Es rápido. También es fácil malinterpretar si no prestas atención.
La zona de peligro
¿Qué sucede si presiona p o q más allá del final de la matriz?
C no te detiene.
El compilador asume que sabes lo que estás haciendo. Seguirá incrementando los punteros, copiando datos en la memoria que no pertenecen a la matriz. Es posible que sobrescriba otras variables. Podrías corromper la pila. Podrías bloquear el programa más tarde, en algún lugar no relacionado con el error.
Es por eso que la verificación de límites es manual en C. El lenguaje confía en usted. Cuando te pasas de la raya, pagas el precio.
Pasar matrices a funciones
Puede pasar matrices a funciones de dos maneras. Se ven diferentes pero se comportan de manera similar.
Considere una función que imprime una matriz:
O la versión de puntero:
El parámetro nia (número en la matriz) es obligatorio. Las matrices en C no llevan consigo su tamaño. La función necesita saber cuándo detenerse.
En ambos casos, está pasando un puntero al inicio de la matriz, no
