或许是疫情的余温，近两年的经济形势非常差，对我的工作也产生了深远的影响，去年 OpenAI 发布了 ChatGPT 🤖，我们公司不久也启动了若干 AI 相关的项目，我有幸（or not?…doesn’t matter）参与了其中一个，从那之后直到现在，漂泊的生活便没有停止过，我记忆中的 27 岁似乎比 26 岁更加漫长。

23 年上半年在一个不高不低的点买了房 🏠，原本计划着下半年买车 🚗，接着装修 🪜… 现在想想不知道还要等多久才能继续当时的规划。

去年 9 月份收到了通知，说我们有机会参加公司的某个 AI 相关的㊙️密项目，征求大家的参与意愿，想着能搭上 AI 这趟高速列车 🚄，我便决定参与到这个项目中，代价是未来几个月需要和来自各个工区的同事在杭州工区封闭开发项目。封闭的工作强度蛮高，但这种有目标的忙碌让人感到充实和安心。

至少在 2023 向我们挥手告别时，我们对未来是充满信心的，都期盼着更好的 2024。

🗓️ 壹月

去年项目封闭结束后我们便回到了武汉工区，因为项目还处于前期开发阶段，我们部门的员工又分部在全国各地，于是项目组提出了「旅游办公」的方案，也就是在上海、杭州、深圳各待几周集中开发。

一月份我们主要在深圳办公，不得感叹深圳的办公环境比其它工区好很多，深圳工区的办公大楼的视野非常好，和香港隔海相望，于是趁着这个机会和同事去香港体验了一下 City-Walk，顺便买了琦姐心心念念的相机。

🗓️ 贰月

二月最重要的事情就是过年啦 🧨，春节假期恰逢百年难得一遇的冻雨，难以忘记第一次开车回家 🚗 的体验。

🗓️ 叁月

去年租的房子到期了，选了很久选到了一个有停车位且环境非常不错的小区，离公司也很近，不得感叹生活越来越好啦！

三月底和琦姐的朋友们去武大看了樱花 🌸，当时正值晚樱，是最适合赏樱的时间，微风把樱花如细雨般吹落到地上，还是和第一次看见落樱时一样惊艳——希望明年也有机会回珈看樱花。

🗓️ 肆月

四月份公司高层对公司的布局做了很大的调整，撤销了我们部门的武汉分部，给大家发放 N+1 补偿，或者把工资提高 25% 然后转岗到上海（因为武汉的工资是一线城市的 0.8 倍）。

N+1 和转岗这两个选择让人感到迷茫，似乎又是一次人生道路上的转折点。

1️⃣ 如果选择转岗到上海，便需要在上海重新租房，并经常来回上海-武汉，提高的工资确实能 cover 这部分开销，不过可以想象到未来工作的疲惫程度。
2️⃣ 如果选择领取 N+1 补偿，便面临着和武汉同时失业同事们竞争本就不多的岗位，最后的工资福利和现有一定会存在较大落差，不利于长期发展。

和琦姐商量了两天，期间在两种方案中摇摆不定，最后决定转岗到上海，五月底开始在上海办公。

直到现在我也不知道这是否是一个正确的决定。

🗓️ 伍月

五一假期和琦姐自驾 🚗 到成都看汤尤杯比赛，非常幸运和运动员们住在同一个酒店，和喜欢的运动员一起吃早饭是一件很奇妙的事情。随着赛事圆满结束，我们也圆满地离开了成都。

上海和武汉有三个半小时的车程，每周往返的成本倒是不算高，也就习惯了这样的工作节奏，和同事在上海租了房子，正式开启沪漂之旅。

🗓️ 陆月

端午节和朋友们到洛阳玩，和当地羽协打了交流赛，到龙门石窟、古墓博物馆、白马寺、洛邑古镇打卡，不长的假期却过得非常充实。

六月份琦姐毕业了，工作地点在青山区，于是我们舍弃了这个刚租到的我们非常满意的小区，重新在青山租房。

也是这个月，我们忙碌了大半年的 AI 项目计划着正式对外上线，我需要负责其中一个上线前的改版需求，这期间一直在北京出差。在北京和同样从武汉来北京漂泊的朋友们吃了个饭，在知春路上聊着各自加入的新团队。

🗓️ 柒月

婆婆去世，请了几天丧假，再一次开车从武汉回家，开了十个小时。第二天一大早开车回老家，自高中毕业后就再也没有见过老家夏天的样子，漫山绿油油的玉米树让我很怀念小时候暑假回老家避暑的日子。

处理完家里的事情便回到工作中，后续一两周都在上海办公。

不巧的是，因为公司 AI 战略的调整，我们团队的工作重心改为支援一个海外项目，项目主要成员在深圳，所以后面我们需要长期在深圳出差了，真是世事难料。

海外项目差不多两周后，公司高层觉得当前业务的国内版本优先级比国外项目更高，于是我们又投入了一个月去支援国内项目，不过和负责人沟通后我们可以在武汉工区办公，这两周过得非常快乐。

🗓️ 捌月

八月份不出意外，又回到了海外项目继续之前未完成的工作。不得不说我非常喜欢在深圳出差时住的酒店，楼下有我喜欢的鲜榨甘蔗汁和福鼎肉片，每天下班回去买一份幸福感很高（不过每次都得祈祷一下城管不在）。

🗓️ 玖月

令人焦虑又兴奋的一个月，因为需要筹划去琦姐家见家长的事情，准备了很久礼物。

🗓️ 拾月

国庆节开车去琦姐家里，一路南下并没有堵车，和这趟路途一样，一切都很顺利。

令人难忘的国庆，每天都很充实，希望有时间能单独记录一下这段旅程。

离开吉安的时候阿姨送了一个车载玉坠，没有比这个更漂亮的挂饰了（在这之前我看过很多车载挂饰，都没有找到满意的，所以一直没有买）。

这个月剩下的时间仍然在深圳出差，深圳的天气真的很适合打工人。

🗓️ 拾壹月

公司出了新的出差政策，从武汉到深圳这种行程不能直接走公司平台预订，需要经过 Leader 审批后报销。所以为了省去一些麻烦，我们这个月便回到了上海办公。

期间还去了趟苏州，在阳澄湖吃了大闸蟹，也第一次尝试了钓鱼 🎣，不过啥也没钓到。

这个月海外项目第一版基本完成了，上层暂缓了第二版的计划，我也在这个间隙和 Leader 提了转岗申请，协商在下个月完成项目交接和转岗流程。

🗓️ 拾贰月

这个月主要的工作是给海外项目收尾，接着去深圳完成交接，然后加入上海的新团队。

今年的年终总决赛在杭州开打，我和琦姐分别从上海武汉出发，来杭州看了雅思最后一场国际比赛。这一次的酒店比起上次在成都的差了很多，但长期出差积攒了行政酒廊权益，不用为晚上吃啥顾虑了。

比赛看罢，送琦姐去杭州站，我也在最后十分钟赶上了杭州东站回上海的动车 🚄。

25 年元旦

去归元寺求了签，签运不错，希望新的一年越来越顺利，拜拜 2024 👋。

去年春节前的武汉很冷 🥶，伴随而来的还有百年难得一遇的冻雨 🌨️，而我却准备在这最困难的时候，开车从武汉回家 🚗。现在回想起来，也是一段非常奇妙的旅程，所以想着把这段经历记录一下。

大年廿三晚上和土哥参加完实验室年终聚会回到家，发现楼下电动车上已经裹上了薄薄的一层冰，天上也持续地下着小雨。

不出所料，第二天整个武汉便被冰层覆盖，公司附近的树被压断了不少。当时看了下最近几天的天气预报，只有大年廿六天气稍好，遂决定廿六号离开武汉。

