1. 基本作用typedef用于为已有类型定义别名。typedefunsignedintuint;此后uint value10;uint与unsigned int是同一种类型不是创建了一个全新的强类型。2. 基本语法typedef原类型 别名;示例typedefintInteger;typedefunsignedlongSizeType;typedefconstchar*CString;3. 与变量声明语法的关系typedef的写法可以理解为把普通变量声明中的变量名替换成类型别名。普通声明intvalue;类型别名typedefintValueType;指针声明int*pointer;类型别名typedefint*IntPointer;4. 指针类型别名typedefint*IntPtr;IntPtr p1;IntPtr p2;p1和p2都是int*。对比int*p1,p2;这里p1是int*p2是int。因此指针别名可以减少复杂声明中的歧义但也可能隐藏指针属性。5.const与指针别名陷阱typedefint*IntPtr;constIntPtr pnullptr;展开后不是constint*p;而是int*constp;因为IntPtr整体代表int*const修饰的是整个指针类型。若需要指向常量整数的指针typedefconstint*ConstIntPtr;现代 C 中使用using仍有同样的类型语义usingIntPtrint*;constIntPtr pnullptr;// int* const6. 结构体中的typedefC 语言中常见typedefstructDevice{intid;charname[32];}Device;之后可直接写Device device;若没有typedefstructDevice{intid;};structDevicedevice;在 C 中结构体标签名本身可以直接作为类型名structDevice{intid;};Device device;所以 C 中通常无需为结构体重复定义同名typedef。7. 匿名结构体别名C 风格typedefstruct{intx;inty;}Point;使用Point p;该结构体没有独立标签名只能通过Point使用。大型工程更推荐给结构体一个明确名称便于前向声明和调试。8. 函数指针别名原始声明较难阅读int(*handler)(constchar*,int);使用typedeftypedefint(*Handler)(constchar*,int);声明变量Handler handlernullptr;完整示例#includeiostreamtypedefint(*BinaryOperation)(int,int);intadd(inta,intb){returnab;}intmain(){BinaryOperation operationadd;std::coutoperation(2,3);}9. 数组类型别名typedefintIntArray10[10];IntArray10 values{};函数参数voidinitialize(IntArray10values){for(intx:values){x0;}}注意数组作为普通函数参数时会退化为指针因此引用数组需要显式写。10. 复杂类型简化typedefstd::mapstd::string,std::vectorintIndexTable;使用IndexTable table;现代 C 推荐usingIndexTablestd::mapstd::string,std::vectorint;using的赋值形式通常更易读。11.typedef与using等价示例typedefunsignedintUInt;usingUIntunsignedint;函数指针typedefint(*HandlerOld)(int,int);usingHandlerNewint(*)(int,int);using通常更接近“别名 类型”的阅读顺序。12. 别名模板typedef不能直接定义模板别名而using可以。templatetypenameTusingVecstd::vectorT;Vecintvalues;不能写成简单的templatetypenameTtypedefstd::vectorTVec;// 非法旧式代码可通过包装结构间接实现templatetypenameTstructVecAlias{typedefstd::vectorTtype;};VecAliasint::type values;因此现代 C 中一般优先使用using。13. 类内部类型别名classDeviceManager{public:typedefstd::uint32_tDeviceId;typedefstd::vectorDeviceIdDeviceIdList;};使用DeviceManager::DeviceId id100;现代写法classDeviceManager{public:usingDeviceIdstd::uint32_t;usingDeviceIdListstd::vectorDeviceId;};14. 模板中的typenametemplatetypenameContainervoidprocess(constContainercontainer){typedeftypenameContainer::value_type ValueType;ValueType value{};}为什么需要typenameContainer::value_type依赖模板参数编译器默认不能确定它是类型还是静态成员因此需要用typename明确说明。现代写法templatetypenameContainervoidprocess(constContainercontainer){usingValueTypetypenameContainer::value_type;ValueType value{};}15. STL 中常见类型别名容器通常定义Container::value_type Container::size_type Container::iterator Container::const_iterator Container::reference Container::const_reference示例std::vectorint::value_type value1;std::vectorint::size_type size10;泛型代码可使用templatetypenameContainervoidprintSize(constContainercontainer){typenameContainer::size_type sizecontainer.size();}更简洁autosizecontainer.size();16. 类型别名不创建新类型typedefintUserId;typedefintDeviceId;voidprocess(UserId id);以下调用仍然合法DeviceId device_id10;process(device_id);因为两者本质上都是int。需要强类型隔离时应定义包装类型structUserId{intvalue;};structDeviceId{intvalue;};或使用专门的 strong typedef 工具模式。17. API 可读性usingTimestampNsstd::int64_t;usingFrameIdstd::uint64_t;usingConfidencefloat;函数签名FrameIdprocessFrame(TimestampNs timestamp,Confidence threshold);别名有助于表达语义但不能阻止不同底层相同类型之间误传。18. 前向声明与别名普通类可以前向声明classDevice;但无法仅通过一个不完整声明随意复现复杂模板别名。若别名是公共 API 的一部分应将其放在稳定的公共头文件中。19. 与decltype配合usingReturnTypedecltype(function(args...));模板中templatetypenameF,typename...ArgsusingInvokeResultstd::invoke_result_tF,Args...;标准库中大量_t形式都是别名模板例如std::remove_reference_tTstd::decay_tTstd::enable_if_tCondition,Type20. 编码建议C 代码中合理使用typedef简化结构体和函数指针。现代 C 优先使用using。别名命名应表达语义而不只是缩短字符。不要用类型别名掩盖危险的裸指针所有权。注意const Alias修饰的是整个别名类型。需要类型安全时使用包装类而不是普通别名。公共 API 中保持别名稳定避免频繁暴露底层实现。模板依赖类型前记得使用typename。别名模板使用using不要尝试用typedef直接实现。函数指针复杂时也可以考虑std::function但需评估其运行时开销和所有权语义。21. 面试总结typedef为已有类型创建别名不会创建新的独立类型。它可用于简化指针、数组、函数指针和复杂模板类型声明。现代 C 中using通常可读性更好并且支持别名模板因此一般优先使用using。使用指针别名时要特别注意const修饰的是整个别名类型。