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