PHP面试题库

array_filter始终保留输入键，因此筛选索引数组后可能留下空档。结果转成JSON时，这种非列表PHP数组会编码为对象。array_map只有在恰好传入一个数组时才保留键；传入多个数组后，它按迭代位置对齐值，并返回连续整数键。我通常在处理阶段保留业务键，只在明确要求列表的边界调用array_values。映射回调需要键时，我会使用清楚的foreach，或显式传入键和值。

初始值定义了处理第一项前的累加器，也是空输入的结果。PHP省略它时，第一次回调收到null；它不会像JavaScript的reduce那样采用数组首项。显式单位值还能稳定结果类型：加法用0，乘法用1，字符串拼接用空字符串，分组用空数组。如果不存在合理的空结果，我会先校验输入并抛出领域异常，而不是让意外的null流入回调。

后方字符串键配置应覆盖前方值，或需要拼接并重排整数键列表时，我会使用array_merge。联合运算符对每个重复键保留左侧值，并保留整数键，因此适合左侧优先的默认值，或数字标识有意义的映射。两者都不是通用深合并：array_merge是浅层操作，而array_merge_recursive可能把重复标量变成数组。选择前，我会先说明字符串键、整数键和嵌套数组的冲突政策，再分别写测试。

左值应排在前面时，比较函数返回负整数；排序意义上相等时返回0；右值应排在前面时返回正整数。太空船表达式通常能清楚表达这项契约，布尔值无法覆盖三种情况。usort通过引用修改数组，并把所有键替换为连续整数；需要保留原顺序时我会先复制，需要保留关联时则考虑uasort。PHP 8及以后会保留相等项的输入顺序，但输入顺序不确定时，确定性输出仍需要明确的决胜字段。

PHP数组本质上是键为整数或字符串的有序映射。只有键按遍历顺序严格等于从0开始的连续整数时，它才具有列表形状，array_is_list检查的正是这条规则。字符串键、非零起始键或中间空档都会让它成为映射形状，但运行时类型仍是array。这项区别会影响边界：json_encode把列表编码为JSON数组，把其他PHP数组编码为JSON对象。我会明确记录返回形状，并且只在键没有业务含义时使用array_values重排。

领域需要区分键缺失与键明确设为null时，我会使用array_key_exists。它只检查键是否存在，因此普通值与null都算存在。isset要求键存在且值不是null，空合并运算符也采用相同的实际区分方式。例如在局部更新请求中，null可能表示清空字段，缺失则表示保持不变，此时必须使用array_key_exists。如果两种状态都表示采用默认值，isset或 ?? 更简短，也能准确表达政策。

unset会删除一个键值对，但不会重新编号其余整数键。删除列表中间元素后会留下空档，之后的无键追加通常继续使用下一个整数键，而不会回填空档。这个值仍是PHP数组，但array_is_list已返回false。由于JSON数组无法携带这些显式且不连续的键，json_encode会把它表示为JSON对象。如果键只表示位置，我会在序列化边界调用array_values；如果键是业务标识，则会有意保留它们。

普通赋值让数组遵循值语义：修改副本的键、标量元素或嵌套数组，不会改变原数组。PHP可能通过写时复制推迟物理复制，但这只是实现优化，不是应用代码可见的别名。对象元素有所不同，因为除非显式克隆对象，两个数组仍保存指向同一对象的句柄。使用 & 的显式引用赋值也会造成共享修改。我会分别测试容器独立性与对象身份，并在按引用foreach后立即unset循环变量。

运行时类型属于当前值，因此同一个变量可以先保存int，再保存string。类型声明约束参数、返回值、属性与类常量等选定位置，两者的集合有重叠，但并不相同。resource是用户代码声明无法命名的运行时类型；iterable描述数组或Traversable对象，不是独立的运行时值类型。mixed、void与never也用于表达声明契约。我用get_debug_type生成诊断信息，用is_* 函数执行明确的类型缩小，不会比较gettype的字符串结果。

它是针对标量声明的文件级规则。对于用户定义函数的参数，采用调用发生文件中的设置，而不只是函数定义文件中的设置。严格模式会拒绝标量类型不匹配，唯一的放宽是int可以满足float参数；它也会收紧声明的返回值。严格模式不会解析查询字符串、验证数值范围、检查数组元素，也不会把PHP变成静态类型语言。我仍会在边界解析不可信输入，再把窄化且验证过的值传给使用严格声明的领域函数。

