实际上应该是Union<T, NullType>/Maybe T这样的类型
所以当代语言都支持Optional类型
【 在 hgoldfish (老鱼) 的大作中提到: 】
: 编程语言最基本的类型，整型、浮点都是没有 null 值的。一般用零来表示“无”这个意思。
: 诚然，很多语言比如 python, java 的字符串和数字类型可以赋值为 null. 其实不对，字符串为空的时候应该用零长度字符串，而不是空指针。在 python, java 语言里面，把数字和字符串变量赋值为 null 都是不合理的代码。
: 这不禁让我发出这个疑问，拥有“空”这个语义是不是应该交由类型来决定才对？
: ...................
--
修改:tgfbeta FROM 117.13.123.*
FROM 117.13.123.*