PHP 7.4 支持属性类型声明而非类型推断，必须显式声明（如public string $name），未声明则视为mixed；未初始化的类型属性会报致命错误，可空类型需写为?string，构造器属性提升中类型为语法强制部分。
PHP 7.4 类属性类型推断不是自动发生的，它不依赖变量赋值上下文做隐式猜测，而是严格依赖显式声明——你没写类型，IDE 和运行时就当它是 mixed；你写了，它才真正“知道”。
先分清：类型声明 ≠ 类型推断
PHP 7.4 引入的是属性类型声明（typed properties），不是“推断”。所谓“推断”，在 PHP 中仅存在于函数返回值、局部变量等极少数场景（如 $x = strlen("abc"); → $x 被推断为 int），但类属性不参与类型推断。未声明类型的 public $name; 永远不会被当成 string，哪怕你只给它赋过字符串值。
所以“记”的核心是：属性必须明写类型，否则就没有类型可言。
记住三类必写场景
以下三类属性，不写类型会直接报错或行为异常，必须声明：
立即学习“PHP免费学习笔记（深入）”；
- 声明了类型但未初始化的属性，如 public int $id; —— 构造函数中不赋值就会触发 Fatal error: Typed property must not be accessed before initialization
- 可空类型，如 protected ?string $remark; —— 问号?必须紧贴类型前，不能写成 string? 或 ? string
- 使用构造器属性提升（Constructor Property Promotion）时，类型是语法强制部分：
public function __construct(public string $name, private int $level) { } —— 这里 string 和 int 不是可选注释，是语法组成部分
PhpStorm 里怎么“看”出类型有没有生效
方法一：悬停查看
把鼠标停在属性名上（比如 $user->name），300 毫秒后弹出提示框，顶部显示 Type: string —— 这说明类型声明已被识别且生效；若显示 Type: mixed 或无 Type 行，说明要么没写类型，要么文件语言级别低于 PHP 7.4。
方法二：快捷键验证
光标放在属性名任意位置 → 按 Ctrl+Shift+P（Windows/Linux）或 Cmd+Shift+P（macOS）→ 面板中明确列出来源是 “Declared type” 而非 “Inferred from assignment” —— 这就确认了是声明驱动，不是推断。
注意：如果面板里写的是 “Inferred from @var” 或 “Inferred from new User()”，说明你根本没声明属性类型，靠的是 PHPDoc 或对象创建反推，这种不属于 PHP 7.4 的属性类型机制。
容易混淆的坑：数组和对象类型怎么写
方法一：基础写法
public array $tags; ✅ 支持，PHP 7.4+ 原生支持 array 类型声明
public User $owner; ✅ 自定义类名直接写，大小写敏感，类必须已声明或自动加载可用
方法二：带结构提示的写法（仅 PhpStorm 识别，不参与运行时校验）
/** @var User[] */ public array $users; —— 这行注释告诉 IDE：这个 array 里每个元素都是 User 对象，但运行时仍只校验是不是 array，不校验内部元素类型
public iterable $items; ✅ iterable 比 array 更宽泛，兼容 array、Traversable 对象，适合接口契约场景
