Come dici tu è un vettore di puntatori, quindi devi dividere per le dimensioni di un puntatore.
Codice PHP:
#include <stdio.h>
int main()
{
const char* array[] = {"Bengala", "Circeo", "Telescopio", "Uni"};
printf("Grandezza di array : %lu;\n", sizeof(array)/sizeof (char *));
printf("Grandezza di array : %lu;\n", sizeof(array)/sizeof (array[0]));
return 0;
}