纯大白话，还是老规矩。第八阶段75-84，核心就一句话：PHP 里"类型"到底是什么、它怎么管数据的。我先给你打个总地基，再逐条拆。---先讲明白一个总概念：zval 和"类型标签"PHP 里所有变量底层都是同一个结构体，叫 zval（zend value）。它里面有个类型标签（一个数字），比如：-1=整数（long）-6=字符串（string）-7=数组（array）-10=对象（object） 关键：zval 只是一个"能装任何东西的盒子+一个写着装的是什么类型的贴纸"。PHP 说"弱类型"，本质就是——同一个盒子，今天装整数、明天装字符串、后天装对象都行，只要把贴纸撕了换一张。 后面所有类型话题，都在讲这张"贴纸"怎么换、怎么查、怎么卡。---75.弱类型全景——为什么PHP 这么"随便"PHP 的弱类型，白话就是三个字：看心情换。-自动装盒：$a=1;就往盒子里装个整数贴上"整数"贴纸。$a="1";就装字符串贴"字符串"标签。-自动换盒：你"5"+3，PHP 一看——加号需要两个数字，这个字符串是"5"，于是运行时偷偷把字符串撕下标签、换成整数5，再加=8。你根本不用管。-查的是"此刻的贴纸"：类型检查在运行期，每刻查的是 zval 当时贴着的那张贴纸。 所以"弱类型"的底层真相：不是没有类型，是类型跟着盒子走、随用随换。它不算"不管类型"，而是"类型自动转换得特别勤快"。---76.类型强制转换——拆盒重装的规则 当 PHP 需要把值转换成另一种类型（要么你强制(int)，要么它自己为了运算偷换），走的就是三个核心转换函数： 转字符串 zval_get_string：-整数42→"42"-浮点3.14→"3.14"-布尔 true →"1"，false →""（空串！这是坑）-null →""-数组 →"Array"（爆一个警告）-对象 →调它__toString()，没有就报错 转整数 zval_get_long（long就是整数）：-字符串"42abc"→42（从头读到第一个非数字就停，后面的 abc 扔掉）-字符串"abc123"→0（开头不是数字就是0）-浮点3.9→3（直接砍掉小数，不是四舍五入，向下截断）-true →1，false →0转浮点 zval_get_double：-字符串"3.14"→3.14-整数2→2.0-规则和整数类似，但能读小数点 重点坑：-整数转浮点点保留精度问题-字符串转整数的"读到数字就停"和"开头不是数字就是0"这两个行为，最容易踩到 一句话：转换=撕掉旧贴纸、按目标类型的规则重读内容；关键是字符串转数字"读到非数字就停、开头非数字就是0"。---77.严格模式 strict_types ——就是"关掉自动换标签"你文件顶部写declare(strict_types=1);，本质是：告诉 PHP，别给我瞎换标签，参数传错了就报错。 区别白话说：-弱模式（默认）：functionf(int$x){}你传f("3")→PHP 自动把"3"撕标签转成整数3→放行。-严格模式：f("3")→PHP 一看你传的是字符串、它要整数——当场TypeError 报错，绝不偷换。 底层：strict_types 影响的是"参数和返回值"的转换检查。它的控制开关存在——注意关键点——调用方那个文件里，不是定义方文件里。谁传来的值，看谁的 开合规不合规。这就是为什么你可能遇到"我明明声明了严格模式怎么还让我传字符串"——因为调用是在另一个没开严格模式的文件里。 重要：严格模式不禁止你显式(int)"3"——你明说转，就转。它只禁止"自动偷换"。 一句话：严格模式=关掉参数/返回值的自动转换，"你传错类型就报错"，而且开关看的是"谁来调用"那个文件。---78.联合类型int|string ——一盒允许多种贴纸 functionf(int|string $x){}意思是：$x 盒子里允许装整数或字符串。 底层：编译类的参数表里，类型不再是一个数字（单类型），而是一个类型列表（一组允许的数字）。运行时检查就是：1.看 $x 此刻贴的是什么贴纸（整数？字符串？）。2.拿这个贴纸去允许列表里比对，在列表里 →放行；不在 →报 TypeError，并且错误信息会把"你给了 X，但我只接受int|string"说得清清楚楚。|就是"或"。灵活但要在前面，注意可空类型其实就是联合类型的一种特例（见81）。 一句话：联合类型=给这个参数开一个"允许哪些贴纸"的清单，运行时拿现在贴的贴纸去清单里查，查到了就过。---79.交集类型 A&B ——必须"同时满足"多个合同 交集类型和联合类型正好相反：-unionA|B：A 或 B，满足一个就行。-intersection A&B：A 和 B，必须同时是 A 又 B。 它几乎只用在类/接口上，因为只有对象才能"同时是多种东西"。一个类 implements Foo,Bar，它就同时是 Foo 又是 Bar。 所以 functionf(Foo&Bar $x){}的意思是：$x 必须是同时实现了 Foo 和 Bar 两个接口的那个对象。 底层检查：看 $x 这个对象所属的类是否同时实现了列表里所有接口/继承所有类，全都沾得上才放行，缺一个就报错。 一句话：交集类型=必须同时满足全部条件；因为只有对象能"同时是好几样"，所以基本都用在接口/类上。---80.never/void返回类型——"没结果"的两种姿势 这俩都是告诉 PHP"我没东西返回"，但语义完全相反：-void：函数正常跑完，返回时什么都不给。可以return;，不许return5;。允许函数最终走到结尾。调用它的代码当成"没返回值"，拿来的都是 null。-never（8.1新增）：函数根本不会返回——它要么抛异常，要么调exit/die 直接结束程序。绝不允许它正常走到函数结尾。所以写 never 的函数，代码最后一行哪怕"正常结束"了，PHP 也报错。 底层差异：-void是运行期+编译期查：有return值 就拦。-never 是调用关系分析：PHP 分析你能不能走到结尾，能走到（哪怕理论上可能正常走完）就报错——因为它约定了"这函数要么炸、要么结束程序"。 一句话：void=正常走完但不带东西；never=压根不许正常走完（只能炸或退程序）。---81.可空类型?int——就是联合类型的手写简写?int完全等于int|null。底层就是78的联合类型——允许列表是[整数贴纸,null贴纸]。 坑提醒：-?int只对"声明的那个参数/返回值"可空，不是"变量的整个类型可空"。-null 是独立的"贴纸"（is_null）。-8.0后建议直接写int|null，?int是旧写法，语义一样。 一句话：?int=int|null 的简写，底层就是联合类型，一个"整数或空"的允许清单。---82.类型声明的编译期检查 vs 运行期检查 这是最实用的一条，分清楚哪些错"写代码时就看得出"、哪些"跑到才炸"： 编译期（PHP 读你代码阶段就报红）：-继承/实现接口时，函数签名类型对不上（比如父类f(int)子类f(string)，参数类型变了）。-返回值类型该是int你写 string（签名层面写死的）。-类里两个 trait 冲突方法之类的结构错误。 运行期（得真跑起来才报）：-参数实际传入的值类型不对（f("3")传给要整数的，严格模式才报；弱模式会先尝试转）。-返回值运行时真算出来的值类型不对。-declare(strict_types)归属、动态属性8.2检查、魔术方法（__get 等）的类型。 一句话概括规律：凡是静态写死在代码签名上的、能一眼看出来的（继承签名、返回值标记）→编译期；凡是跟运行时的实际值有关的 →运行期。签名是"纸面声明"，值是"实际交付"，纸面错了编译就抓，交付错了跑起来才抓。---83.协变（返回）/逆变（参数）——PH8.0的"更具体/更宽泛"这个词最吓人，其实就两个规则： 返回类型协变（covariant）：子类重写父类方法时，返回类型可以更具体（更小、更严格）。-父：functionmake():Animal-子：functionmake():Dog（Dog 是 Animal 的子类）✅ 合法-意思：子类答应"我记得更具体"，这是安全的，因为 Dog 也算 Animal。 参数类型逆变（contravariant）：子类重写方法时，参数类型可以更宽泛（更大、更宽松）。-父：functionfeed(Dog $d)-子：functionfeed(Animal $a)✅ 合法-意思：子类答应的"我能喂更宽的范围"，调用方传它的参数肯定能满足。 底层实现：重写方法时 PHP 会做一次类型包含关系检查：-返回类型：子类的方法返回值类型必须是被父类返回类型"包含在内"（子类更窄 ⊂父类更宽）→协变-参数类型：子类的参数类型必须"包含"父类的参数类型（子类更宽 ⊃父类更窄）→逆变 记口诀：返回往窄走（子类化），参数往宽走（父类化）。方向不同，别搞反。 一句话：重写方法时，返回类型你只能更具体、参数类型你只能更宽泛——PH会算"包含关系"来校验，方向弄反就报错。---84.自己给 PHP 加一个新基本类型（实战） 这是终极挑战，我给一条完整可落地的路线（大白话+关键实现点），不创建文件： 目标：加一个 sayhi 类型的"简单基本类型"——一个直接存C 字符串的基本值类型（演示最小闭环）。 第1步：给类型枚举加一个新的数字标签 在 zend_types.h 里，找类型常量区，加一个：#defineMYZVAL_TYPE_SAYHI(IS_PTR+1)// 或挑一个空闲的类型号类型号是 zval 贴纸的编号，新类型必须占一个没被占用的号。 第2步：定义这个类型的"值结构体"新基本类型要能存东西。定义一个 C 结构：typedefstruct{char*buf;// 具体存的内容size_tlen;}my_zval_sayhi;第3步：在 zval 里想办法让它能装这个值 zval 有 value 联合体。最省事的做法是不改 zval 核心，而是存一个指针到 zval 的 ptr 字段（zval 里本来有个 ptr），类型贴成 SAYHI，运行时看到 SAYHI 就把 ptr 当作 my_zval_sayhi*。 第4步：实现"转换"三件套（这是核心） 新类型要让(string)$x、(int)$x、(bool)$x 都能用，就得在转换switch里补分支：-get_zval_value_ptr/Z_TYPE 等各种宏-zend_get_string_value 里加case：SAYHI →从 ptr 读出 buf 转成 zstring-zend_get_long_value/zend_get_double_value 里加case：SAYHI →转数字 这几个函数在 zend_operators.c，漏了任何一个，用户在类型之间随便转就会崩。 第5步：实现"比较"分支==、===走到比较函数（zend_compare），加 SAYHI 的比对逻辑（两个都是 SAYHI 就比 buf；SAYHI 和其他类型就按规定转）。 第6步：实现"内存管理"（最容易漏）-创建：给 my_zval_sayhi 分配内存、复制字符串。-释放：zval_ptr_dtor 里加 SAYHIcase，负责 free 掉 buf——不忘就内存泄漏。-COPY：zend_copy_ctor 加case深复制 buf。 第7步：把它暴露成像"语法类型"一样可用-加对应扩展，zend_register_class_specialties 或在启动时 zend_declare_function 注册一个sayhi($s)返回一个 SAYHI 类型 zval 的函数。-这样用户 $x=sayhi("abc");就拿到新类型。 第8步：重新编译 PHP+测试 $ x=sayhi("a");var_dump($x);→期望输出你的类型和内容。跑(string)$x、(int)$x、==、serialize（序列化也要给 SAYHI 加规则，否则序列化直接崩）。 完整流程顺序（别乱）：类型号 →值结构 →zval 存取 →转换三件套 →比较 →内存管理(alloc/free/copy)→暴露语法/函数 → 编译+全场景测试（转换/比较/序列化/内存泄漏检测）。 坑总结（必看）：大多数人加新类型死在三处——忘了在dtor(free)里释放 →内存泄漏；②忘了在转换switch里补分支 →一(int)就崩；③忘了 serialize/unserialize →一序列化就崩。把这三处补全，新类型基本就成了。 一句话：加基本类型=占个类型号 →定义值结构 →放进 zval →补"转换/比较/内存/序列化"四个switch分支 →暴露给 PHP 用 → 重新编译 →全场景测试；核心是别漏内存释放和类型转换。---75-84总账 地基：所有值都是 zval=万能盒子+一块"类型贴纸"，弱类型=随用随换贴纸75弱类型=运行时看贴纸、随用随换，不是没类型，是换得勤76转换=撕贴纸重读内容：字符串→数字"读到非数字就停、开头非数字=0"77严格模式=关掉参数/返回值自动偷换，传错就报 TypeError；开关看"调用方"文件78int|string=给参数开一张"允许哪些贴纸"清单，运行时比对贴纸79A&B=必须同时满足；多半用在接口/类上（只有对象能同时"是好几样"）80void=能正常走完但不带东西；never=不许走完（只能炸或退出程序）81?int=int|null 简写，就是联合类型82签名写死的（继承签名/返回标记）→编译期抓；运行时的实际值 →运行期抓83重写方法：返回往窄走（协变）、参数往宽走（逆变），PHP 算包含关系校验84加新类型=类型号→值结构→zval存取→转换/比较/内存/序列化四个switch→暴露→重编译→全测---有个点特别提醒你：76的"字符串转整数 0 和截断"、以及77严格模式看调用方文件、还有82的编译期/运行期分界线，这三个是 实际开发踩坑率最高的。前两个遇到过就记住，第三个能用来看代码报错时判断"是我写错了签名"还是"是运行时的数据不干净"。
