模板类中应使用T而非void或auto：T保留类型安全与完整指针操作，void丢失类型信息，auto在成员声明中不合法。
模板类中声明通用指针类型用 T*，不是 void* 或 auto*
模板类里要支持任意类型的指针，直接用 T* 是最自然、最安全的做法。很多人误以为得用 void* 来“通用”，但那会丢失类型信息，编译器无法做类型检查，也不能解引用或做指针算术；而 auto* 在类定义阶段无法推导——auto 只能在变量定义时由初始化表达式推导，不能用于类成员声明。
正确方式是把指针作为模板参数的一部分或直接基于类型参数定义：
-
T*是首选：它保留完整类型语义，支持++、*p、p->member等所有原生指针操作 - 若需存储不同类型的指针（如实现异构容器），应考虑
std::any、std::variant或类型擦除，而非裸void* - 模板类中禁止写
auto* ptr;—— 编译器报错：auto不能用于非静态数据成员声明
如何在模板类中安全持有并管理 T* 成员
声明简单，但管理责任全在你手上：模板类不自动处理生命周期。常见错误是传入栈对象地址后，对象析构了，指针变悬空。
- 明确所有权语义：如果类负责释放内存，就该接受
T*并在析构中delete（仅限new分配）；否则应只存观察性指针（T*不拥有资源） - 避免裸指针管理资源：优先用
std::unique_ptr<t></t>或std::shared_ptr<t></t>替代 —— 它们天然适配模板，且自动管理 - 若坚持用
T*，建议加注释说明所有权归属，例如：// owns_ptr_ is owned; data_ptr_ is non-owning - 构造函数接收
T*时，可加assert(ptr != nullptr)（调试模式），或用std::optional<t></t>表达可空性
T* 在模板特化和偏特化中的行为差异
普通模板中 T* 没问题，但一旦涉及特化，容易踩坑：指针类型本身可被单独特化，和原类型无关。
立即学习“C++免费学习笔记（深入）”；
- 声明
template<typename t> struct Holder { T* ptr; };</typename>，那么Holder<int></int>和Holder<int></int>是两个完全不同的实例 - 若想对“所有指针类型”统一特化，必须显式写：
template<typename t> struct Holder<t> { ... };</t></typename>—— 这才是针对指针的偏特化 - 错误写法：
template struct Holder<void> { ... }</void>只特化void*，不影响int*、double* - 偏特化
T*后，其内部仍可用T（即去掉星号后的类型），比如sizeof(T)或new T[10]都合法
性能与 ABI 兼容性：为什么不用 uintptr_t* 或自定义指针包装
有人想“统一指针表示”而转用整数类型（如 uintptr_t）存地址，或套一层 struct PtrWrapper { void* p; }。这通常得不偿失。
-
uintptr_t不是通用指针类型：它只是能容纳指针值的整数，不能直接解引用；转换需显式reinterpret_cast<t>(val)</t>，易出错且不可移植（某些平台不保证 round-trip 安全） - 自定义包装结构破坏指针的 triviality 和标准布局（standard layout），影响 POD 类型判断、memcpy 安全性、C 接口互操作
-
T*在所有主流 ABI（Itanium, MSVC）下都是固定大小（8 字节 on x64），无额外开销；编译器对T*的优化（如常量传播、别名分析）远优于手工包装 - 唯一合理用整数存指针的场景：序列化/调试打印（
printf("%p", (void*)ptr)），而非运行时逻辑
真正复杂的点在于：模板类中指针是否参与 SFINAE、是否要求 T 有默认构造（影响 new T）、是否支持不完全类型（T* 支持，T& 不支持）——这些细节往往被忽略，却直接决定模板能否用在前向声明场景中。
