GCC中如何将宏参数用作前缀实现typename_function命名风格？

这个问题的核心是预处理器##拼接规则的坑——你试图把指针运算符*和类型名粘贴在一起，这违反了预处理token的合法性要求。不过别担心，我们只需要调整宏的写法，就能完美实现你想要的typename_function命名风格，同时避开预处理器的陷阱。

问题根源分析 #

你之前尝试的##N##_new写法，预编译后代码看起来正确，但编译器报错pasting "*" and "vec2i" does not give a valid preprocessing token，原因是：

• 预处理器的##是用来拼接两个合法的预处理token的，*是一个独立的运算符token，vec2i是标识符token，强行把它们粘贴成*vec2i，这不是一个合法的单一token（合法token只能是标识符、关键字、运算符等，不能是运算符+标识符的组合），所以编译器会报错。

正确的宏写法 #

我们只需要把指针类型声明和函数名拼接分开处理——指针类型N*不需要用##拼接，预处理器会先替换N为具体类型，自然形成合法的指针类型；函数名则用N##_new来拼接类型名和后缀，完全符合你的命名习惯：

#include <stdlib.h>  // 别忘了malloc需要这个头文件

#define DECLARE_VEC2(N, T) \
typedef struct { T x, y; } N; \
inline N* N##_new() { \
    return malloc(sizeof(N)); \
}

展开后的代码验证 #

当你调用DECLARE_VEC2(vec2i, int);时，预处理器会正确展开为：

typedef struct { int x, y; } vec2i;
inline vec2i* vec2i_new() {
    return malloc(sizeof(vec2i));
}

完全符合你想要的vec2i_new命名风格，而且没有任何预处理器或编译错误。

扩展：添加更多配套函数 #

既然要实现类似模板的功能，我们可以把常用的数学运算也加入宏中，保持一致的命名风格：

#include <stdlib.h>

#define DECLARE_VEC2(N, T) \
typedef struct { T x, y; } N; \
/* 创建向量 */ \
inline N* N##_new() { \
    return malloc(sizeof(N)); \
} \
/* 销毁向量 */ \
inline void N##_delete(N* vec) { \
    free(vec); \
} \
/* 向量加法 */ \
inline N N##_add(const N* a, const N* b) { \
    return (N){a->x + b->x, a->y + b->y}; \
} \
/* 向量缩放 */ \
inline N N##_scale(const N* vec, T scalar) { \
    return (N){vec->x * scalar, vec->y * scalar}; \
} \
/* 向量点积 */ \
inline T N##_dot(const N* a, const N* b) { \
    return a->x * b->x + a->y * b->y; \
}

// 生成不同类型的Vec2
DECLARE_VEC2(vec2i, int);
DECLARE_VEC2(vec2f, float);
DECLARE_VEC2(vec2d, double);

额外注意事项 #

1. 如果在头文件中定义这些inline函数，建议加上static关键字，或者确保头文件有#ifndef ... #define ... #endif的保护，避免重复定义问题。
2. malloc可能返回NULL，如果需要健壮性，可以在N##_new中添加空指针检查。

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