C: Почему кастинг от указателя void к указателю функции undefined?

Возможный дубликат:
Почему указатели на объекты и указатели данных несовместимы в C/С++?

На странице man для dlsym предоставлен следующий фрагмент.

       double (*cosine)(double);

       handle = dlopen("libm.so", RTLD_LAZY);
       /* Writing: cosine = (double (*)(double)) dlsym(handle, "cos");
          would seem more natural, but the C99 standard leaves    
          casting from "void *" to a function pointer undefined.  
          The assignment used below is the POSIX.1-2003 (Technical
          Corrigendum 1) workaround; see the Rationale for the    
          POSIX specification of dlsym(). */

       *(void **) (&cosine) = dlsym(handle, "cos");

Я просмотрел соответствующую спецификацию, но по-прежнему не могу понять причину, по которой не допускаются преобразования указателей void в указатели функций. Не указатели на пустоты должны быть достаточно большими, чтобы размещать все типы указателей. Если да, зачем оставлять это кастинг undefined?

Ответы