2.1　设计不返回值的函数

考虑到我们可以把类型视为可取值的集合，你可能会想，是否有一个类型代表空集合呢？空集合中没有任何元素，所以对于这样的类型，我们将无法创建实例。那么这样的类型有用吗？