发散函数

和所有其他类型相反，这个类型无法实例化，因为此类型可能具有的所有可能值的集合为空。 注意，它与 类型不同，后者只有一个可能的值。

下面这个函数相反，这个函数永远不会将控制内容返回给调用者。

这也是永远循环（如 ）的函数（如网络服务器）或终止进程的函数（如 ）的返回类型。