Respuesta.

Al pasar un puntero o un arreglo a una función en C, en realidad se pasa una copia del valor del puntero (es decir, la dirección de memoria), no el arreglo o el contenido de la memoria. Históricamente, los arreglos en C no se pasan por valor; en su lugar, se pasa un puntero al primer elemento del arreglo. Este mecanismo ahorra memoria, pero conlleva efectos secundarios no deseados cuando se utilizan incorrectamente.

Problema: confusión entre punteros y arreglos: a menudo los desarrolladores piensan que dentro de la función no se puede modificar el arreglo externo o que la función sabe automáticamente el tamaño del arreglo pasado. En la práctica, la función pierde el tamaño original del arreglo y puede fácilmente salir de sus límites.

Solución: siempre pasar explícitamente el tamaño del arreglo como un argumento separado, entender claramente la diferencia entre una copia del puntero y una copia del objeto, y no olvidar que cualquier cambio a través del puntero afecta los datos originales.

Ejemplo de paso correcto del arreglo:

void print_array(const int* arr, size_t size) {
    for (size_t i = 0; i < size; ++i)
        printf("%d ", arr[i]);
}

int main() {
    int nums[] = {1,2,3,4,5};
    print_array(nums, sizeof(nums)/sizeof(nums[0]));
    return 0;
}

Características clave:

Se pasa la dirección del arreglo, no una copia de los elementos.
El tamaño del arreglo debe ser pasado explícitamente.
Cambios en los elementos dentro de la función afectan el arreglo externo.

Preguntas engañosas.

¿Puede una función conocer la longitud del arreglo pasado, si fue declarado como int arr[10]?

Respuesta: No, dentro de la función la expresión sizeof(arr) devolverá el tamaño del puntero, no del arreglo completo. El tamaño debe ser pasado por separado.

¿Pasar un arreglo como int arr[] y como int arr en funciones es lo mismo?*

Respuesta: Sí, en la firma de la función es equivalente; en ambos casos se pasa un puntero a int. Solo hay diferencias en la sintaxis.

¿Al modificar los elementos del arreglo dentro de la función, se cambiará el arreglo original?

Respuesta: Sí, ya que se pasó un puntero, la función modifica la memoria a la que apunta.

Errores comunes y anti-patrones

No pasar el tamaño del arreglo como argumento (salida de límites).
Usar sizeof(arr) para determinar el tamaño del arreglo en la función (resultado incorrecto).
Confundir int arr[10] con int* arr en diferentes contextos.

Ejemplo de la vida real

Caso negativo

El proyecto implementó una función de inicialización de arreglos, determinando el tamaño dentro de la función mediante sizeof(arr) / sizeof(arr[0]). En la etapa de pruebas, la función funcionaba, pero al procesar otros arreglos, sobrescribía memoria ajena o funcionaba incorrectamente.

Ventajas:

Se simplificaba la firma de la función.

Desventajas:

El programa fallaba o funcionaba incorrectamente con otros datos.

Caso positivo

La función siempre recibió el tamaño del arreglo como un parámetro separado, la longitud se calculaba desde el lado que llamaba. Dentro de la función solo se trabajaba con los parámetros pasados.