原计划开两天车回家，第一天冒着冻雨开到荆州，第二天从荆州开回家（彭水），但计划总是赶不上变化…

🗓️ 大年廿六

下午两点在保利充满电，没想到仅出武汉就花了三小时。上高速后走走停停，天色逐渐暗了下来，快到仙桃服务区的时候，终于堵住不动了。

道路两侧积了很厚的雪，天上也开始零星下起了小雪，这个时候拿出了我在楼下买的的烤馍和泡面，以及出发前烧好的开水，准备吃个晚饭。不过没想到水温不够，泡不开泡面…

又等了一会，快到 9 点了，还堵在路上，不得已把车开到了仙桃服务区，顺便在服务区吃了晚饭。仙桃服务区很大，环境也很好，想着后面一定要带琦姐来一次。

没想到第一天是在仙桃服务区度过的，离目标荆州还有好几个小时的路程呢，不过还好小特的空调很给力，在驾驶位安稳地睡了一觉。

🗓️ 大年廿七

今天起了个大早，车外还是零星地下着小雪，但已经是白茫茫的一片，在服务区吃了个早饭，顺便把车的电充满了，满血出发，今天的目标是宜昌！

刚出服务区，导航显示前方有些拥堵，等一会发现只是有两辆龟速车在缓慢前行，超过他们后又往前开了一会，这时导航显示前方非常拥堵。

果然没过一会彻底堵住了，能看到前方大概 500 米处有凿冰的车在以 10km/h 的速度开路，就这样一直堵到了中午，车外的雪也越下越大。

好在又过了不久终于放行了，浩浩荡荡的车队就这样一直往前开，大概十分钟后整个车队居然被赶下了高速…高速封路了，只能走国道，国道的道路状况比高速更复杂，因为两侧积雪的缘故，原本的双车道只剩下一个车身宽度的车道可走，只能跟在大货车后面缓慢通行。

出乎意料的是，国道的风景非常好，整个世界被白雪和云层覆盖，大地和天空交融在一块，是那种一望无际银装素裹的感觉。从仙桃到荆州，走了国道县道乡道，途径了很多乡镇，从热闹的氛围中已经能提前感受到年味，更加归心似箭了。

只顾欣赏风景去了，没有想起拍照…

进入荆州的时候一直很堵，查了一下才知道荆州是本次冻雨的重灾区，市区的积雪和我地盘差不多厚，一路上只能沿着前方车辆压过的车轱辘印行驶。途中还因为没有车轱辘印了，不得原路倒车，换了条路。好在运气不算很差，兜兜转转后还是从荆州收费站重新上了高速。（后面我和琦姐说，荆州那一段路我仿佛在越野…）

从荆州去宜昌的路上，路边的积雪越来越少，路况也越来越好，很快便到了宜昌市。找桃子问了下宜昌比较适合吃的地方，决定今晚就在宜昌好好玩一下！

🗓️ 大年廿七-晚

桃子说「陶珠路」上美食很多，建议我去这边玩一下，于是我便来到「陶珠路」。这是一条非常热闹的街，路边有很多夜宵店，整条街都弥漫着火锅的香味，每个店门口都有一位负责拉客的服务员。

听桃子建议找到了「北门老刘」，点了一份宜昌红油面和一份凉拌猪耳，感觉味道不错，就是油太重了，不是我喜欢吃的类型，喜欢吃襄阳牛肉面的朋友可以去尝试一下。

吃完晚饭，略感困倦，找了个能充电的酒店地下车库休息，今晚依旧住在车里，过年期间酒店的人很少，也很安静，今天就到此为止了，明天直接回家！

🗓️ 大年廿八

从宜昌市区到高速需要开很久，会爬很高的盘山公路，路过了不少弯弯绕绕的乡镇式道路，但不得不说，宜昌的风景真的很好，清晨的朝阳照在山间，雾气渐渐消散，是工作后难得一见的景色。

总是会忘记拍照…

今天的第一站要先到恩施充个电，宜昌到恩施的路上非常顺利，G50 高速路况很好，中午 11 点左右便到了恩施服务区，充个电吃个饭，继续出发 🚀。

恩施到彭水的路上隧道很多，雾气很重，每个山头 🏔️ 都萦绕着一团雾，有的雾气甚至笼罩了隧道口，视野很差，需要打开雾灯才能继续行驶。

不过在听到「前方 2 公里，靠右下高速，往保家收费站方向」的时候，感觉这一路的艰辛都是值得的。

从保家收费站往彭水城区开，经过了很多记忆中有些模糊的道路，想起小时候一个人在这条路上骑自行车 🚴 的场景，不得感叹人终究是会长大的。

这趟「自驾游」开了三天，途径了很多城市，看到了很多平时见不到的风景，运气也很好，没有遇到因为冻雨堵车导致电量耗尽 🪫 的情况，最终平安回到家。

TypeScript 是一个类型系统，如何实现五子棋应用呢？这不得不提到 TypeScript 的类型系统其实是图灵完备的 🤓

能否实现

什么是图灵完备

图灵完备性是计算机科学中的一个概念，描述了一个系统在时间和资源充足的情况下，能够执行任何可以用算法表达的计算。这个概念以数学家阿兰·图灵的名字命名，图灵完备的系统能够模拟图灵机，后者是一个理论计算模型。这个特性对于编程语言至关重要，因为它意味着这些语言可以解决任何图灵机能够解决的问题，前提是没有内存或处理能力的限制。现代编程语言如 Python、Java 和 C++等都是图灵完备的例子。理解图灵完备性有助于评估不同编程范式的计算能力和局限性。

证明 TS 是图灵完备的

如果某个系统是图灵完备的，那么它一定能实现以下三个基础函数和三个基础操作

三个基础函数
常零函数：给定任意参数，返回值为零
后继函数：给定参数 X，返回值为 X + 1
映射函数：给定参数列表，返回指定位置的参数

三个基础操作
函数组合：将一个函数的返回值作为另一个函数的输入
原始递归函数：实现递归函数，包含基础条件的判断和递归条件的判断
极小化：找到某个函数返回值首次为 0 时的参数值
可以看到证明某个系统是否是图灵完备的比较复杂，但如果它能实现任意「偏递归函数」，那么它一定是图灵完备的，一个典型的偏递归函数的例子是除法运算。

先上理论：
什么是「偏递归函数」：这不得不提到与之对应的「全递归函数」，「全递归函数」指对于一个原始递归函数，任意输入都有对应的输出，而「偏递归函数」不一定能得到输出结果。
比如乘法是一个「全递归函数」，除法是一个「偏递归函数」（除数为 0 时无法输出结果）。这也就是为什么说能实现除法，系统就基本可以算是图灵完备了（当然这只是说「基本可以」，比如计算器可以实现除法，但它并不图灵完备）。

实际操作一下，如何通过 TS 类型系统实现除法操作：

1. 定义三个基础方法和计算操作

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24

export type 不可能 = never;
export type 是 = true;
export type 否 = false;

// 1. 常零函数
export type 零 = {
  是零吗: 是;
};

export type 正数 = { 前一个数: 整数; 是零吗: 否 };

export type 整数 = 零 | 正数;

// 2. 后继函数
export type 加一<T extends 整数> = {
  前一个数: T;
  是零吗: 否;
};

// 3. 投影函数，TS 自带，比如: type A_3_2<T1, T2, T3> = T2

// 1. 函数组合，TS 自带，比如: type A = B<C<number>>
// 2. 全递归函数，TS 可以通过 extends 语法实现条件判断和递归调用
// 3. 极小化，TS 可以通过 extends 和 infer 语法判断计算结果是否为零

