PHP 7.4 类型属性是运行时约束而非编译期检查，赋值时才校验类型并抛出 TypeError；不参与符号表生成，IDE 和静态分析工具依赖注释推断，不提供 Java 那样的全链路类型契约与元数据保证。
PHP 7.4的类型系统是运行时约束，不是编译期检查
PHP 7.4 虽然支持类属性类型声明（如 private string $name;），但该类型仅在赋值时触发运行时校验——若给 $name 赋值整数 123，PHP 会在执行到该行时抛出 TypeError，而非在代码加载或解析阶段报错。
这一步无法提前拦截：你写完 public int $id = "abc"; 并不会在文件载入时报错，只有当这个属性被实际写入或构造函数执行时才爆发异常。
【PHP 类型不参与符号表生成和静态分析推导】 IDE 或 Psalm/PHPStan 等工具的类型提示，完全依赖注释或人工标注的类型信息，语言本身不提供编译期类型契约。
Java 18 的类型系统贯穿编译、加载、运行全链路
Java 18 中所有变量、参数、返回值、泛型类型都必须在编译期明确其静态类型，String name = 123; 在 javac 阶段就直接报错，根本不会生成 class 文件。
立即学习“PHP免费学习笔记（深入）”；
从源码 → .java → .class → JVM 加载 → 运行，每一步都携带并验证类型信息。即使使用反射获取字段 Field f = clazz.getDeclaredField("id");，也能通过 f.getType() 精确拿到 int.class，这是 JVM 规范强制保证的元数据完整性。
泛型擦除只发生在字节码层面，但类型参数在源码和编译中间过程全程存在，且影响重载解析、桥接方法生成、类型推断结果。
在调试 Java 后端 API 故障时使用此技能，尤其适用于以下任务：分析日志、跨 Controller、Service 和 Mapper 层追踪请求、定位异常根因、检查 SQL 执行或参数流转，以及生成简洁的诊断结论与修复方案。
可空性表达方式根本不同
方法一：PHP 7.4 用 ?string 表示可为空字符串，这是语法糖，底层仍为 string|null 联合语义，但运行时不做联合类型分发，仅做非空校验。
方法二：Java 18 没有原生可空类型关键字，需依赖 @Nullable / @NonNull 注解（如 JetBrains 或 Checker Framework 提供），或使用 Optional<string></string> 显式包装——后者是值语义容器，不是类型修饰符，且 Optional 本身不可序列化、不能作为字段直用，有明显设计代价。
注意：Java 的 String 变量默认就可为 null，无需额外标记；而 PHP 的 ?string 是显式开启 null 兼容的开关，关掉即禁止 null 赋值。
类型继承与多态能力不对等
第一步：PHP 7.4 支持类类型属性声明（如 private LoggerInterface $logger;），但仅校验赋值对象是否实现该接口，不校验具体方法签名是否匹配协变返回类型或逆变参数。
第二步：Java 18 强制要求子类重写方法时，返回类型必须是父类返回类型的子类型（协变），参数类型必须是父类参数类型的超类型（逆变），JVM 字节码校验器会拒绝非法重写的 class 文件加载。
第三步：PHP 中 $obj->log() 调用不检查该方法是否存在或签名是否一致，直到运行时才触发 Fatal error: Uncaught Error: Call to undefined method；Java 则在编译期就绑定方法符号，不存在“调用不存在方法”的运行时错误。
