Кастинг при использовании dlsym ()

Стандарт C написан так, чтобы предполагать, что указатели на разные типы объектов, и особенно указатели на функции, в отличие от типов объектов, могут иметь разные представления. Вот почему, как правило, вы не хотите смешивать указатели, иначе современный компилятор предупредит вас, и если вы хотите отключить предупреждения, вы обычно используете явное приведение.

dlsym, с другой стороны, самим своим существованием предполагает, что все указатели в значительной степени одинаковы, потому что он должен иметь возможность возвращать вам любой указатель на любой тип данных - объект или функцию - в ваш объектный файл.

Другими словами, код, использующий dlsym, по своей природе непереносим, ​​в том смысле, что он не является широко переносимым, в том смысле, что он переносится «только» на те машины, на которых все указатели безопасно взаимно конвертируемы. (Это, конечно, практически все популярные сегодня машины.)

Итак, да, вам нужно будет привести указатели, чтобы заглушить предупреждения, и при этом вы можете сделать свой код менее переносимым на машины, где все указатели не одинаковы (и где предупреждения, если они не заглушены, будут правильно сообщаю вам, что ваш код не будет работать), но dlsym в любом случае никогда не будет работать (или даже существовать в его текущей форме) на этих машинах.

(И если gcc -pedantic предупреждает вас даже о явном преобразовании void * в тип указателя функции, вы ничего не можете сделать, кроме как переключиться на другую версию gcc или, конечно, не использовать -pedantic.)

Дополнение: мой ответ звучал так, будто преобразование указателей на разные типы данных может быть проблемой, но в целом это не проблема. Тип void * четко определен как универсальный указатель данных: это то, что возвращает malloc, и он определен как легко конвертируемый в любой тип указателя на объект, то есть вам даже не нужно приведение. Так что это почти прекрасный выбор для типа возвращаемого значения dlsym, за исключением небольшой проблемы с указателями на функции. malloc никогда не сталкивался с этой проблемой (вы вряд ли когда-либо пытались бы изменить локализацию указателя на функцию), в то время как dlsym всегда имеет эту проблему (символы, к которым вы обычно пытаетесь получить доступ в динамически загружаемых объектных файлах, представляют собой код, по крайней мере, так часто, как они данные). Но указатели на функции - это то, во что void * не гарантируется преобразование, поэтому вы, скорее всего, получите предупреждения, поэтому вам нужны приведения, и вы можете получить предупреждения в -pedantic даже при приведении типов.

dlsym() возвращает значение void*. Это значение указателя может относиться либо к объекту, либо к функции.

Если он указывает на объект, то приведение не требуется, поскольку C определяет неявное преобразование из void* в любой тип указателя на объект:

int *ptr = dlsym(handle, "name");

Если он указывает на функцию (что, вероятно, гораздо более распространено), не существует неявного преобразования из void* в какой-либо тип указателя на функцию, поэтому необходимо преобразование.

В стандарте C нет гарантии, что значение void* может быть преобразовано в указатель на функцию. POSIX, который определяет dlsym(), неявно гарантирует, что значение void*, возвращаемое dlsym() может быть осмысленно преобразовано в тип указателя на функцию, если цель имеет правильный тип для соответствующей функции .

Предполагая, что мы имеем дело с функцией void без параметров:

typedef void (*func_ptr_t)(void);
func_ptr_t fptr = (func_ptr_t)dlsym(handle, "name");

Как это бывает, gcc (с -pedantic) предупреждает об этом:

warning: ISO C forbids conversion of object pointer to function pointer type

Это предупреждение не совсем правильное. ISO C на самом деле не запрещает преобразовывать указатель объекта в тип указателя функции. Стандарт перечисляет несколько ограничений, которые не могут быть нарушены оператором приведения; преобразование void* в тип указателя функции не входит в их число. Стандарт C не определяет поведение такого преобразования, но, поскольку POSIX делает это в данном конкретном случае, это не проблема.

Комментарий к ответу Стива Саммита предполагает, что это:

*(void **) (&f) = dlsym(handle, "foo");

отключит предупреждение gcc. Будет, но при этом сделаны предположения, которые не гарантируются ни C, ни POSIX. POSIX гарантирует, что результат dlsym может быть преобразован в указатель функции; это не гарантирует, что он имеет такое же представление или выравнивание. Скорее всего, это сработает, но я не рекомендую.