2. 实例化一些整数
   其实 TS 通过 type 三 = [1, 2, 3]['length'] 可以直接拿到数字类型，我们这里再原始一点，通过数据结构来定义

1
2
3
4
5
6
7
8
9

export type 一 = 加一<零>;
export type 二 = 加一<一>;
export type 三 = 加一<二>;
export type 四 = 加一<三>;
export type 五 = 加一<四>;
export type 六 = 加一<五>;
export type 七 = 加一<六>;
export type 八 = 加一<七>;
export type 九 = 加一<八>;

3. 定义基础的比较运算

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47

export type 相等<
  第一个数 extends 整数,
  第二个数 extends 整数
> = 第一个数 extends 零
  ? 第二个数 extends 零
    ? 是
    : 否
  : 第二个数 extends 零
  ? 否
  : 相等<减一<第一个数>, 减一<第二个数>>;

export type 不相等<第一个数 extends 整数, 第二个数 extends 整数> = 相等<
  第一个数,
  第二个数
> extends 是
  ? 否
  : 是;

export type 大于<
  第一个数 extends 整数,
  第二个数 extends 整数
> = 第一个数 extends 零
  ? 否
  : 第二个数 extends 零
  ? 是
  : 大于<减一<第一个数>, 减一<第二个数>>;

export type 小于<
  第一个数 extends 整数,
  第二个数 extends 整数
> = 第一个数 extends 零
  ? 第二个数 extends 零
    ? 否
    : 是
  : 第二个数 extends 零
  ? 否
  : 小于<减一<第一个数>, 减一<第二个数>>;

export type 大于等于<
  第一个数 extends 整数,
  第二个数 extends 整数
> = 是 extends 相等<第一个数, 第二个数> ? 是 : 大于<第一个数, 第二个数>;

export type 小于等于<
  第一个数 extends 整数,
  第二个数 extends 整数
> = 是 extends 相等<第一个数, 第二个数> ? 是 : 小于<第一个数, 第二个数>;

4. 定义加、减、乘。这三个函数都是全递归函数

1
2
3
4
5
6
7
8
9
10
11

export type 加法<数字一 extends 整数, 数字二 extends 整数> = 数字二 extends 零
  ? 数字一
  : 加法<加一<数字一>, 减一<数字二>>;

export type 减法<数字一 extends 整数, 数字二 extends 整数> = 数字二 extends 零
  ? 数字一
  : 减法<减一<数字一>, 减一<数字二>>;

export type 乘法<数字一 extends 整数, 数字二 extends 整数> = 数字二 extends 零
  ? 零
  : 加法<数字一, 乘法<数字一, 减一<数字二>>>;

5. 定义除法。可以看到除法的定义和减法的定义几乎一致，但通过后面的测试用例我们可以看到当除数为 0 时，代码会陷入计算的死循环中，这也是偏递归函数相比于全递归函数不同的地方

1
2
3
4
5
6
7

export type 除法<
  数字一 extends 整数,
  数字二 extends 整数,
  结果 extends 整数 = 零
> = 是 extends 小于等于<数字一, 数字二>
  ? 结果
  : 除法<减法<数字一, 数字二>, 数字二, 加一<结果>>;

6. 测试用例

1
2
3
4
5
6

type Case1 = 相等<加法<一, 一>, 二>; // true
type Case2 = 相等<减法<五, 三>, 二>; // true
type Case3 = 相等<乘法<三, 三>, 九>; // true
type Case4 = 相等<除法<八, 三>, 二>; // true
// @ts-expect-error
type Case5 = 相等<除法<八, 零>, 二>; // Type instantiation is excessively deep and possibly infinite.(2589)

完整代码见 TypeScript Playground

图灵完备能做什么

正如图灵完备的定义，如果一个系统是图灵完备的，那么它可以用来解决任何可计算的问题

可计算问题：是否存在一个算法，能解决在任何输入下的此计算问题，如果存在，这个问题便是可计算的
一个不可计算问题的例子（判断某个函数是否死循环）：

停机问题：给定一段程序的描述和该程序的一个有效输入，运行此程序，那么程序最终是会终止，还是会死循环下去？

显然，五子棋程序是一个可计算问题：无论是用户落子后应该如何渲染，还是用户落子后对局是否结束，都是能够被计算的
理论成立，开始实现 🧑‍💻

怎么实现

我们不难发现五子棋其实就是一个二维链表，链表的每一项是一个棋子或者为空，每落一子便得到一个新的二维链表。
那么通过 TS 类型系统实现五子棋这个问题便转化为了如何通过 TS 类型系统表示一个二维链表类型，并实现基于当前的二维链表和落子位置，推导出新的二维链表类型，最后基于二维链表类型实现棋盘渲染和胜负判定

定义棋子

棋子类型能够区分黑白即可

大多数 TS 编辑器都是偏黑色或偏白色，所以这里使用红绿作为棋子颜色

1
2
3
4
5
6
7
8
9
10
11

type 黑色符号 = "🔴";
type 白色符号 = "🟢";

type 黑色 = "黑";
type 白色 = "白";

type 颜色 = 黑色 | 白色;

type 棋子<T extends 颜色> = {
  符号: T extends 黑色 ? 黑色符号 : 白色符号;
};

定义棋盘

棋盘是一个以棋盘格为单元组成的二维链表，链表的第一个纬度可表示棋盘的一行，那么我们可以先定义出棋盘格，再定义棋盘行，最后定义出棋盘

定义棋盘格

棋盘格需要有坐标信息和当前位置棋子的信息
对于坐标，可以使用上文中已经定义出的整数类型实现

1
2
3
4
5
6
7

type 棋子横坐标 = 一 | 二 | 三 | 四 | 五 | 六 | 七 | 八 | 九;
type 棋子纵坐标 = 一 | 二 | 三 | 四 | 五 | 六 | 七 | 八 | 九;

type 棋子坐标 = {
  横: 棋子横坐标;
  纵: 棋子纵坐标;
};

进一步得到棋盘格的定义

1
2
3
4
5

export type 棋盘格 = {
  内容: 棋子<颜色> | 空;
  上一格: 棋盘格 | 空;
  下一格: 棋盘格 | 空;
};

可以看到这里定义棋盘格时便声明了双向链表结构，每一个棋盘格都记录着它前后棋盘格的引用，便于后续的胜负判定

定义棋盘行

棋盘行的定义和棋盘格类似

1
2
3
4
5

export type 棋盘行 = {
  内容: 棋盘格;
  上一行: 棋盘行 | 空;
  下一行: 棋盘行 | 空;
};

定义整个棋盘

棋盘的定义也是依葫芦画瓢

1
2
3
4
5

export type 棋盘 = {
  内容: 棋盘行;
  待落颜色: 颜色;
  结果: 空 | 颜色;
};

我在定义棋盘时同时定义了当前待落子的颜色信息和当前结果，便于后续渲染棋盘时提示该哪一方落子以及对局是否结束

构造棋盘

棋盘的构造也就是通过参数生成棋盘类型，类似的棋盘行和棋盘格也需要构造，以构造棋盘格为例：

1
2
3
4
5
6
7
8
9
10
11
12
13

export type 构造棋盘格参数 = {
  内容: 棋盘格["内容"];
};

export type 构造棋盘格<
  T extends 构造棋盘格参数,
  P extends 棋盘格["上一格"],
  K extends 棋盘格["下一格"]
> = {
  内容: T["内容"];
  上一格: P;
  下一格: K;
};

构造棋盘行的方法类似，这里省略，我们直接看棋盘是如何构造的

