libaoc
Запилил на досуге простую библиотечку на мотив паттерна Active object на голом С. Какие комментарии по коду, архитектуре, стилю программирования? Буду рад конструктивному фидбеку. Спасибо.

Здравствуйте, cyberzlodey, Вы писали:

C>libaoc
C> Запилил на досуге простую библиотечку на мотив паттерна Active object на голом С. Какие комментарии по коду, архитектуре, стилю программирования? Буду рад конструктивному фидбеку. Спасибо.

Си не нужен. ты бы еще на брейнфаке запилил.

Здравствуйте, Abyx, Вы писали:


A>Си не нужен. ты бы еще на брейнфаке запилил.

Спасибо, ваш комментарий очень важен для меня

Здравствуйте, cyberzlodey, Вы писали:

думаю, было бы неплохо функциям библиотеки присвоить префикс 'aoc_'. т.к. я начала читать примеры, и, признаюсь, не зная внутренностей библиотеки, сложно понять какая функция является библиотечным API, а какая частью теста.

везде используется постфиксная форма инкремента(предположу, что и декремента). почему?

Здравствуйте, niXman, Вы писали:

X>везде используется постфиксная форма инкремента(предположу, что и декремента). почему?

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

Здравствуйте, cyberzlodey, Вы писали:

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


вообще — там еще пилить и пилить =)

к примеру, используя 'active_t* active_new(void)' — как я узнаю по какой причине мне вернули NULL?

Здравствуйте, niXman, Вы писали:


X>вообще — там еще пилить и пилить =)

с этим согласен

X>к примеру, используя 'active_t* active_new(void)' — как я узнаю по какой причине мне вернули NULL?

проверить errno?

Здравствуйте, cyberzlodey, Вы писали:

C>проверить errno?
ты прикалываешься?

к примеру, при фэйле этой проверки, что мне скажет errno?

посмотри на примеры проектирования библиотек. там, есть два способа: 1)функция каким-либо образом сообщает пользователю кода о причине ошибке, 2)библиотека имеет переменную в глобальном контексте, в которую сохраняется errno. и, соответственно, библиотека предоставляет функцию для получения этого errno, типа: 'int active_errno(active_t*)'

а это как понимать?
вот я зарукоблудил такой код:

blocking_queue_t *q = 0;
blocking_queue_destroy(&q);

и рассчитываю что библиотека мне скажет что я идиот, ибо вызывать destroy для не созданного объекта — глупо. но библиотека ничего не скажет, ибо не содержит корректной проверки.

т.е. в идеальном случае, код использования этой библиотеки должен быть таким:

active_t *a = 0;
int ec = active_new(&a);
if ( ec ) {
   printf(stderr, "initialization error, errno=%d\n", ec);
   return ec;
}

blocking_queue_t *q = blocking_queue_new(a);
if ( !q ) {
   ec = active_errno(a);
   printf(stderr, "error creating blocking_queue object, errno=%d\n", ec);

   active_destroy(&a);
   return ec;
}

...
...

blocking_queue_destroy(&q);
active_destroy(&a);

я пытаюсь обратить твое внимание на нелогичности.

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

Здравствуйте, niXman, Вы писали:

X>разница есть, ибо в префиксной форме создается дополнительная временная переменная.
*в постфиксной

Здравствуйте, niXman, Вы писали:

X>Здравствуйте, cyberzlodey, Вы писали:

C>>проверить errno?
X>ты прикалываешься?

X>к примеру, при фэйле этой проверки, что мне скажет errno?

Скажет ENOMEM, поскольку там только память под объект потока выделяется и ничего более.

X>посмотри на примеры проектирования библиотек. там, есть два способа: 1)функция каким-либо образом сообщает пользователю кода о причине ошибке, 2)библиотека имеет переменную в глобальном контексте, в которую сохраняется errno. и, соответственно, библиотека предоставляет функцию для получения этого errno, типа: 'int active_errno(active_t*)'

Ок, посоветуй какие конкретно библиотеки посмотреть. Глядя, например, на czmq — там подобного кода полно. Например вот. Хотя согласен там можно спросить у базовой библиотеки zmq_errno().

Здравствуйте, niXman, Вы писали:

X>а это как понимать?
X>вот я зарукоблудил такой код:
X>

