C预处理器判断类型是否为指针报错，如何实现分支编译？

我正在用C语言构建通用代码，希望预处理器在T为指针类型或非指针类型时编译不同的代码分支，但编译时出现错误提示：token "{" is not valid in preprocessor expressions，请问是否可以实现该需求？

原始代码 #

main.c #

#include <stdio.h>

#define T int;
#include "test.h"

int main()
{
    return 0;
}

test.h #

// test.h

#define _array_is_pointer(T) (                \
    {                                         \
        T _value;                             \
        __builtin_classify_type(_value) == 5; \
    })

#ifdef T
#if _array_is_pointer(T)

struct array_s
{
    T *items;
}

void array_push(struct array_s * array, T value)
{
    // push method for pointer.
}

#else

struct array_s
{
    T *items;
}

void array_push(struct array_s * array, T value)
{
    // push method for non-pointer.
}

#endif
#endif

预处理器的#if指令只能处理预处理阶段可计算的常量表达式，而你定义的_array_is_pointer宏存在两个预处理器无法解析的内容：

• 复合语句（{}）属于C编译阶段的语法，预处理器完全不认识；
• __builtin_classify_type是编译器提供的编译期函数，执行时机晚于预处理器阶段，预处理器无法调用它计算表达式值。
  两者共同导致了报错。

可以利用C11标准引入的_Generic编译期类型选择特性，或结合编译器内置的编译期类型判断宏，实现基于T类型的分支编译。以下是两种可行方案：

方案1：结合编译期常量判断与预处理器分支 #

通过__builtin_constant_p确保类型判断结果为编译期常量，让预处理器能正确解析分支条件：

修改后的test.h #

// test.h
#include <stdio.h>

// 编译期判断T是否为指针类型
#define IS_POINTER(T) _Generic((T){0}, \
    void*: 1, char*: 1, short*: 1, int*: 1, \
    long*: 1, float*: 1, double*: 1, \
    default: 0)

#ifdef T
// 修正结构体定义末尾缺失分号的语法问题
#if __builtin_constant_p(IS_POINTER(T)) && IS_POINTER(T)
// T为指针类型的分支
struct array_s
{
    T *items; // 若T是int*，则此处为int**
};

void array_push(struct array_s *array, T value)
{
    printf("执行指针类型的push逻辑\n");
}
#else
// T为非指针类型的分支
struct array_s
{
    T *items; // 若T是int，则此处为int*
};

void array_push(struct array_s *array, T value)
{
    printf("执行非指针类型的push逻辑\n");
}
#endif
#endif

修正main.c的宏定义 #

注意去掉#define T后的分号（预处理器会直接替换分号，导致语法错误）：

#include <stdio.h>

#define T int
// 或测试指针类型：#define T int*
#include "test.h"

int main()
{
    struct array_s arr;
    T val;
    array_push(&arr, val);
    return 0;
}

方案2：用_Generic直接选择函数实现 #

完全跳过预处理器分支，直接在编译期通过_Generic选择对应类型的函数实现，更简洁灵活：

修改后的test.h #

// test.h
#include <stdio.h>

#ifdef T
struct array_s
{
    T *items;
};

// 指针类型的push实现
static void _array_push_pointer(struct array_s *array, T value)
{
    printf("执行指针类型的push逻辑\n");
}

// 非指针类型的push实现
static void _array_push_nonpointer(struct array_s *array, T value)
{
    printf("执行非指针类型的push逻辑\n");
}

// 用_Generic根据T的类型选择对应实现
#define array_push(arr, val) _Generic((T){0}, \
    void*: _array_push_pointer(arr, val), \
    char*: _array_push_pointer(arr, val), \
    short*: _array_push_pointer(arr, val), \
    int*: _array_push_pointer(arr, val), \
    long*: _array_push_pointer(arr, val), \
    float*: _array_push_pointer(arr, val), \
    double*: _array_push_pointer(arr, val), \
    default: _array_push_nonpointer(arr, val))
#endif

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