1
2
3
4
5
6
7
8
9
10
11
12
13

export type 构造棋盘参数 = {
  内容: 棋盘行;
};

export type 构造棋盘<
  T extends 构造棋盘参数,
  P extends 颜色,
  K extends 空 | 颜色
> = {
  内容: T["内容"];
  待落颜色: P;
  结果: K;
};

如何构造五子棋盘呢，以 9*9 的棋盘为例，我们可以先定义棋盘格，由棋盘格构造棋盘行，由棋盘行得到目标棋盘

这里没有使用递归构造，TS 有最大递归次数限制；如果在这里使用递归构造，后面计算结果时会突破上限

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116

type 构造五子棋棋盘行参数 = [
  构造棋盘格参数,
  构造棋盘格参数,
  构造棋盘格参数,
  构造棋盘格参数,
  构造棋盘格参数,
  构造棋盘格参数,
  构造棋盘格参数,
  构造棋盘格参数,
  构造棋盘格参数
];

type 构造五子棋棋盘行<
  T extends 构造五子棋棋盘行参数,
  P extends 棋盘行["下一行"]
> = T extends [
  infer 第一格 extends 构造棋盘格参数,
  infer 第二格 extends 构造棋盘格参数,
  infer 第三格 extends 构造棋盘格参数,
  infer 第四格 extends 构造棋盘格参数,
  infer 第五格 extends 构造棋盘格参数,
  infer 第六格 extends 构造棋盘格参数,
  infer 第七格 extends 构造棋盘格参数,
  infer 第八格 extends 构造棋盘格参数,
  infer 第九格 extends 构造棋盘格参数
]
  ? 构造棋盘行<
      {
        内容: 构造棋盘格<
          第一格,
          空,
          构造棋盘格<
            第二格,
            空,
            构造棋盘格<
              第三格,
              空,
              构造棋盘格<
                第四格,
                空,
                构造棋盘格<
                  第五格,
                  空,
                  构造棋盘格<
                    第六格,
                    空,
                    构造棋盘格<
                      第七格,
                      空,
                      构造棋盘格<第八格, 空, 构造棋盘格<第九格, 空, 空>>
                    >
                  >
                >
              >
            >
          >
        >;
      },
      空,
      P
    >
  : 不可能;

type 构造五子棋棋盘参数 = [
  构造五子棋棋盘行参数,
  构造五子棋棋盘行参数,
  构造五子棋棋盘行参数,
  构造五子棋棋盘行参数,
  构造五子棋棋盘行参数,
  构造五子棋棋盘行参数,
  构造五子棋棋盘行参数,
  构造五子棋棋盘行参数,
  构造五子棋棋盘行参数
];

type 构造五子棋棋盘<T extends 构造五子棋棋盘参数> = T extends [
  infer 第一行 extends 构造五子棋棋盘行参数,
  infer 第二行 extends 构造五子棋棋盘行参数,
  infer 第三行 extends 构造五子棋棋盘行参数,
  infer 第四行 extends 构造五子棋棋盘行参数,
  infer 第五行 extends 构造五子棋棋盘行参数,
  infer 第六行 extends 构造五子棋棋盘行参数,
  infer 第七行 extends 构造五子棋棋盘行参数,
  infer 第八行 extends 构造五子棋棋盘行参数,
  infer 第九行 extends 构造五子棋棋盘行参数
]
  ? 构造棋盘<
      {
        内容: 构造五子棋棋盘行<
          第一行,
          构造五子棋棋盘行<
            第二行,
            构造五子棋棋盘行<
              第三行,
              构造五子棋棋盘行<
                第四行,
                构造五子棋棋盘行<
                  第五行,
                  构造五子棋棋盘行<
                    第六行,
                    构造五子棋棋盘行<
                      第七行,
                      构造五子棋棋盘行<第八行, 构造五子棋棋盘行<第九行, 空>>
                    >
                  >
                >
              >
            >
          >
        >;
      },
      "黑",
      空,
      否
    >
  : 不可能;

落子后生成新棋盘

每落一子都需要生成一个新的棋盘，也就是说落子是基于当前棋盘和落子信息生成新的棋盘的函数。
基本原理就是通过落子参数，替换掉当前棋盘的某一个棋盘格后，生成新的棋盘

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33

export type 落子<
  某棋盘 extends 棋盘,
  某坐标 extends 棋子坐标,
  某颜色 extends 颜色
> = 获取棋盘某位置的单元<某棋盘, 某坐标> extends infer 当前格
  ? 当前格 extends 棋盘格
    ? 当前格["内容"] extends 空
      ? 获取棋盘指定行<某棋盘, 某坐标["纵"]> extends infer 当前行
        ? 当前行 extends 棋盘行
          ? 替换棋盘某行<
              某棋盘,
              某坐标["纵"],
              从内容构造棋盘行<
                替换棋盘行某格<当前行, 某坐标["横"], 棋子<某颜色>>,
                当前行["上一行"],
                当前行["下一行"]
              >
            > extends infer 某棋盘内容
            ? 某棋盘内容 extends 棋盘["内容"]
              ? 构造棋盘<
                  {
                    内容: 某棋盘内容;
                  },
                  某棋盘["待落颜色"] extends "黑" ? "白" : "黑",
                  计算结果<某棋盘内容>
                >
              : 不可能
            : 不可能
          : 不可能
        : 不可能
      : 错误
    : 不可能
  : 不可能;

计算结果

计算结果的大概原理是遍历每一个棋盘格，计算其各方向同色子的个数是否达到五个，因为是每个棋子都计算一遍，所以只需要「向前遍历」即可

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57

type 获胜方向 = "横行" | "纵向" | "正斜" | "反斜";

type 根据方向获取下一坐标<
  当前坐标 extends 棋子坐标,
  方向 extends 获胜方向
> = 方向 extends "横行"
  ? 构造棋子坐标<加一<当前坐标["横"]>, 当前坐标["纵"]>
  : 方向 extends "纵向"
  ? 构造棋子坐标<当前坐标["横"], 加一<当前坐标["纵"]>>
  : 方向 extends "正斜"
  ? 构造棋子坐标<加一<当前坐标["横"]>, 加一<当前坐标["纵"]>>
  : 方向 extends "反斜"
  ? 构造棋子坐标<减一<当前坐标["横"]>, 加一<当前坐标["纵"]>>
  : 不可能;

type 某向是否胜利<
  方向 extends 获胜方向,
  某棋盘内容 extends 棋盘["内容"],
  某坐标 extends 棋子坐标 | 空,
  某棋盘格 extends 棋盘格 | 空,
  某颜色 extends 颜色,
  胜利所需个数 extends 三 | 五,
  迭代次数 extends 正数 = 一
> = 某棋盘格 extends 棋盘格
  ? 某坐标 extends 棋子坐标
    ? 某棋盘格["内容"] extends 棋子<某颜色>
      ? 是 extends 相等<迭代次数, 胜利所需个数>
        ? 是
        : 根据方向获取下一坐标<某坐标, 方向> extends infer 下一坐标
        ? 某向是否胜利<
            方向,
            某棋盘内容,
            下一坐标 extends 棋子坐标 ? 下一坐标 : 空,
            下一坐标 extends 棋子坐标
              ? 根据棋盘内容获取棋盘某位置的单元<某棋盘内容, 下一坐标>
              : 空,
            某颜色,
            胜利所需个数,
            加一<迭代次数>
          >
        : 不可能
      : 否
    : 否
  : 否;

type 是否胜利<
  某方向 extends 获胜方向,
  某棋盘内容 extends 棋盘["内容"],
  某坐标 extends 棋子坐标,
  某棋盘格 extends 棋盘格,
  某颜色 extends 颜色,
  胜利所需个数 extends 三 | 五
