标准C中如何实现保留类型信息的类型安全带标签指针，无需编译器扩展

结论 #

纯标准C（C17及更早版本）无法实现无编译器扩展、支持任意类型的泛型类型安全带标签指针，核心原因是标准C没有提供编译期类型推导能力，也无法在宏返回值中保留动态类型信息。

标准C下的折衷实现方案 #

如果可以接受放弃"一行定义任意类型带标签指针"的完全泛型能力，仅需保证类型安全和标准兼容性，可以用宏批量生成对应类型的带标签指针类型与操作函数：

#include <stdint.h>
#include <stdbool.h>

#define DECLARE_TAGGED_PTR_TYPE(T) \
    _Static_assert(_Alignof(T) > 1, "Type " #T " must have alignment greater than 1"); \
    _Static_assert(sizeof(T*) == sizeof(uintptr_t), "Pointer size does not match uintptr_t for type " #T); \
    typedef union { \
        T* ptr; \
        uintptr_t bits; \
    } tagged_##T##_ptr; \
    static inline void tagged_##T##_set(tagged_##T##_ptr *tp, T* ptr, bool tag) { \
        tp->ptr = ptr; \
        tp->bits |= (tag & 1U); \
    } \
    static inline bool tagged_##T##_get_tag(tagged_##T##_ptr tp) { \
        return (bool)(tp.bits & 1U); \
    } \
    static inline T* tagged_##T##_get_ptr(tagged_##T##_ptr tp) { \
        return (T*)(tp.bits & ~1U); \
    }

使用示例 #

为struct node类型声明专属的带标签指针：

struct node {
    // 节点成员
    struct node *child;
    tagged_struct_node_ptr sibling; // 直接使用生成的类型
};

// 生成struct node对应的带标签指针实现
DECLARE_TAGGED_PTR_TYPE(struct node)

调用操作的代码完全类型安全，无需强制转换：

struct node a, b;
tagged_struct_node_ptr p;

// 赋值打标签，编译器会检查指针类型是否匹配
tagged_struct_node_set(&p, &b, true);

// 提取指针直接赋值给struct node*类型变量，自动匹配类型
struct node *raw_ptr = tagged_struct_node_get_ptr(p);
bool tag = tagged_struct_node_get_tag(p);

方案优势 #

• 完全符合C11及以上标准，无任何编译器扩展，兼容所有支持C11的编译器
• 全链路类型安全，编译器会检查指针赋值的类型匹配，提取指针时无需手动类型转换
• 零运行时开销，所有操作函数均为static inline，编译后直接展开为原生位操作，和你原有实现的性能完全一致

泛型实现的可移植性说明 #

如果你需要保留完全泛型的写法，__typeof__扩展的实际可移植性已经足够高：目前GCC、Clang、ICC、MSVC 2019及以上版本均支持__typeof__语法，覆盖了绝大多数开发与部署场景，仅在极少数极端老旧或专用编译器下无法使用。

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