如何封装支持多参数及默认参数的MY_MACRO宏？

Great question! Let's tackle this step by step—we can build a single MY_MACRO that handles all your desired cases, properly invalidates empty calls, and works around the limitations of variadic macros with the GET_MACRO pattern.

Basic Implementation #

First, here's a straightforward solution that leverages preprocessor argument counting and GCC's ##__VA_ARGS__ extension (for handling empty variadic parameters cleanly):

// Helper macro to select the right implementation based on argument count
#define _MY_MACRO_CHOOSER(_1, _2, NAME, ...) NAME

// The two core implementations you already have (renamed for clarity)
#define _MY_MACRO_SINGLE_ARG(value) my_func(value, NULL)
#define _MY_MACRO_MULTI_ARGS(value, format, ...) my_func(value, format, ##__VA_ARGS__)

// The unified macro
#define MY_MACRO(...) \
    _MY_MACRO_CHOOSER(__VA_ARGS__, _MY_MACRO_MULTI_ARGS, _MY_MACRO_SINGLE_ARG)(__VA_ARGS__)

How It Works #

Let's break down the logic for each case:

• 1 argument: MY_MACRO(my_value) expands to _MY_MACRO_CHOOSER(my_value, _MY_MACRO_MULTI_ARGS, _MY_MACRO_SINGLE_ARG)(my_value). The chooser picks the third token (_MY_MACRO_SINGLE_ARG), resulting in my_func(my_value, NULL).
• 2+ arguments: MY_MACRO(my_value, my_format, a, b) expands to _MY_MACRO_CHOOSER(my_value, my_format, a, b, _MY_MACRO_MULTI_ARGS, _MY_MACRO_SINGLE_ARG)(...). The chooser picks the third token (_MY_MACRO_MULTI_ARGS), resulting in my_func(my_value, my_format, a, b).
• Empty call: MY_MACRO() expands to _MY_MACRO_CHOOSER(, _MY_MACRO_MULTI_ARGS, _MY_MACRO_SINGLE_ARG)(). This tries to call _MY_MACRO_SINGLE_ARG() with no arguments, leading to a compilation error (since my_func requires at least one parameter)—exactly what we want for invalid calls.

Enhanced Implementation (Strict Empty Call Checking) #

If you want a more explicit error for empty calls instead of a vague parameter-missing error, add a static assertion check:

// Helper to detect empty arguments
#define _MY_MACRO_IS_EMPTY(...) _MY_MACRO_IS_EMPTY_HELPER(__VA_ARGS__, 1)
#define _MY_MACRO_IS_EMPTY_HELPER(_1, ...) _1

// Conditional logic for empty/non-empty cases
#define _MY_MACRO_IF_EMPTY(args, empty_case, non_empty_case) \
    _MY_MACRO_IF_EMPTY_HELPER(_MY_MACRO_IS_EMPTY(args), empty_case, non_empty_case)
#define _MY_MACRO_IF_EMPTY_HELPER(is_empty, empty_case, non_empty_case) \
    _MY_MACRO_IF_EMPTY_##is_empty(empty_case, non_empty_case)
#define _MY_MACRO_IF_EMPTY_0(empty_case, non_empty_case) non_empty_case
#define _MY_MACRO_IF_EMPTY_1(empty_case, non_empty_case) empty_case

// Explicit error for empty calls
#define _MY_MACRO_EMPTY_ERROR() static_assert(0, "MY_MACRO requires at least one argument")

// Helper macro to select implementation (same as before)
#define _MY_MACRO_CHOOSER(_1, _2, NAME, ...) NAME
#define _MY_MACRO_SINGLE_ARG(value) my_func(value, NULL)
#define _MY_MACRO_MULTI_ARGS(value, format, ...) my_func(value, format, ##__VA_ARGS__)

// Unified macro with empty call check
#define MY_MACRO(...) \
    _MY_MACRO_IF_EMPTY(__VA_ARGS__, \
        _MY_MACRO_EMPTY_ERROR(), \
        _MY_MACRO_CHOOSER(__VA_ARGS__, _MY_MACRO_MULTI_ARGS, _MY_MACRO_SINGLE_ARG)(__VA_ARGS__) \
    )

Now, MY_MACRO() will trigger a clear compile-time error: error: static assertion failed: MY_MACRO requires at least one argument.

C23 Compatibility Note #

If you're targeting C23, you can replace GCC's ##__VA_ARGS__ with the standard __VA_OPT__(,) to handle empty variadic parameters portably:

#define _MY_MACRO_MULTI_ARGS(value, format, ...) my_func(value, format __VA_OPT__(,) __VA_ARGS__)

This works because __VA_OPT__(,) inserts a comma only if there are variadic arguments present.

内容的提问来源于stack exchange，提问作者galah92