这个需求在 TypeScript 里其实不好做。因为 ts 里有一种 literal type 的东西。比如你的例子里的 c 函数，如果不手动指定返回类型的话，你以为编译器推断出的类型是 string|number ，结果其实是"hello"|123 ，也是一种比 string|number 更窄的类型，那它该不该报错呢？ 按照你的需求应该是不报错，但是按照 ts 的类型系统"hello"|123 和 number 都是 extends string|number ，并不好区分。

@raykle OP 需求应该是想对 union type 返回值做反向的 exhaustiveness check.

正向的 exhaustiveness check 主要是针对这种值的读取的，比如说有些语言的 switch-case 或模式匹配如果缺了几个 case 又没有显式写 default case 的话编译器就会产生 warning 甚至 error 这样。一般不针对赋值、返回值等写入操作。

而 OP 希望对函数返回值的写入也可以进行这种 check 。就比如说你有一个类型
type X = string | number
然后定义一个函数
getStringOrNumber(): X
这时如果函数体内只有 return string 的语句而没有 return number 的语句， [也就是说这个 X 类型里有几种情况没有用到，可以改成 getStringOrNumber(): string 也不出错] ，OP 希望遇到这种情况编译器可以提供 warning 或者 error 。

3DMark （确实是大作，电脑有多少性能都吃满； Steam 上可购买下载，很难全成就）🐶

云闪付应用内支付能不能用手机 pay 要看商家的，不是所有都可以。

比如麦当劳、肯德基、京东上选择用云闪付支付时就有手机 pay 的选项；淘宝、一些微信小程序商家就不行，选用云闪付支付只能用云闪付绑的卡。

@kujio socks5://建议改成 socks5h://，可代理 DNS 查询，避免一些问题

@sjjjmax SE 的 2.5G 应该是指的它自带一个 2.5GE 电口，和 SFP+没关系。

@yanqiyu 看错了，是只允许局域网...那确实是在路由器上配置比较方便。

现在大部分路由器不刷机都是不允许入站（很多还不能手动开放）。OpenWRT 也是默认不允许入站，可以手动开放。

@yanqiyu 防火墙可以匹配后缀

caddy 主要卖点就是自动申请和续签免费 https 证书，如果用不到的话没必要换

而且这个 USG 还有一个大黑料，内部的固件存储器是个 USB 2.0 的 U 盘（拆开来就可以很明显看到）。内部存储经常写入的话容易坏盘掉固件变砖。所以绝对不建议拿它刷着玩。

@qbqbqbqb 更正："智能"->"只能"

@TashinV USG 用的是基于 VyOS （又是基于 Debian ）的 EdgeOS 系统，理论上是可以强行往里面安装梯子软件的，但是智能通过 SSH 操作，要在里面搞很麻烦，配置还会被 AC 自动刷回去。而且 USG 一代 CPU 性能奇差，千兆路由 /NAT 转发全依赖硬件加速，纯软件处理流量只有 80Mbps 百兆都不到。

所以一般认为它不支持梯子。用 USG 主要是图它可以和 AP 一起在一个 AC 界面里管理，实际性价比奇差。用梯子的话建议换成软路由。

楼主你的表里的 802.11s, WDS 这些都是过时的协议了。现在所谓家庭 mesh 网络，一般都是基于 IEEE 1905.1 这个智能家居互联协议的。

以前 Wifi5 时代的 Ubiquiti Unifi 产品确实很吸引人，但是前几年国内一波涨价，再加上新产品性价比不高，wifi6 产品国内经常跳票，规格比不上友商，以前产品普遍用高通芯片的现在新品一堆联发科，还不如消费降级回归家用级产品。tplink 图便宜有 200 多一台的白菜价 wifi6 mesh ；想要可玩性高又有带万兆的高端产品，甚至之前还出过一款能直接刷华硕 /梅林固件的 XDR6060 （硬件级模仿 AX88U ）。还要啥自行车。

@ab 现在都不用淘二手。tplink 的全新 wifi6 mesh+千兆有线，最便宜的一个节点也就 200 多块。

如果肯加一些钱的话甚至能上 2.5G 有线口。

@ik 这里说的 mesh 基本上都是家用方案，一般也就可以额外划分一个访客 wifi （只能上网不能访问内网）和主 wifi 分开，一般都没有划分 vlan 之类的高级功能。要 vlan 还是得用企业级方案。

@i3x 室分怎么就没有冲突问题了？多个 AP 的方案，信号不互相覆盖的区域好歹还是能互不冲突的，大部分设备也支持自动选择频道将多个 AP 的频段错开。用室分的话，整个家里就是一个冲突域了，一个低速设备就可以成倍占用全家的无线带宽。

@ysc3839 你提到的这几个都是功能不同的东西。

x11 是 Linux 目前最常用的 GUI 子系统，类比 Windows 的话可以理解为 Windows 里面原生 Win32GUI + GDI 的部分（就是 Windows API 里用到各种 hWnd, hDC 的这部分）。一般情况下除了底层开发以外很少直接用这套 API 做开发，都会借助一些 toolkit 。

v4l2, xvideo, vaapi 这些都是视频相关的，v4l2 主要是外部视频设备（一般都是摄像头） I/O 方面的功能，xvideo 提供视频画面渲染输出的功能，vaapi 是视频编解码硬件加速。类比 Windows 的话前两者加起来类似于 Windows 的 DirectShow ，vaapi 类似于 Windows 的 DXVA 。

最后 OpenGL, Vulkan 才是正经的（三维图形）渲染 API 。这个就不解释了，Windows 里也有。