强制转换通过PHP转换规则保证结果类型，却不能证明来源表示完整且有意义。像 (int) ($input[“quantity”] ?? null) 这样的表达式，可能把字段缺失、格式错误与合法零值合并成同一个整数。验证会先定义允许的原始类型、语法、范围与缺失值政策，只有通过检查后才发生转换。这样既能保留有用错误，也能防止授权或计价逻辑使用由非法输入制造出来的貌似合理值。

它只保证外层值是数组。原生PHP的array声明不会编码列表或映射形状、必需键与元素类型。PHPDoc可以描述array<string, int>或具名数组形状，静态分析器也能检查配合良好的代码，但这些注解不会在运行时验证请求数据。我会在外部边界显式验证键和值。对于结构稳定的领域记录，我通常把验证后的数据映射到带类型属性的类，而不是让匿名数组贯穿整个应用。

如果case只需在PHP内部彼此区分，而且领域中没有稳定的标量表示，我会选择纯枚举。每个case仍是带类型的单例，拥有name，也能使用方法、接口和cases()。如果值必须经过数据库、JSON API、队列消息或配置文件往返，我会选择带值枚举；此时字符串或整数值会成为外部契约。我不会只为标签或排序添加backing value，展示文案与领域顺序应使用显式映射。

两个方法都属于带值枚举，并且按backing value查找，不按case名称查找。from() 返回case，找不到时抛出ValueError，适合受数据库约束等内部不变量保护的数据。tryFrom() 返回case或null，适合需要生成校验响应的客户输入。我在调用前仍会检查原始类型，也会区分字段缺失与未知值，不会把两者都压成默认case。

PHP本身不会在编译时证明枚举match已经穷尽。没有分支匹配且不存在default时，执行会抛出UnhandledMatchError。这个运行时失败能避免新增case静默复用无关政策，但只有路径实际运行时才会出现。对于每个case都必须明确决定结果的逻辑，我会省略default，让参数化测试遍历cases()，并启用能更早报告遗漏的静态分析器。只有未来所有case都能安全共享同一行为时，default才合适。

backing value可能已经写入数据库行、JSON载荷、消息、缓存键与测试夹具。PHP序列化依赖枚举类型和case名称，因此重命名这些标识又会破坏另一批数据。新增case也可能破坏旧消费者：tryFrom会对新值返回null，缺少分支的match则只在运行时失败。我会把已发布值当作协议字段，先让消费者理解两种表示或明确未知值政策，再迁移存量数据，最后才让生产者停止写旧格式。

PHP诊断携带E_* 整数级别、消息、文件和行号。符合条件的级别可以进入set_error_handler()，其返回值决定PHP的普通展示或日志是否继续。Throwable则是Exception与Error共享的对象层次，通过try/catch传播，也可能到达set_exception_handler()。因此，Error并不等于E_ERROR。我会先判断失败来源，因为E_ALL掩码不会让错误处理器捕获TypeError，catch也不会收到普通E_USER_WARNING，除非代码显式把它转换为ErrorException。

Throwable是Exception与Error两个分支共同实现的接口。应用抛出的RuntimeException属于Exception，而TypeError等引擎失败属于Error，所以catch (Exception) 会漏掉后者。我会让局部捕获保持窄小，只列出真正能够恢复的失败。只有在事务、请求、任务或CLI边界中，所有逃出的失败都需要同一种回滚与终止政策时，我才捕获Throwable。我不会机械地把每个Exception都改成Throwable，因为那会把程序缺陷伪装成误导性的后备结果。测试还会让两个分支各有一个对象经过该边界。

表达式经过求值并产生一个值，语句则是完整的执行单位，例如赋值语句、return或函数调用。区分二者很重要，因为PHP允许表达式内部产生副作用。赋值还会产生被赋的值，所以if中误写的单个等号是合法代码，不是语法错误。我通常让状态变化单独占一条语句，除非紧凑形式拥有清楚契约。审查时，我会用括号展开混合了赋值、比较与逻辑运算的表达式，确认结果类型，并测试两条分支。

各分支提出不同问题或执行多条语句时，我使用if，并把谓词按优先级排列。一个主题值应该产生唯一结果时，我使用match；它执行严格比较、返回选中分支的值，而且不会贯穿。我主要在既有代码或故意按语句贯穿时保留switch，同时记住case使用宽松匹配，非空分支通常需要break。选择并非外观问题。我会测试重叠谓词的顺序、从switch迁移到match时字符串数字与整数的差别，以及没有default时的未匹配路径。