> = 某方向 extends 获胜方向
  ? 某向是否胜利<某方向, 某棋盘内容, 某坐标, 某棋盘格, 某颜色, 胜利所需个数>
  : 不可能;

// e.g. type 结果 = 是否胜利<获胜方向, ...> = 某向是否胜利<"横行", ...> | 某向是否胜利<"纵向", ...> | 某向是否胜利<"正斜", ...> | 某向是否胜利<"反斜", ...>

写到这里时突然想到五子棋的逻辑比较简单，其实只计算最后落子位置八个方向是否胜利即可，这样稍微麻烦的地方在于计算时不仅需要「向前遍历」，还需要「向后遍历」

渲染棋盘

对于不同的语言和不同的执行环境，渲染方式往往不一样，比如 HTML 的渲染是通过 DOM 和 CSSOM 在浏览器画布中实现的、命令行的渲染是通过普通字符和控制字符在终端实现的。TS 的渲染类似，可以借助于类型提示将字符渲染到 IDE 的提示弹窗里，就像这样：

那么我们只需要实现一个渲染棋盘的类型，将棋盘作为参数即可

其中用到了 TS 模版字符串的能力，这是 TS 能够展示多样化信息的关键，也是一个很强大的功能

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84

export type 空符号 = "➕";
export type 元符号 = "💲";

type 五子棋元坐标 =
  | 构造棋子坐标<三, 三>
  | 构造棋子坐标<三, 七>
  | 构造棋子坐标<五, 五>
  | 构造棋子坐标<七, 三>
  | 构造棋子坐标<七, 七>;

export type 渲染空格<
  纵坐标 extends 棋子纵坐标,
  横坐标 extends 棋子横坐标,
  元坐标 extends 棋子坐标
> = 构造棋子坐标<横坐标, 纵坐标> extends 元坐标 ? 元符号 : 空符号;

export type 渲染格<
  某格 extends 棋盘格,
  纵坐标 extends 棋子纵坐标,
  横坐标 extends 棋子横坐标,
  元坐标 extends 棋子坐标
> = 某格["内容"] extends infer 待渲染棋子
  ? 待渲染棋子 extends 棋子<颜色>
    ? 待渲染棋子 extends 棋子<黑色>
      ? 棋子<黑色>["符号"]
      : 棋子<白色>["符号"]
    : 待渲染棋子 extends 空
    ? 渲染空格<横坐标, 纵坐标, 元坐标>
    : 不可能
  : 不可能;

export type 拼接单元格<
  迭代结果 extends string,
  当前结果 extends string
> = 迭代结果 extends "" ? 当前结果 : `${迭代结果} ${当前结果}`;

export type 渲染行内容<
  某格 extends 棋盘格 | 空,
  元坐标 extends 棋子坐标,
  纵坐标 extends 棋子纵坐标,
  迭代结果 extends string = "",
  迭代号 extends 整数 = 最小横坐标
> = 某格 extends infer 当前格
  ? 迭代号 extends infer 横坐标
    ? 当前格 extends 棋盘格
      ? 横坐标 extends 棋子横坐标
        ? 渲染行内容<
            当前格["下一格"],
            元坐标,
            纵坐标,
            拼接单元格<迭代结果, 渲染格<当前格, 纵坐标, 横坐标, 元坐标>>,
            加一<迭代号>
          >
        : 迭代结果
      : 当前格 extends 空
      ? 迭代结果
      : 不可能
    : 不可能
  : 不可能;

export type 渲染五子棋盘<某棋盘 extends 棋盘> = {
  [key in
    | "一"
    | "二"
    | "三"
    | "四"
    | "五"
    | "六"
    | "七"
    | "八"
    | "九"]: key extends infer 行
    ? 行 extends "上"
      ? " ⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽ "
      : 行 extends "下"
      ? " ⎺⎺⎺⎺⎺⎺⎺⎺⎺⎺⎺⎺⎺⎺⎺⎺⎺⎺⎺⎺⎺⎺⎺⎺⎺ "
      : 行 extends keyof 正数键值对
      ? 获取棋盘指定行<某棋盘, 正数键值对[行]> extends infer 某行
        ? 某行 extends 棋盘行
          ? `⎪ ${渲染行内容<某行["内容"], 五子棋元坐标, 正数键值对[行]>} ⎪`
          : 不可能
        : 不可能
      : 不可能
    : 不可能;
};

看看效果

落子和渲染

1
2
3
4
5
6
7
8
9
10
11
12

import { 初始五子棋盘, 渲染五子棋盘, 落子 } from "./src";

type 初始结果 = 渲染五子棋盘<初始五子棋盘>;

type 黑第一步 = 落子<初始五子棋盘, "黑", "二", "三">;
type 黑第一步结果 = 渲染五子棋盘<黑第一步>;

type 白第一步 = 落子<黑第一步, "白", "三", "三">;
type 白第一步结果 = 渲染五子棋盘<白第一步>;

type 黑第二步 = 落子<白第一步, "黑", "三", "四">;
type 黑第二步结果 = 渲染五子棋盘<黑第二步>;

初始棋盘	黑棋第一步 (二, 三)
白棋第一步 (三, 三)	黑棋第二步 (三, 四)

计算结果

「五子棋」计算结果时递归次数会超出 ts 限制，这里以「井字棋」为例

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32

import { 初始井字棋盘, 渲染井字棋盘, 落子 } from "./src";

type 初始结果 = 渲染井字棋盘<初始井字棋盘>;

type 黑第一步 = 落子<初始井字棋盘, "黑", "一", "一">;
type 黑第一步结果 = 渲染井字棋盘<黑第一步>;

type 白第一步 = 落子<黑第一步, "白", "三", "一">;
type 白第一步结果 = 渲染井字棋盘<白第一步>;

type 黑第二步 = 落子<白第一步, "黑", "二", "二">;
type 黑第二步结果 = 渲染井字棋盘<黑第二步>;

type 白第二步 = 落子<黑第二步, "白", "三", "二">;
type 白第二步结果 = 渲染井字棋盘<白第二步>;

type 黑第三步 = 落子<白第二步, "黑", "三", "三">;
type 黑第三步结果 = 渲染井字棋盘<黑第三步>;
// => {
//   一: "⎪ 🔴 ➕ 🟢 ⎪";
//   二: "⎪ ➕ 🔴 🟢 ⎪";
//   三: "⎪ ➕ ➕ 🔴 ⎪";
//   获胜: "黑-🔴";
// }

type 重复落子 = 落子<白第一步, "黑", "三", "一">;
// @ts-expect-error 重复落子: { 出错: "原因: 当前位置「三, 一」已有棋子「🟢」"; }
type 重复落子结果 = 渲染井字棋盘<重复落子>;

type 不能继续落子 = 落子<黑第三步, "白", "二", "三">;
// @ts-expect-error 不能继续落子: { 出错: "原因: 不能落子，「黑-🔴」已获胜"; }
type 不能继续落子结果 = 渲染井字棋盘<不能继续落子>;

初始棋盘	黑棋第一步 (一, 一)	白棋第一步 (三, 一)
黑棋第二步 (二, 二)	白棋第二步 (三, 二)	黑棋第三步 (三, 三)

相关链接

• 源代码：GitHub
• 在线体验：TypeScript Playground
• 参考项目：用 TypeScript 类型系统写的中国象棋

最近作为「内包」支援公司内的另一个项目，需要和另一个团队的同事们合作，不熟悉他们的项目，在经过两周的合作后，某个不常用的页面终于打不开了。

