Блог

У меня есть программный конечный автомат, который работает с использованием вызовов функций, управляемых событиями. А именно, у меня есть дескриптор конечного автомата для структуры, которая содержит указатель на функцию, представляющий текущее состояние:

 typedef struct pHandle_t pHandle_t;
typedef void(*pState_f)(pHandle_t *pHandle, pEvent_t pEvent);
struct pHandle_t
{
    pState_f curState;
    void *contextPtr;       // Is this needed?
};
 

Затем каждое состояние представляется функцией, которая принимает дескриптор для себя и событие в качестве входных данных:

 static void SM_Init(pHandle_t *pHandle, pEvent_t pEvent);
 

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

Однако в интересах сокращения глобальных переменных и функций я хотел бы реализовать более объектно-ориентированный подход, чтобы мои глобальные переменные и память команд исчезли, как только конечный автомат достиг полного состояния. Я знаю, что есть несколько примеров того, как сделать код объектно-ориентированным в обычном C, но здесь есть один ключ в механизмах: внешние модули должны иметь возможность отправлять события на этот конечный автомат, не имея указателя на дескриптор конечного автомата. Как я могу это сделать, не требуя, чтобы общий объект конечного автомата был объявлен как глобальный (что действительно противоречит первоначальному намерению попытаться освободить все это пространство, как только я с ним закончу)?

Заранее прошу прощения, если некоторые из этих формулировок сбивают с толку. Я считаю, что это очень полезная тема, поэтому я перефразирую в соответствии с просьбой, но, пожалуйста, прокомментируйте, прежде чем проголосовать против меня… Кроме того, прежде чем кто-либо спросит, вся существующая кодовая база состоит из C, и предложение C остается без внимания, несмотря на все мои усилия.

Это, вероятно, ужасная идея, но как таковая, она может помочь убедить ваших коллег разрешить вам хранить один маленький, жалкий указатель там, где он вам нужен.

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

Таким образом, для двух машин вам потребуется примерно удвоить размер кода. Три машины: тройная. И т.д.

<Содрогание>