我会先区分静态类式名称、函数、常量和动态字符串。非限定类名先使用当前文件的导入别名，否则属于当前命名空间。限定名称的首段可以由导入别名替换，否则相对于当前命名空间。开头反斜杠表示从全局根开始的完全限定名称，namespace\ 则明确表示相对名称。当前命名空间没有同名定义时，非限定函数与常量可以回退到全局空间，类却不能。动态字符串绕过这些静态导入规则，因此运行时需要完整名称时，我会传递Type::class。

use声明是编译期、文件级的记法。它告诉PHP怎样展开类、函数或常量的短名称，但不会包含文件、安装包或定义目标。PHP解析出类式引用后，已注册的自动加载器才可能收到该完整名称并查找定义，Composer通常用PSR-4完成这一步。排障时我会按顺序检查：先打印或查看准确的解析结果，再按composer.json推导预期路径；若配置有变化，就重新生成自动加载元数据，并通过vendor/autoload.php实际使用该类。

像int|string这样的联合类型，只保证运行时值按照PHP调用点的类型规则满足至少一个已声明成员。它不会证明整数为正、字符串属于已知状态，也不会检查数组的必需键和元素类型。我会在HTTP、CLI、数据库或消息数据进入系统时校验形状与领域约束，再将其规范化成更窄的内部表示。测试会覆盖每个允许成员、1与 “1” 这类外观相似的值、边界值，以及必须拒绝的类型。

__get会在代码读取未定义属性，或读取当前调用作用域无法访问的已声明属性时运行；__call则是不可访问实例方法调用的对应后备入口。两者都不会包住对已声明公开成员的普通访问，所以必须覆盖全部访问的授权或审计不能只放在这里。我会从真实外部语法发起测试，而不是直接调用钩子，并覆盖公开、私有、缺失与拼写错误的成员。__set、__isset、__unset和 __callStatic也需要按同样的可见性规则分析。

当前类声明的方法优先于导入的Trait方法，Trait方法又优先于继承的父类方法。两个Trait提供同名方法时，除非use适配块用insteadof选择一个，否则会产生致命错误。我可以用as保留被排除的实现，并按需调整别名可见性。别名只是新增入口，不会重命名或删除原方法。审查变更时，我会为类、父类和嵌套Trait建立成员来源表，再测试适配后的每个最终公开入口。

回调会收到注册掩码允许的诊断严重级别、消息、文件和行号。转换前应检查error_reporting() & $severity，让抑制与当前政策保持有效。返回false会交回PHP默认处理；返回true则表示自定义路径完全接管展示与日志。我会让回调保持短小，避免依赖可能递归失败的组件，并把临时注册与finally中的restore_error_handler() 配对。对于长生命周期工作进程或基于Fiber的应用，还要验证进程级处理器状态不会泄漏到其他请求或交错任务。

关闭函数会在正常结束和许多终止路径上运行，因此必须先检查error_get_last() 是否为null，再用明确的致命级别允许列表筛选。它可以记录小型、幂等的事件，或释放简单进程资源，但不是恢复边界。此时事务可能不完整、内存可能耗尽、输出也可能已经开始。我不会继续领域写入、重新执行支付，也不会把通用HTML页面输出到JSON或流式响应中。重试应由能检查持久状态的外部工作进程或调用方决定。

控制流通过正常完成、return、已捕获异常或继续传播离开try/catch结构时，finally都会执行。我用它完成本作用域拥有的有限清理，例如释放锁、关闭流、回滚临时状态或恢复处理器。我不会在finally中return，因为它会替换待返回值，还可能吞掉异常。我也会避免放入可能以不可预测方式失败的大段清理逻辑。资源取得与释放应相邻，测试则在取得资源后故意制造失败，证明清理会执行，而且不改变原始结果或异常。

优先级告诉解析器运算符与操作数如何分组，结合方向则处理相同优先级运算符的嵌套。两者通常都不承诺哪个子表达式先执行。当调用、自增、赋值或数组更新挤在同一表达式中时，这项区别会影响正确性；某个运行时上观察到的顺序不是可移植契约。我会把必须排序的副作用拆成有名称的独立语句。只有运算符明确规定条件求值时，我才依赖顺序，例如 &&、||、?? 的右侧或条件表达式选中的分支，而且不会把必须发生的写入藏在那里。

