never type 参考译法

[crlf0710]

想了一下其实还蛮难翻译的……

[ZhangHanDong]

never type 在语义上是想表达一个「未曾发生过的类型」。
比如，panic 没有返回值，它就不会有返回类型。
如果非要翻译为中文的话，建议：「无类型」 ？表示这里其实没有类型 。。但是为了类型系统完整（类型安全）而特别搞了一个类型。

[hu6360567]

绝类型

③走不通的；没有出路的：～地ㄧ～壁ㄧ～处逢生。

[Berrysoft]

不返回类型

考虑到最常用的情况为函数永远不返回的情况，并且在C/C++中有使用 _Noreturn 与 [[noreturn]] 的先例。

[KaneGreen]

就叫never类型
typescript里面也这么叫

[ClSlaid]

妄型

1. 用于函数不存在返回值的情形，意即使用该类型标定变量是荒诞的，也有这个类型本来就不存在之义(
2. 听起来很强（

或者叫 虚类型，对应 C/C++ 中的 void type.

[hronro]

@ClSlaid

妄型

1. 用于函数不存在返回值的情形，意即使用该类型标定变量是荒诞的，也有这个类型本来就不存在之义(

2. 听起来很强（

或者叫 虚类型，对应 C/C++ 中的 void type.

C/C++ 中的 void 对应的在 Rust 中的类型应该是 () 吧

[upsuper]

我想到一个“不可达类型”，直译回去就是“unreachable type”，跟never产生的条件也是一致的

[nasyxx]

我想到一个“不可达类型”，直译回去就是“unreachable type”，跟never产生的条件也是一致的

那不就是 虚 嘛…或者说 幻。

[upsuper]

或者换个思路，never land -> 梦幻岛，never type -> 梦幻型（

[upsuper]

那不就是 虚 嘛…或者说 幻。

这么说的话幻类型/幻型或许不错，“虚”常用于virtual的翻译，感觉比较容易和其他概念混。但“幻”在Rust语境下会不会跟phantom有冲突就需要考虑了。

[nasyxx]

这么说的话幻类型/幻型或许不错，“虚”常用于virtual的翻译，感觉比较容易和其他概念混。但“幻”在Rust语境下会不会跟phantom有冲突就需要考虑了。

近似的有好多，那边有 幽 影，幻 也有 蜃

[deemoding]

如果硬要翻译的话，叫影子类型怎么样？影子就是个看得见摸不着的东西

其实就叫never类型也挺好的

[crlf0710]

我昨天临时写了个“永无类型"，仅供参考

[ZhangHanDong]

@crlf0710 在哪写的？ 永无类型我感觉不错呢。

[crlf0710]

在ppt上……还没发出来。