这个时候我们便可以使用 git 自带的二分查找工具 git bisect 来快速定位出问题的提交，找相关人员排查问题。

git bisect 最常用的命令有如下三个：

1
2
3
4
5
6
7
8

# 开始(重置)二分查找流程
❯ git bisect start

# 标记当前(或指定)提交为有问题的提交
❯ git bisect bad [<rev>]

# 标记当前(或指定)提交为正常的提交
❯ git bisect good [<rev>]

下面先记录我是如何用这三个命令快速定位问题的，然后会介绍一下 bisect 其它命令和其使用场景。

问题定位

1. 首先使用你熟悉的 git 工具查看一下提交历史，我使用的是 tig，提交历史如下

   1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22

   o [HEAD] [eacd4a0a85bfcc8691f22368079acab7412575d7] feat: ******** M─┐ Merge branch '********' into '********' │ o [66504f3e0b73b568d379adbaf0e7b031d595187e] feat: ******** o─┘ [58625437bda334df576eb5b5031fba7ec990be65] fix: ******** o [07ee37373716bfb75f391ab3b65f68640a5e3951] feat: ******** o [ee948eb50bfcf7bfe47790f50053439f05ac0e5a] feat: ******** o [fedd7e523f90679ae0048138f5cf21ebf07be733] fix: ******** o [8ad08f09eb3a3225af9c05e59210c99ecd53f330] fix: ******** o [f71b6535d88613cb08211a277ce7f2c92c83d00e] feat: ******** o [e160869ec18a1980e100acc07d81a385392a8039] feat: ******** o [79a20e29636178e33479ec35cd23101b4080a6aa] feat: ******** o [fbdc27d4498e4d27828e8b7037d68c73f272878d] feat: ******** o [83900f6d009f0158dfce0fccc241b2fa013d1743] fix: ******** o [782c1fa6852522d5db16cfff88c7051c2ac0bf09] feat: ******** o [f3517468c23495063f99a9e49c657745d95ba88f] chore: ******** o [f11d08852b7fb0ef7e9d16056280edac5a772d57] feat: ******** o [839367048641d147cd28a38991a5c6d7dca3bb0d] feat: ******** o [147833f0a4f4ed7de21b62d919e937c4c6ec6cc4] feat: ******** o [43835476244b330ab8bd119e94c45aeaf0f32afa] chore: ******** o [e0c12e65ec86db44557756ddfc2ad510878ea9bf] feat: ******** M─┐ [ee62949cc48a5f60b16ef5fa62d0418ee36ac855] Merge branch '********' into 'release-24-09-02' │ o [5cd65c0fd7ee8309d6ddec38e232eeae19f93a03] chore: 发布正式版本

2. 接下来执行 git bisect start 命令，进入二分查找模式，并标记最新的提交为有问题的提交

   1 2 3 4 5

   ❯ git bisect start status: waiting for both good and bad commits ❯ git bisect bad status: waiting for good commit(s), bad commit known

3. 根据提示，接下来我们需要标记正常的提交。我们审视一下上面的提交历史，可以发现 [ee62949cc48a5f60b16ef5fa62d0418ee36ac855] Merge branch '********' into 'release-24-09-02' 看起来是上次发布上线的版本，我们切到这个提交上测试一下

   1 2	❯ git checkout ee62949cc48a5f60b16ef5fa62d0418ee36ac855 Note: switching to 'ee62949cc48a5f60b16ef5fa62d0418ee36ac855'

   发现页面能正常打开，所以我们可以标记此提交是正常的

   1 2 3

   ❯ git bisect good Bisecting: 10 revisions left to test after this (roughly 3 steps) [79a20e29636178e33479ec35cd23101b4080a6aa] feat: ********

   此时的提交历史检视结果如下（同时可以关注到 git 已经自动切换到了 79a20e29636178e33479ec35cd23101b4080a6aa 提交）

   1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22

   ❌ o [HEAD] [eacd4a0a85bfcc8691f22368079acab7412575d7] feat: ******** ❔ M─┐ Merge branch '********' into '********' ❔ │ o [66504f3e0b73b568d379adbaf0e7b031d595187e] feat: ******** ❔ o─┘ [58625437bda334df576eb5b5031fba7ec990be65] fix: ******** ❔ o [07ee37373716bfb75f391ab3b65f68640a5e3951] feat: ******** ❔ o [ee948eb50bfcf7bfe47790f50053439f05ac0e5a] feat: ******** ❔ o [fedd7e523f90679ae0048138f5cf21ebf07be733] fix: ********nv ❔ o [8ad08f09eb3a3225af9c05e59210c99ecd53f330] fix: ******** ❔ o [f71b6535d88613cb08211a277ce7f2c92c83d00e] feat: ******** ❔ o [e160869ec18a1980e100acc07d81a385392a8039] feat: ******** ❔ o [79a20e29636178e33479ec35cd23101b4080a6aa] feat: ******** ❔ o [fbdc27d4498e4d27828e8b7037d68c73f272878d] feat: ******** ❔ o [83900f6d009f0158dfce0fccc241b2fa013d1743] fix: ******** ❔ o [782c1fa6852522d5db16cfff88c7051c2ac0bf09] feat: ******** ❔ o [f3517468c23495063f99a9e49c657745d95ba88f] chore: ******** ❔ o [f11d08852b7fb0ef7e9d16056280edac5a772d57] feat: ******** ❔ o [839367048641d147cd28a38991a5c6d7dca3bb0d] feat: ******** ❔ o [147833f0a4f4ed7de21b62d919e937c4c6ec6cc4] feat: ******** ❔ o [43835476244b330ab8bd119e94c45aeaf0f32afa] chore: ******** ❔ o [e0c12e65ec86db44557756ddfc2ad510878ea9bf] feat: ******** ✅ M─┐ [ee62949cc48a5f60b16ef5fa62d0418ee36ac855] Merge branch '********' into 'release-24-09-02' │ o [5cd65c0fd7ee8309d6ddec38e232eeae19f93a03] chore: 发布正式版本

   继续检查当前提交是否正常，如果正常，则执行 git bisect good，如果不正常，则执行 git bisect bad，直至找到首个有问题的提交。

   每次检查当前提交是否正常之前需要执行一些准备命令确保外部依赖被正确安装。比如前端项目中一般需要执行 npm install 命令来更新依赖

4. 对当前提交 79a20e29636178e33479ec35cd23101b4080a6aa 进行测试，标记当前提交是有问题的

   1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27

   ❯ git bisect bad Bisecting: 4 revisions left to test after this (roughly 2 steps) [f11d08852b7fb0ef7e9d16056280edac5a772d57] feat: ******** # 查找结果 ❌ o [HEAD] [eacd4a0a85bfcc8691f22368079acab7412575d7] feat: ******** ❌ M─┐ Merge branch '********' into '********' ❌ │ o [66504f3e0b73b568d379adbaf0e7b031d595187e] feat: ******** ❌ o─┘ [58625437bda334df576eb5b5031fba7ec990be65] fix: ******** ❌ o [07ee37373716bfb75f391ab3b65f68640a5e3951] feat: ******** ❌ o [ee948eb50bfcf7bfe47790f50053439f05ac0e5a] feat: ******** ❌ o [fedd7e523f90679ae0048138f5cf21ebf07be733] fix: ******** ❌ o [8ad08f09eb3a3225af9c05e59210c99ecd53f330] fix: ******** ❌ o [f71b6535d88613cb08211a277ce7f2c92c83d00e] feat: ******** ❌ o [e160869ec18a1980e100acc07d81a385392a8039] feat: ******** ❌ o [79a20e29636178e33479ec35cd23101b4080a6aa] feat: ******** ❔ o [fbdc27d4498e4d27828e8b7037d68c73f272878d] feat: ******** ❔ o [83900f6d009f0158dfce0fccc241b2fa013d1743] fix: ******** ❔ o [782c1fa6852522d5db16cfff88c7051c2ac0bf09] feat: ******** ❔ o [f3517468c23495063f99a9e49c657745d95ba88f] chore: ******** ❔ o [f11d08852b7fb0ef7e9d16056280edac5a772d57] feat: ******** ❔ o [839367048641d147cd28a38991a5c6d7dca3bb0d] feat: ******** ❔ o [147833f0a4f4ed7de21b62d919e937c4c6ec6cc4] feat: ******** ❔ o [43835476244b330ab8bd119e94c45aeaf0f32afa] chore: ******** ❔ o [e0c12e65ec86db44557756ddfc2ad510878ea9bf] feat: ******** ✅ M─┐ [ee62949cc48a5f60b16ef5fa62d0418ee36ac855] Merge branch '********' into 'release-24-09-02' │ o [5cd65c0fd7ee8309d6ddec38e232eeae19f93a03] chore: 发布正式版本

   命令执行后，git 自动切换到了 f11d08852b7fb0ef7e9d16056280edac5a772d57 提交。