特性只是元数据，因此写下 #[RequiresRole] 本身不会执行授权。消费者必须通过反射找到它，决定重复项如何组合，在需要时实例化对象，再应用策略。getAttributes可以只返回描述符而不运行构造器；ReflectionAttribute::newInstance才会实例化，并可能暴露非法目标、缺少参数或类未声明为特性等问题。我会通过真实消费者执行启动或集成测试，覆盖元数据缺失、重复、错误参数、错误目标，以及授权允许和拒绝两种结果。

我会保留E_ALL，让警告、通知和弃用信息继续可观测；关闭display_errors，避免内部细节进入响应；同时打开log_errors，并使用受访问控制的目标。启动设置应由部署配置负责，不能只依赖请求代码。日志使用稳定事件码、关联ID和明确的字段允许列表，排除密码、令牌、Cookie、授权头与任意请求体。测试既要确认实际配置和内部上下文充足，也要确认公开响应不包含路径、堆栈、SQL与秘密，还要覆盖日志目标自身失败的情况。

我会在理解底层失败的那一层捕获具体类型，补充当前操作语境，并把原始Throwable作为新异常构造器的第三个参数。这样，上层只依赖稳定的领域类型，getPrevious() 仍能保留驱动或服务原因。新消息描述本层失败的操作，不复制旧消息。我通常只在拥有关联与脱敏上下文的最外层记录整条链。每层都记录后再抛出会制造重复事件；遗漏 $previous则只剩文案，破坏可编程访问的原因关系。

PHP异常是非检查型异常，函数签名不会强迫调用方确认它们。我会记录公共方法可能抛出的稳定应用类型，按调用方政策而不是消息文案选择类型，并在转换边界之后隐藏基础设施异常。测试覆盖成功、每种已记录失败类型、前一个异常关系，以及各条退出路径上的清理。我不会让客户端解析getMessage()，也不会把Exception::$code自动当成HTTP状态。如果调用方需要结构化决策，异常会提供窄小的只读属性或子类型，而公开响应使用独立的稳定错误码。

我会让入口负责协议细节：Web适配层读取指定的超全局字段，CLI适配层读取argv并选择退出码。每个适配层先验证和规范化原始字符串，再把普通的带类型值传给业务函数。业务函数通过参数接收依赖与数据，返回含义稳定的领域结果，不读取全局变量、不打印响应，也不终止进程。这样，测试无需构造请求或启动命令就能直接调用它。最外层适配器再把领域失败转换成HTTP响应、标准错误消息或非零退出码。

我不会把请求值拼进类名字符串，因为导入不会改写动态字符串，而且自动加载受攻击者影响的名称可能触发意外代码。我会建立从协议键到类常量的封闭映射，例如把csv映射到CsvExporter::class；在调用class_exists或new前拒绝未知键，并把返回类型声明为共享接口。构造仍可能产生副作用，所以允许列表检查必须在前。测试覆盖每个允许键、大小写变体、分隔符、空输入与未知键，并断言映射类都能由Composer加载且实现该接口。

我会先建立从公开动态名称到固定操作的封闭映射。每个入口都在调用窄小服务接口前验证实参数量、运行时类型、授权与预期返回类型，未知名称统一抛出BadMethodCallException。我不会把method_exists当作授权，也不会把调用方控制的名称直接转发给内部服务，否则服务新增公开方法就会静默扩大代理接口。如果名称集合稳定且很小，我会完全不用 __call，改为声明普通的带类型方法，从而改善发现、静态分析、重构和测试。

我会从失败调用所请求的完整类名开始，而不是看它的本地别名。找到composer.json中匹配的前缀后，我会移除前缀，把余下的命名空间分隔符转换成目录，再给类名添加 .php。目录、文件名、声明和引用的大小写都要逐一精确比较，因为大小写不敏感的文件系统可能在本地掩盖漂移。我还会检查单复数层级，确认入口载入了预期的vendor/autoload.php，并在配置变化后运行composer dump-autoload。最后要通过真实自动加载器复现，不能只对目标文件执行语法检查。

命名调用按形参的文本名称绑定，因此即使位置和类型不变，重命名公开形参也可能破坏调用方。位置实参必须在前，未知名称或重复绑定会抛出Error。展开数组时，字符串键会被视为实参名，所以用 …$payload转发不可信载荷，会让调用直接面对未知键与类型失败。我会先通过允许列表投影外部数据，再执行展开；同时保持公开形参名稳定，并保留按名称调用重要API的集成测试。

