主页 / coding / 问题 / 79070556
Accepted
Abdulmalek Almkainzi
Asked: 2024-10-09 21:40:14 +0800 CST

检测 C 中的带括号的宏参数

  • 772

我想要一个宏来检测传递的参数是否被括号括起来，如果是的话就调用不同的宏。

例如

#define FOO(obj) BAR obj
#define BAR(...) func(__VA_ARGS__)
#define BAR

如果我用 调用它，FOO((1, 2, 3))它会扩展为func(1, 2, 3)。但如果我用 调用它，FOO(1)它会扩展为1

我知道 C 中没有宏重载，但我想知道是否有其他方法可以实现此行为FOO。我研究了几种宏技巧，但找不到方法来实现这一点。

我正在研究一个宏库并且需要这种精确的行为。

c

2 个回答

  1. #define FOO(...) DETAIL_FOO1( DETAIL_FOO0 __VA_ARGS__ ) )
#define DETAIL_FOO0(...) DETAIL_FOO0_ __VA_ARGS__
#define DETAIL_FOO1(...) DETAIL_FOO2(__VA_ARGS__)
#define DETAIL_FOO2(...) DETAIL_FOO3_##__VA_ARGS__
#define DETAIL_FOO3_DETAIL_FOO0 (
#define DETAIL_FOO3_DETAIL_FOO0_ bar(

FOO(1) // (1)
FOO((1,2,3)) // bar(1,2,3)

    在这种情况下FOO(1)扩展为(1)而不是1，但这可能更可取。

    事实证明，这错误地接受了FOO((1,2)3)，将其扩展为bar(1,2 3)。通过额外的宏观操作，您可以拒绝：

    #define FOO(...) DETAIL_FOO1( DETAIL_FOOA(__VA_ARGS__) ) )
#define DETAIL_FOOA(...) DETAIL_FOO0 __VA_ARGS__ )
#define DETAIL_FOO0(...) DETAIL_FOO0_ __VA_ARGS__ REQUIRE_EMPTY(
#define DETAIL_FOO1(...) DETAIL_FOO2(__VA_ARGS__)
#define DETAIL_FOO2(...) DETAIL_FOO3_##__VA_ARGS__
#define DETAIL_FOO3_DETAIL_FOO0 ( IDENTITY(
#define DETAIL_FOO3_DETAIL_FOO0_ bar(
#define REQUIRE_EMPTY()
#define IDENTITY(...) __VA_ARGS__
    • 4
  2. Best Answer

    我刚刚写了这个。这可以简化，这只是我在 godbolt 上得到的第一个有效的版本。应该足以让你开始。

    // if I call this with FOO((1, 2, 3)) it'd expand to func(1, 2, 3).
// But if I call it with FOO(1) it should expand to 1

#define ESCAPE2(...)  __VA_ARGS__
#define ESCAPE(...)  ESCAPE2 __VA_ARGS__
#define COMMA(...)     ,
#define FIRST(T, ...)  T
// from https://gustedt.wordpress.com/2010/06/08/detect-empty-macro-arguments/
#define ARG16(_0, _1, _2, _3, _4, _5, _6, _7, _8, _9, _10, _11, _12, _13, _14, _15, ...) _15
#define HAS_COMMA(...) ARG16(__VA_ARGS__, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0)
#define CONCAT(a, b)  a##b
#define XCONCAT(a, b)  CONCAT(a, b)
#define IF_1(a, b)  a
#define IF_0(a, b)  b
#define FOO(...)  \
        ESCAPE( \
            XCONCAT(IF_, HAS_COMMA(FIRST( COMMA __VA_ARGS__ () ))) \
            ((func __VA_ARGS__), (__VA_ARGS__)) \
        )

FOO((1,2,3)) // func (1,2,3)
FOO((1))  // func (1)
FOO(1)   // 1
FOO(1,2)   // 1,2

    这看起来好多了。转换__VA_ARGS__为逗号后，只需获取正确的参数位置即可。

    #define FOO_ESCAPE(...)  __VA_ARGS__
#define FOO_COMMA(...)     ,
#define FOO_FIRST(T, ...)  T
#define FOO_THIRD(_1,_2,_3,...)  \
        FOO_ESCAPE _3
#define FOO_XTHIRD(...)  \
        FOO_THIRD(__VA_ARGS__)
#define FOO(...)  \
        FOO_XTHIRD(__VA_OPT__(FOO_FIRST(FOO_COMMA __VA_ARGS__)), \
            (func __VA_ARGS__), (__VA_ARGS__) )
FOO((1,2,3))
FOO((1))
FOO()
FOO(1)
FOO(1,2)
    • 3

相关问题