X>blocking_queue_t *q = 0;
X>blocking_queue_destroy(&q);
X>

X>и рассчитываю что библиотека мне скажет что я идиот, ибо вызывать destroy для не созданного объекта — глупо. но библиотека ничего не скажет, ибо не содержит корректной проверки.

теоретически у клиента могут быть закрыты stderr, stdout, а для логгирования используются свои механизмы. Вероятно логичным бы было действительно взвести какой-то внутренний флаг ошибки и получить через aoc_errno()?

X>т.е. в идеальном случае, код использования этой библиотеки должен быть таким:
X>

X>active_t *a = 0;
X>int ec = active_new(&a);
X>if ( ec ) {
X>   printf(stderr, "initialization error, errno=%d\n", ec);
X>   return ec;
X>}

X>blocking_queue_t *q = blocking_queue_new(a);
X>if ( !q ) {
X>   ec = active_errno(a);
X>   printf(stderr, "error creating blocking_queue object, errno=%d\n", ec);

X>   active_destroy(&a);
X>   return ec;
X>}

X>...
X>...

X>blocking_queue_destroy(&q);
X>active_destroy(&a);
X>

X>я пытаюсь обратить твое внимание на нелогичности.

понимаю, спасибо

Здравствуйте, cyberzlodey, Вы писали:

C>Скажет ENOMEM, поскольку там только память под объект потока выделяется и ничего более.
в errno этого не будет, потому что последующий вызов blocking_queue_destroy() затрет errno.

C>Ок, посоветуй какие конкретно библиотеки посмотреть.
curl

C>Глядя, например, на czmq — там подобного кода полно. Например вот. Хотя согласен там можно спросить у базовой библиотеки zmq_errno().
тут, похоже та же ошибка, ибо последующий вызов zctx__socket_destroy() может затереть errno.

Здравствуйте, cyberzlodey, Вы писали:

C>теоретически у клиента могут быть закрыты stderr, stdout
stderr и stdout сами по себе закрытыми не бывают и не закрываются. так что то, что они по какой-то причине закрыты — это целиком головняк пользователя, а не библиотеки.

C>а для логгирования используются свои механизмы.
это вообще второе.

C>Вероятно логичным бы было действительно взвести какой-то внутренний флаг ошибки и получить через aoc_errno()?
да.
ты должен решить, какая сущность у тебя является обязательной, и без которой библиотека неспособна работать. я предположу, что это — active_t
в таком случае, тебе нужно ввести правило которое будет требовать, чтоб объект этого типа создавался первым и разрушался последним.

но тут возникает несколько вопросов:
1. эта библиотека сессионная?
2. должны ли API этой библиотеки привязываться к конкретной сессии?

ответ на первый вопрос даст пищу для размышления.

по поводу логирования библиотеки можно сделать так:
в объект сессии добавить член errstream, который по умолчанию, при создании сессии, будет инициализоваться либо stdout, либо stderr.
так же, добавить API типа 'aoc_set_error_stream(FILE*)' и 'FILE* aoc_get_error_stream()'

C>Вероятно логичным бы было действительно взвести какой-то внутренний флаг ошибки и получить через aoc_errno()?
кстати, если твоя библиотека сессионная — то у каждой сессии может быть свой errno. значит сигнатура должна быть такой: 'int aoc_errno(active_t*)'

Здравствуйте, niXman, Вы писали:

X>кстати, если твоя библиотека сессионная — то у каждой сессии может быть свой errno. значит сигнатура должна быть такой: 'int aoc_errno(active_t*)'

Да, active_t объектов может быть множество, соответственно обработка ошибок должна привязываться к конкретному объекту. Спасибо за мысль, так и сделаю.

как дополнение, можно добавить еще функцию возвращающую строковое представление ошибки, типа: 'const char* aoc_errorstr()'. еще, было бы не лишним чтоб эта же функция могла использоваться как для стандартных системных ошибок, так и для ошибок самой библиотеки. т.е. к примеру если не удалось выделить память, то при помощи 'int aoc_error()' мы получаем ENOMEM, а при помощи 'const char* aoc_errorstr()' получаем то, что возвращает strerror() для стандартных ошибок, и твое собственное сообщение для нестандартных.