5. 对当前提交 f11d08852b7fb0ef7e9d16056280edac5a772d57 进行测试，标记当前提交是正常的

   1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27

   ❯ git bisect good Bisecting: 2 revisions left to test after this (roughly 1 step) [782c1fa6852522d5db16cfff88c7051c2ac0bf09] feat: ******** # 查找结果 ❌ o [HEAD] [eacd4a0a85bfcc8691f22368079acab7412575d7] feat: ******** ❌ M─┐ Merge branch '********' into '********' ❌ │ o [66504f3e0b73b568d379adbaf0e7b031d595187e] feat: ******** ❌ o─┘ [58625437bda334df576eb5b5031fba7ec990be65] fix: ******** ❌ o [07ee37373716bfb75f391ab3b65f68640a5e3951] feat: ******** ❌ o [ee948eb50bfcf7bfe47790f50053439f05ac0e5a] feat: ******** ❌ o [fedd7e523f90679ae0048138f5cf21ebf07be733] fix: ******** ❌ o [8ad08f09eb3a3225af9c05e59210c99ecd53f330] fix: ******** ❌ o [f71b6535d88613cb08211a277ce7f2c92c83d00e] feat: ******** ❌ o [e160869ec18a1980e100acc07d81a385392a8039] feat: ******** ❌ o [79a20e29636178e33479ec35cd23101b4080a6aa] feat: ******** ❔ o [fbdc27d4498e4d27828e8b7037d68c73f272878d] feat: ******** ❔ o [83900f6d009f0158dfce0fccc241b2fa013d1743] fix: ******** ❔ o [782c1fa6852522d5db16cfff88c7051c2ac0bf09] feat: ******** ❔ o [f3517468c23495063f99a9e49c657745d95ba88f] chore: ******** ✅ o [f11d08852b7fb0ef7e9d16056280edac5a772d57] feat: ******** ✅ o [839367048641d147cd28a38991a5c6d7dca3bb0d] feat: ******** ✅ o [147833f0a4f4ed7de21b62d919e937c4c6ec6cc4] feat: ******** ✅ o [43835476244b330ab8bd119e94c45aeaf0f32afa] chore: ******** ✅ o [e0c12e65ec86db44557756ddfc2ad510878ea9bf] feat: ******** ✅ M─┐ [ee62949cc48a5f60b16ef5fa62d0418ee36ac855] Merge branch '********' into 'release-24-09-02' │ o [5cd65c0fd7ee8309d6ddec38e232eeae19f93a03] chore: 发布正式版本

   命令执行后，git 自动切换到了 782c1fa6852522d5db16cfff88c7051c2ac0bf09 提交。

6. 对当前提交 782c1fa6852522d5db16cfff88c7051c2ac0bf09 进行测试，标记当前提交是正常的

   1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27

   ❯ git bisect good Bisecting: 0 revisions left to test after this (roughly 1 step) [fbdc27d4498e4d27828e8b7037d68c73f272878d] feat: ******** # 查找结果 ❌ o [HEAD] [eacd4a0a85bfcc8691f22368079acab7412575d7] feat: ******** ❌ M─┐ Merge branch '********' into '********' ❌ │ o [66504f3e0b73b568d379adbaf0e7b031d595187e] feat: ******** ❌ o─┘ [58625437bda334df576eb5b5031fba7ec990be65] fix: ******** ❌ o [07ee37373716bfb75f391ab3b65f68640a5e3951] feat: ******** ❌ o [ee948eb50bfcf7bfe47790f50053439f05ac0e5a] feat: ******** ❌ o [fedd7e523f90679ae0048138f5cf21ebf07be733] fix: ******** ❌ o [8ad08f09eb3a3225af9c05e59210c99ecd53f330] fix: ******** ❌ o [f71b6535d88613cb08211a277ce7f2c92c83d00e] feat: ******** ❌ o [e160869ec18a1980e100acc07d81a385392a8039] feat: ******** ❌ o [79a20e29636178e33479ec35cd23101b4080a6aa] feat: ******** ❔ o [fbdc27d4498e4d27828e8b7037d68c73f272878d] feat: ******** ❔ o [83900f6d009f0158dfce0fccc241b2fa013d1743] fix: ******** ✅ o [782c1fa6852522d5db16cfff88c7051c2ac0bf09] feat: ******** ✅ o [f3517468c23495063f99a9e49c657745d95ba88f] chore: ******** ✅ o [f11d08852b7fb0ef7e9d16056280edac5a772d57] feat: ******** ✅ o [839367048641d147cd28a38991a5c6d7dca3bb0d] feat: ******** ✅ o [147833f0a4f4ed7de21b62d919e937c4c6ec6cc4] feat: ******** ✅ o [43835476244b330ab8bd119e94c45aeaf0f32afa] chore: ******** ✅ o [e0c12e65ec86db44557756ddfc2ad510878ea9bf] feat: ******** ✅ M─┐ [ee62949cc48a5f60b16ef5fa62d0418ee36ac855] Merge branch '********' into 'release-24-09-02' │ o [5cd65c0fd7ee8309d6ddec38e232eeae19f93a03] chore: 发布正式版本

   命令执行后，git 自动切换到了 fbdc27d4498e4d27828e8b7037d68c73f272878d 提交。

