首页 文章 精选 留言 我的

精选列表

搜索[云开发静态网站托管],共10000篇文章
优秀的个人博客,低调大师

TypeScript 里用 satisfies 保留字面量类型,同时做静态校验

在写 TypeScript 的时候,我经常遇到一个很别扭的情况:想给一个对象声明类型,让每个属性值都被推断成具体的字面量,而不是被拓宽成 string、number 这种宽泛类型。以前要么用 as const 把整个对象冻成只读,要么单独写一个类型再手动标注,但两者都有代价:as const 会让对象完全只读,后续想修改某个字段就不行;手动写类型又容易在值写错时得不到提示。TypeScript 4.9 引入的 satisfies 操作符正好解决这个矛盾——它能校验一个表达式是否满足某个类型,同时保留表达式本身最窄的推断结果。这篇文章会从实际场景出发,说明 satisfies 的推断行为、和 as const 的区别、在配置对象和路由表里的用法,以及一些容易踩的坑。

优秀的个人博客,低调大师

使用 Phan 为你的 PHP 项目保驾护航 - 代码静态扫描

原文:我的个人博客https://mengkang.net/1356.html 很多时候,最大的优势在某些情况下就会变成最大的劣势。PHP 语法非常灵活,也不用编译。但是在项目比较复杂的时候,可能会导致一些意想不到的 bug。 背景分析 不知道你的项目是否有遇到过类似的线上故障呢?比如 继承类语法错误导致的故障 文件1 class Animal { public $hasLeg = false; } 文件2 include "Animal.php"; class Dog extends Animal { protected $hasLeg = false; } $dog = new Dog(); php Dog.php Fatal error: Access level to Dog::$hasLeg must be publ

资源下载

更多资源
Mario

Mario

马里奥是站在游戏界顶峰的超人气多面角色。马里奥靠吃蘑菇成长,特征是大鼻子、头戴帽子、身穿背带裤,还留着胡子。与他的双胞胎兄弟路易基一起,长年担任任天堂的招牌角色。

Spring

Spring

Spring框架(Spring Framework)是由Rod Johnson于2002年提出的开源Java企业级应用框架,旨在通过使用JavaBean替代传统EJB实现方式降低企业级编程开发的复杂性。该框架基于简单性、可测试性和松耦合性设计理念,提供核心容器、应用上下文、数据访问集成等模块,支持整合Hibernate、Struts等第三方框架,其适用范围不仅限于服务器端开发,绝大多数Java应用均可从中受益。

Sublime Text

Sublime Text

Sublime Text具有漂亮的用户界面和强大的功能,例如代码缩略图,Python的插件,代码段等。还可自定义键绑定,菜单和工具栏。Sublime Text 的主要功能包括:拼写检查,书签,完整的 Python API , Goto 功能,即时项目切换,多选择,多窗口等等。Sublime Text 是一个跨平台的编辑器,同时支持Windows、Linux、Mac OS X等操作系统。

WebStorm

WebStorm

WebStorm 是jetbrains公司旗下一款JavaScript 开发工具。目前已经被广大中国JS开发者誉为“Web前端开发神器”、“最强大的HTML5编辑器”、“最智能的JavaScript IDE”等。与IntelliJ IDEA同源,继承了IntelliJ IDEA强大的JS部分的功能。

用户登录
用户注册