ThinkPHP 8.0要求所有自定义PHP文件首行必须声明declare(strict_types=1)，PHP版本不低于8.1，模型find()返回null需空安全访问，select()返回Collection须用isEmpty()判断，路由须按静态→单变量→多级顺序定义并加正则约束。
ThinkPHP 8.0 官方文档不是“翻一遍就行”的手册，而是要带着约束意识和契约思维去读——它不只告诉你“能怎么写”，更在明确“必须怎么写”。比如 strict_types 声明不是可选项，属性提升不是语法糖，模型返回类型不是风格偏好。自学时若跳过这些硬性约定，后期调试会陷入“没报错却逻辑不执行”的泥潭。
严格类型声明是强制前提，不是可选配置
所有自定义 PHP 文件（控制器、模型、服务类等）必须在 <?php 后第一行写 declare(strict_types=1);，中间不能有任何空格、BOM 或注释。这不是建议，是运行基础：
- 没加这行，
public function detail(int $id)接收字符串参数也不会报错，类型检查完全失效； - 框架里不存在
'strict_mode' => true这类配置项，写进 config 无效； - PHP 版本必须 ≥8.1（官方推荐），否则部分特性（如联合类型反射）无法稳定支持。
构造函数属性提升要避开三类典型错误
PHP 8.1+ 支持的属性提升，在 ThinkPHP 8 中与依赖注入协同工作，但容易因写法冲突直接报错：
- 已声明
private string $name;→ 构造函数中不能再写private string $name，否则触发Fatal error: Cannot redeclare property； - 参数含联合类型（如
string|int）时，框架反射可能失败，建议拆成?string或单独判断； - 属性提升后仍需确保参数可被容器解析，例如带默认值的
private ?array $config = null是安全的，但private array $config无默认值则必须传参。
模型查询行为有明确契约，不能凭直觉调用
ThinkPHP 8 的 find() 和 select() 返回值类型不同，混用会导致运行时错误：
立即学习“PHP免费学习笔记（深入）”；
-
find()查不到返回null，直接访问$user->name会报Call to a member function ... on null，必须先判空（is_null($user)或$user ?? []）； -
select()返回的是Collection对象，不是数组，empty($users)永远为 false，要用$users->isEmpty()判断； - 分页必须接在未执行的查询链末尾，
User::where(...)->select()->paginate()是错的，select()已执行 SQL，无法再分页。
路由定义顺序和变量约束直接影响匹配结果
路由不是“写了就能用”，顺序和正则约束决定了是否命中：
- 静态路径（如
user/profile）必须放在最前，否则会被user/:id截断； -
user/:id/edit必须排在user/:id后面，否则/user/123/edit中的:id会匹配成"123/edit"； - 变量默认遇到
/就停止，要支持 Base64 或中文，得加正则约束，例如->pattern(['token' => '\S+'])，别用.*，它会贪婪吞掉整个 URL 后半段。
