Case вариативный макрос в C

Вы можете сделать это следующим образом:

#define UTIL_ASSERT(x_, ...)                                                \
    assert_param(x_);                                                       \
    if (!x_)                                                                \
        return __VA_ARGS__;

Но помните, вы не можете гарантировать только 1 параметр в этом вариативном макросе, поэтому вам нужно правильно его использовать.

Обновление: благодаря этой ветке я пришел чтобы лучше подойти:

void assert_param(int x);

#define UTIL_ASSERT_1(x_)   do { assert_param(x_); if (!x_) return; } while(0)

#define UTIL_ASSERT_2(x_, ret_)   do { assert_param(x_); if (!x_) return ret_; } while(0)     

#define GET_MACRO(_1,_2,NAME,...) NAME
#define UTIL_ASSERT(...) GET_MACRO(__VA_ARGS__, UTIL_ASSERT_2, UTIL_ASSERT_1)(__VA_ARGS__)


int foo() {
     UTIL_ASSERT(0,1);
}

void doo() {
     UTIL_ASSERT(0);
}

Этот намного лучше предыдущего, потому что каким-то образом проверяет ряд параметров.

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

#define ASSERT0(X, RET, ...) 
   /* put your stuff here that only uses X and RET, and ignores the ... */

Как вы можете видеть, это получает три аргумента или больше. И вам нужно будет сделать так, чтобы RET был просто пустым токеном для случая, когда вам это нужно.

Теперь вы можете поместить обертку вокруг этого

#define ASSERT1(...) ASSERT0(__VA_ARGS__)

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

Затем макрос уровня пользователя может быть

#define MY_ASSERT(...) ASSERT1(__VA_ARGS__, ,)

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

Также вам следует подумать о том, чтобы обернуть свой внутренний макрос в do { ... } while(0). В противном случае вы можете столкнуться с проблемой «висячего else» и сбить пользователей с толку другими синтаксическими эффектами.