C++宏如何提取参数最后字段？适配类成员变量实例化

这俩需求其实是关联的，先搞定第一个提取字符串最后字段的问题，再解决第二个类实例化宏的痛点。

问题1：从宏参数的字符串化结果中提取最后一个字段 #

当你的宏参数x是a.b.c或者obj->val这类成员访问表达式时，#x会把整个表达式转成完整字符串（比如"a.b.c"）。要提取最后一个字段（比如"c"），C++预处理器本身没有原生的字符串操作，但我们可以用递归宏+Token替换技巧实现。

核心思路是：不断剥离表达式中.或->前面的部分，直到剩下最后一段标识符。下面是可以直接用的辅助宏：

// 辅助宏：递归提取最后一个标识符
#define GET_LAST_IDENT(x) \
    _GET_LAST_IDENT(_GET_LAST_IDENT_SPLIT x -> , x)

#define _GET_LAST_IDENT_SPLIT(...) \
    _GET_LAST_IDENT_SPLIT2(__VA_ARGS__, ->)

#define _GET_LAST_IDENT_SPLIT2(a, b, ...) \
    _IF_ARROW(b, GET_LAST_IDENT(a), _IF_DOT(b, GET_LAST_IDENT(__VA_ARGS__), x))

// 判断是否是 -> 分隔符
#define _IF_ARROW(b, then, else) \
    __CAT(_IF_ARROW_, b)(then, else)
#define _IF_ARROW_->(then, else) then
#define _IF_ARROW_ELSE(then, else) else

// 判断是否是 . 分隔符
#define _IF_DOT(b, then, else) \
    __CAT(_IF_DOT_, b)(then, else)
#define _IF_DOT_.(then, else) then
#define _IF_DOT_ELSE(then, else) else

// Token拼接辅助宏
#define __CAT(a, b) a##b

// 提取最后一个字段的字符串形式
#define GET_LAST_STR(x) \
    #GET_LAST_IDENT(x)

测试效果：

• 当x是obj->val，GET_LAST_STR(x)会展开为"val"；
• 当x是a.b.c，GET_LAST_STR(x)会展开为"c"；
• 当x是普通变量f，GET_LAST_STR(x)就是"f"。

问题2：支持类成员的MyClass实例化宏 #

你原来的宏#define MYCLASS(x) MyClass _##x(#x, &x)有两个明显问题：

1. 当x是obj.val时，_##x会生成_obj.val，这是语法错误（变量名不能包含.）；
2. 构造函数的第一个参数是完整的"obj.val"，但我们需要的是"val"。

结合问题1的解决方案，我们可以写出完美适配需求的宏：

// 复用上面的GET_LAST_IDENT和GET_LAST_STR辅助宏

#define MYCLASS(x) \
    MyClass _##GET_LAST_IDENT(x)(GET_LAST_STR(x), &x)

现在测试各种场景：

// 普通变量场景
float f = 0.0f;
MYCLASS(f); 
// 展开为：MyClass _f("f", &f); 完全符合预期

// 类成员场景
struct OtherClass {
    float val;
} obj;
MYCLASS(obj.val); 
// 展开为：MyClass _val("val", &obj.val); 正确

// 嵌套成员场景
struct NestedClass {
    OtherClass inner;
} nested_obj;
MYCLASS(nested_obj.inner.val); 
// 展开为：MyClass _val("val", &nested_obj.inner.val); 正确

// 指针成员场景
class PtrClass {
public:
    float val;
};
PtrClass* ptr = new PtrClass();
MYCLASS(ptr->val); 
// 展开为：MyClass _val("val", &ptr->val); 正确

说明 #

这个宏在GCC、Clang和最新版MSVC下都能正常工作，递归深度足够处理大多数嵌套场景。如果需要支持更复杂的表达式（比如数组下标），可以扩展辅助宏的分隔符判断逻辑，但目前的版本已经覆盖了你提到的核心需求。

内容的提问来源于stack exchange，提问作者e.farman