Longitud de la matriz en el argumento de la función

Este es un código bien conocido para calcular la longitud de la matriz en C:

sizeof(array)/sizeof(type)

Pero parece que no puedo averiguar la longitud de la matriz pasada como argumento a una función:

#include <stdio.h>

int length(const char* array[]) {
  return sizeof(array)/sizeof(char*);
}

int main() {
  const char* friends[] = { "John", "Jack", "Jim" };
  printf("%d %d", sizeof(friends)/sizeof(char*), length(friends)); // 3 1
}

Supongo que la matriz se copia por valor en el argumento de la función como puntero constante y la referencia debería resolver esto, pero esta declaración no es válida:

int length(const char**& array);

Considero que pasar la longitud de la matriz como segundo argumento es información redundante, pero ¿por qué la declaración estándar de main Me gusta esto:

int main(int argc, char** argv);

Explique si es posible averiguar la longitud de la matriz en el argumento de la función y, de ser así, ¿por qué existe la redundancia en main.

la matriz decae a un puntero cuando se pasa.

Sección 6.4 de las Preguntas Frecuentes C cubre esto muy bien y proporciona las referencias de K&R, etc.

Aparte de eso, imagine que fuera posible que la función supiera el tamaño de la memoria asignada en un puntero. Podría llamar a la función dos o más veces, cada vez con diferentes matrices de entrada que tenían longitudes potencialmente diferentes; por lo tanto, la longitud tendría que pasarse como una variable oculta secreta de alguna manera. Y luego considere si pasó un desplazamiento a otra matriz, o una matriz asignada en el montón (malloc y todas son funciones de biblioteca, algo a lo que el compilador se vincula, en lugar de ver y razonar sobre el cuerpo de).

Se está volviendo difícil imaginar cómo podría funcionar esto sin algunos objetos de corte detrás de escena y demás, ¿verdad?

Symbian tenía un AllocSize() función que devolvió el tamaño de una asignación con malloc(); esto solo funcionó para el puntero literal devuelto por el malloc, y obtendría un galimatías o un bloqueo si le pidiera saber el tamaño de un puntero no válido o un puntero desplazado de uno.

No querrás creer que no es posible, pero realmente no lo es. La única forma de saber la longitud de algo pasado a una función es realizar un seguimiento de la longitud y pasarla como un parámetro explícito separado.

El mejor ejemplo está aquí

gracias #define TALLA 10

void size(int arr[SIZE])
{
    printf("size of array is:%d\n",sizeof(arr));
}

int main()
{
    int arr[SIZE];
    size(arr);
    return 0;
}

Como dijo @Will, el decaimiento ocurre durante el paso de parámetros. Una forma de evitarlo es pasar el número de elementos. Para agregar a esto, usted puede encontrar el _countof() macro útil: hace el equivalente de lo que has hecho;)

int arsize(int st1[]) {
    int i = 0;
    for (i; !(st1[i] & (1 << 30)); i++);
    return i;
}

Esto funciona para mí 🙂