Указатель объекта на функцию

Я прочитал фрагмент кода заголовка и нашел ниже:

ObjPtr.h:

#include <dlfcn.h>

#define OBJPTR(X)        void* X##Ptr ;         \
                            void* (*X##ObjPtr)() ;

void * CreateObj(void * handler, char* LibName, char* FunctionName);

Transaction.c

//...
OBJPTR(DB);
//...
DBObjPtr = CreateObj(DBPtr, "DBTransaction", "Function1");
if ((unsigned long)(DBObjPtr)(csPara1, csPara2) != PD_FOUND)
{
    //...

Во-первых, я не понимаю, что это значит в строке определения в файле заголовка. (Почему в строке определения стоит X ##? Что это означает?)

Во-вторых, в файле c создается объект вместо прямого вызова функции. Я думаю, что цель такого дизайна - изолировать объекты для облегчения обслуживания и создания / доставки решения; или кодовое шифрование от разных разработчиков, если я не ошибаюсь. Но что еще? Или что это за шаблон проектирования?

Также связаны: stackoverflow.com/questions/18031280/…, stackoverflow.com/questions/216875/…

Killzone Kid 28.05.2018 12:14

Это не похоже на вопрос C++.

Max Langhof 28.05.2018 13:06

@MaxLanghof - на самом деле так оно и есть, поскольку ответ практически одинаков как в C, так и в C++. В любом случае, помеченный как дубликат другого вопроса (который помечен как C, так и C++, а также дубликат других вопросов).

Peter 28.05.2018 13:21
Стоит ли изучать PHP в 2026-2027 годах?
Стоит ли изучать PHP в 2026-2027 годах?
Привет всем, сегодня я хочу высказать свои соображения по поводу вопроса, который я уже много раз получал в своем сообществе: "Стоит ли изучать PHP в...
Поведение ключевого слова "this" в стрелочной функции в сравнении с нормальной функцией
Поведение ключевого слова "this" в стрелочной функции в сравнении с нормальной функцией
В JavaScript одним из самых запутанных понятий является поведение ключевого слова "this" в стрелочной и обычной функциях.
Приемы CSS-макетирования - floats и Flexbox
Приемы CSS-макетирования - floats и Flexbox
Здравствуйте, друзья-студенты! Готовы совершенствовать свои навыки веб-дизайна? Сегодня в нашем путешествии мы рассмотрим приемы CSS-верстки - в...
Тестирование функциональных ngrx-эффектов в Angular 16 с помощью Jest
В системе управления состояниями ngrx, совместимой с Angular 16, появились функциональные эффекты. Это здорово и делает код определенно легче для...
Концепция локализации и ее применение в приложениях React ⚡️
Концепция локализации и ее применение в приложениях React ⚡️
Локализация - это процесс адаптации приложения к различным языкам и культурным требованиям. Это позволяет пользователям получить опыт, соответствующий...
Пользовательский скаляр GraphQL
Пользовательский скаляр GraphQL
Листовые узлы системы типов GraphQL называются скалярами. Достигнув скалярного типа, невозможно спуститься дальше по иерархии типов. Скалярный тип...
2
3
48
1

Ответы 1

## - это конкатенация препроцессора (!). В данном случае использование макроса создает две переменные:

OBJPTR(DB);

Будет решено:

void* DBPtr;
void* (*DBObjPtr)();

На самом деле, то, что мы находим здесь, не является действительным C++ (это то, что вы отметили в вопросе):

  1. void* (*DBObjPtr)() объявляет указатель на функцию, принимающий аргументы нет, но позже он вызывается с двумя из них.
  2. Объявленная функция возвращает указатель на void, но она назначается без приведения указателя на функцию.

Этот код действителен только в C (void* (*DBObjPtr)() объявляет указатель функции со списком аргументов, оставленным неопределенным; функция без аргументов требует явного void в качестве аргумента: void* (*x)(void)!), А C допускает неявное приведение указателя к void к другим типам указателей.

Намерение, вероятно, обеспечивает какой-то полиморфизм в C:

DBObjPtr = CreateObj
(
    // probably used as some kind of handle; as not being passed
    // as pointer to pointer, the function cannot re-assign, but
    // only use it; so I assume that is has been initialized at
    // some point before this function call...
    DBPtr,
    // some kind of identifier from where to load a function from for
    // later use; as the parameter is called "library", it might load
    // the address of a function within a SO (*nix) or DLL (windows)
    "DBTransaction",
    // the name of the function to load
    "Function1"
);

В C++ вы, вероятно, справитесь с этим по-другому:

class Loader;

Loader* db = createLoader(); // initialization lacking in your sample code;
                             // alternatively (and probably better!) via constructor
void* (*fptr)(int, int) = db->createObj("L", "F");

Это пока не сработает, нам еще нужно внести некоторые изменения. Во-первых, нам нужно изменить тип возвращаемого значения функции, он должен возвращать указатель на функцию, принимающий произвольные аргументы. Вы можете позволить ему возвращать либо произвольные аргументы (через многоточие), либо просто иметь пустой список аргументов - не имеет значения, вам все равно придется приводить результат (если только при использовании второго варианта и загруженная функция действительно не принимает никаких аргументов. ..). Но, начиная с C++ 11, существует более элегантный способ сделать это, функция может быть реализована как функция вариативного шаблона:

class Loader
{
public:
    template <typename ... TT>
    auto createObj(char const*, char const*) -> void*(*)(TT ...);
};

Тогда приведение будет скрыто внутри функции, и вы можете просто использовать его как:

auto f = loader->createObj<int, int>("L", "F");
// ^ yeah, let's profit from C++11 again...

Если вам интересно: способ до C++ 11:

class Loader
{
public:
    void* (*createObj())(...);
    // function returning function pointer - ugly syntax, I know
    // (a typedef for the function pointer makes reading a little easier...)
};

void*(*f)(int, int) = reinterpret_cast<void*(*)(int, int)>(create());

Последнее замечание к исходному макросу: я лично не стал бы его использовать, даже в C! Это может показаться приятным для ленивых, но на самом деле просто запутывает объявление переменных и, кроме того, создает менее типобезопасные указатели на функции. Так что я бы сам объявил переменные:

void* db /*= ...*/ ;
void* (*f)(int, int) = createObj(db, "L", "F");
//         ^    ^    already with correct parameter list

ах да, я многому у тебя научился, спасибо!

Yip Hon Wai Ethan 29.05.2018 15:23

Другие вопросы по теме