7. 对当前提交 fbdc27d4498e4d27828e8b7037d68c73f272878d 进行测试，标记当前提交是有问题的

   1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27

   ❯ git bisect bad Bisecting: 0 revisions left to test after this (roughly 0 steps) [83900f6d009f0158dfce0fccc241b2fa013d1743] fix: ******** # 查找结果 ❌ o [HEAD] [eacd4a0a85bfcc8691f22368079acab7412575d7] feat: ******** ❌ M─┐ Merge branch '********' into '********' ❌ │ o [66504f3e0b73b568d379adbaf0e7b031d595187e] feat: ******** ❌ o─┘ [58625437bda334df576eb5b5031fba7ec990be65] fix: ******** ❌ o [07ee37373716bfb75f391ab3b65f68640a5e3951] feat: ******** ❌ o [ee948eb50bfcf7bfe47790f50053439f05ac0e5a] feat: ******** ❌ o [fedd7e523f90679ae0048138f5cf21ebf07be733] fix: ******** ❌ o [8ad08f09eb3a3225af9c05e59210c99ecd53f330] fix: ******** ❌ o [f71b6535d88613cb08211a277ce7f2c92c83d00e] feat: ******** ❌ o [e160869ec18a1980e100acc07d81a385392a8039] feat: ******** ❌ o [79a20e29636178e33479ec35cd23101b4080a6aa] feat: ******** ❌ o [fbdc27d4498e4d27828e8b7037d68c73f272878d] feat: ******** ❔ o [83900f6d009f0158dfce0fccc241b2fa013d1743] fix: ******** ✅ o [782c1fa6852522d5db16cfff88c7051c2ac0bf09] feat: ******** ✅ o [f3517468c23495063f99a9e49c657745d95ba88f] chore: ******** ✅ o [f11d08852b7fb0ef7e9d16056280edac5a772d57] feat: ******** ✅ o [839367048641d147cd28a38991a5c6d7dca3bb0d] feat: ******** ✅ o [147833f0a4f4ed7de21b62d919e937c4c6ec6cc4] feat: ******** ✅ o [43835476244b330ab8bd119e94c45aeaf0f32afa] chore: ******** ✅ o [e0c12e65ec86db44557756ddfc2ad510878ea9bf] feat: ******** ✅ M─┐ [ee62949cc48a5f60b16ef5fa62d0418ee36ac855] Merge branch '********' into 'release-24-09-02' │ o [5cd65c0fd7ee8309d6ddec38e232eeae19f93a03] chore: 发布正式版本

   命令执行后，git 自动切换到了 83900f6d009f0158dfce0fccc241b2fa013d1743 提交。

8. 对当前提交 83900f6d009f0158dfce0fccc241b2fa013d1743 进行测试，标记当前提交是正常的

   1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55

   ❯ git bisect good fbdc27d4498e4d27828e8b7037d68c73f272878d is the first bad commit commit fbdc27d4498e4d27828e8b7037d68c73f272878d Author: ******** <********@********.com> Date: Thu Sep 5 15:11:00 2024 +0800 feat: ******** .../********.tsx | 5 + src/********.js | 4 + src/********.d.ts | 5 + src/********.ts | 10 ++ .../********.ts | 2 + src/********.ts | 21 ++++ src/********.ts | 36 ++++-- .../********.test.ts | 114 ++++++++++++++++++ src/********.ts | 88 ++++++++++++++ .../********.ts | 133 ++++++++++++++++++--- src/********.ts | 47 ++++++-- src/********.ts | 6 + src/********.ts | 2 + src/********.ts | 78 ++++++++++++ src/********.tsx | 2 + src/********.tsx | 5 + 16 files changed, 524 insertions(+), 34 deletions(-) create mode 100644 src/********.ts create mode 100644 src/********.ts create mode 100644 src/********.test.ts create mode 100644 src/********.ts create mode 100644 src/********.ts create mode 100644 src/********.ts # 查找结果 ❌ o [HEAD] [eacd4a0a85bfcc8691f22368079acab7412575d7] feat: ******** ❌ M─┐ Merge branch '********' into '********' ❌ │ o [66504f3e0b73b568d379adbaf0e7b031d595187e] feat: ******** ❌ o─┘ [58625437bda334df576eb5b5031fba7ec990be65] fix: ******** ❌ o [07ee37373716bfb75f391ab3b65f68640a5e3951] feat: ******** ❌ o [ee948eb50bfcf7bfe47790f50053439f05ac0e5a] feat: ******** ❌ o [fedd7e523f90679ae0048138f5cf21ebf07be733] fix: ******** ❌ o [8ad08f09eb3a3225af9c05e59210c99ecd53f330] fix: ******** ❌ o [f71b6535d88613cb08211a277ce7f2c92c83d00e] feat: ******** ❌ o [e160869ec18a1980e100acc07d81a385392a8039] feat: ******** ❌ o [79a20e29636178e33479ec35cd23101b4080a6aa] feat: ******** ❌ o [fbdc27d4498e4d27828e8b7037d68c73f272878d] feat: ******** <-- 首个有问题的提交❗️❗️❗️ ✅ o [83900f6d009f0158dfce0fccc241b2fa013d1743] fix: ******** ✅ o [782c1fa6852522d5db16cfff88c7051c2ac0bf09] feat: ******** ✅ o [f3517468c23495063f99a9e49c657745d95ba88f] chore: ******** ✅ o [f11d08852b7fb0ef7e9d16056280edac5a772d57] feat: ******** ✅ o [839367048641d147cd28a38991a5c6d7dca3bb0d] feat: ******** ✅ o [147833f0a4f4ed7de21b62d919e937c4c6ec6cc4] feat: ******** ✅ o [43835476244b330ab8bd119e94c45aeaf0f32afa] chore: ******** ✅ o [e0c12e65ec86db44557756ddfc2ad510878ea9bf] feat: ******** ✅ M─┐ [ee62949cc48a5f60b16ef5fa62d0418ee36ac855] Merge branch '********' into 'release-24-09-02' │ o [5cd65c0fd7ee8309d6ddec38e232eeae19f93a03] chore: 发布正式版本

其它命令

你只需知道 git bisect help 命令就够了 💯

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32

❯ git bisect help
usage: git bisect [help|start|bad|good|new|old|terms|skip|next|reset|visualize|view|replay|log|run]

git bisect help
        print this long help message.
git bisect start [--term-{new,bad}=<term> --term-{old,good}=<term>]
                 [--no-checkout] [--first-parent] [<bad> [<good>...]] [--] [<pathspec>...]
        reset bisect state and start bisection.
git bisect (bad|new) [<rev>]
        mark <rev> a known-bad revision/
                a revision after change in a given property.
git bisect (good|old) [<rev>...]
        mark <rev>... known-good revisions/
                revisions before change in a given property.
git bisect terms [--term-good | --term-bad]
        show the terms used for old and new commits (default: bad, good)
git bisect skip [(<rev>|<range>)...]
        mark <rev>... untestable revisions.
git bisect next
        find next bisection to test and check it out.
git bisect reset [<commit>]
        finish bisection search and go back to commit.
git bisect (visualize|view)
        show bisect status in gitk.
git bisect replay <logfile>
        replay bisection log.
git bisect log
        show bisect log.
git bisect run <cmd>...
        use <cmd>... to automatically bisect.

Please use "git help bisect" to get the full man page.

这些命令都比较简单，但必须重点提一下的是 git bisect run <cmd>... 命令，在标记了 good 和 bad 提交之后，可以通过此命令自动查找出问题的提交。

举一个前端常见的 🌰：依赖安装失败。前端项目免不了进行依赖安装，如果依赖安装失败后面的工作几乎无法开展。

当遇到最新的代码无法安装依赖，但历史版本可以安装时：我们可以标记最新的提交为 bad，标记某个历史提交为 good，然后执行 git bisect run npm i，接下来 git 便会自动以二分顺序切出各个提交，逐一执行 npm i 命令。如果命令以非 0 退出，则标记该提交为 bad，反之标记为 good，直至找到首次出问题的提交。

思路扩展

同样的思路，在项目实践中，我们可以将主分支上的每一个提交都部署到测试环境，当出现一些不好定位的问题时，通过类似的工具去标记「正常的版本」和「有问题的版本」，结合人工检测或脚本检测（类似于 e2e 测试脚本）来自动查找首次出问题的版本。

不过从易用性角度出发，如何快速发布博客是个大问题…

2024-09-09 更新

移动端不能配图，导致快速发布博客非常困难，可能需要一个自动上传图床的移动端编辑器，再一键转换为 markdown 格式的文章，再研究一下

2024-09-26 更新

移动端写 markdown 还是不好操作，在 PC 端用飞书文档来写就很不错，最后用工具转为 markdown 格式的文件就可以使用了，参考 feishu2md