我会先用不同类型的值、每个case、贯穿路径和default固定旧行为。match使用严格比较，只返回一个分支表达式，而且没有分支匹配时会抛出UnhandledMatchError，因此机械替换switch可能同时改变三种行为。迁移嵌套空值检查时，我会找出每个独立可空步骤，并定义每种缺失的领域含义；这些步骤各自需要 ?->，而 ?? 提供的是另一层后备策略。必须执行的审计、授权和其他副作用，应移出可能被nullsafe链跳过的方法实参。

PHP会先浅复制对象属性，再在新对象上调用 __clone。因此，对象类型的属性仍引用同一个嵌套实例，除非 __clone主动替换它们。编写钩子前，我会按所有权分类属性：拥有的值对象可以克隆，服务可以继续共享或重新注入，有身份的对象可能禁止克隆，令牌与缓存则可能需要清空。测试会修改每一类嵌套可变值，同时断言应隔离与应共享的关系。数组尤其需要注意，因为复制数组不会克隆其中保存的对象。

普通对象赋值复制对象标识符，因此两个变量定位同一实例，通过任一名称修改都能从另一处观察到。它不会让两个变量本身成为别名：重新赋值其中一个变量不会改变另一个。显式 & 才会建立变量引用关系，仅为共享对象通常不需要它。clone创建新的顶层身份，再浅复制属性，因此嵌套对象属性仍然共享，除非 __clone主动替换。我会分别测试标量、数组与嵌套对象的修改，并且只在契约要求同一运行时实例时使用 ===。

__serialize应返回经过有意筛选且带版本的状态数组，而不是所有私有字段；令牌、连接、闭包、请求对象与缓存都应排除。__unserialize要验证版本、必需键、嵌套类型与领域不变量，并初始化每个带类型属性，因为恢复过程不会走普通构造路径。我会保留固定旧载荷作为迁移测试，而不只测试新鲜往返。PHP序列化是带自动加载和钩子行为的对象协议，因此绝不把攻击者控制的字节交给unserialize。外部输入应使用纯数据格式并显式验证，可信存储中的字节也需要完整性保护。

封装不只是把字段改成private。我会先定义必须始终成立的状态，在构造器中接收所有必需值并拒绝非法组合，再只公开能够维护这些规则的操作。带类型属性能阻止部分错误赋值，却无法表达范围、字段关系或生命周期顺序。我也会避免返回可变内部对象，以免调用方绕过校验。测试会覆盖非法构造输入与每个公开修改操作，并通过可观察行为断言不变量，而不是使用反射读取私有字段。

我从调用方需求出发。调用方只需要一种能力，而且无关实现都能提供时，我会定义小接口。多个实现确实共享状态、生命周期和稳定算法骨架时，抽象类才合适，因为PHP只能继承一个父类。若目标只是复用工作或替换一项策略，我会把行为放进协作者，并通过构造器组合。一个类可以实现多个接口，同时仍只继承一个父类。我不会为假想中的未来实现预建抽象，而是在真实替换边界出现时再引入。

Trait通过向使用方类加入成员来复用实现；它不是可实例化对象，也不是可替换的能力类型。接口定义调用方可以向无关实现要求的公开操作，但在PHP 8.3中不提供方法体。多个类承诺同一接口，而且确实共享同一实现时，我会让各类实现接口并使用Trait，同时用Trait抽象方法声明宿主需求。若行为需要可替换服务或独立生命周期，我会注入协作者，而不是把依赖藏进Trait。

我不会只检查签名兼容性。子类必须接受父契约允许的全部输入，保持返回值语义，维护继承的不变量，也不能新增意外的必需副作用或失败。子类构造器必须建立全部父类状态，通常需要调用parent::__construct。我会通过父类型对每个子类运行同一组父契约测试，而不是只调用子类特有方法。PHP能检查兼容的参数逆变和返回值协变，却无法证明业务前置条件、异常政策或状态转换。如果替换关系需要许多例外，组合或更窄接口通常更清楚。

Trait声明的实例属性会成为每个使用方对象的状态，并与类属性共享命名空间，所以同名声明必须在结构上兼容。Trait静态属性属于类，不属于单个对象，在常驻进程中可能跨请求或测试泄漏。PHP 8.3中，只继承相关成员的子类会看到继承的存储，再次使用同一Trait的子类则获得与父类不同的存储。我会测试两个对象、两个无关类、只继承的子类和再次使用Trait的子类，也会避免用静态属性保存租户级数据。