Question

正如标题所说，这有什么好处？问题的灵感来自Microsoft's research language。

Answer 1

作为第一类类型意味着void可以在允许类型注释的任何地方使用。在C＃中，void只能用作方法的返回类型，但以下所有内容都是非法的：

// A void parameter type.
int SomeMethod(void parameter) { ... }

// A void type argument.
List<void>

// A void variable.
void Main()
{
  void someVar;
}

Java 确实具有第一类void类型，拼写为Void（注意大写“V”）。它有时在泛型中很有用。它只有一个值null。

Answer 2

如果void是第一类类型，那么您可以在定义变量时使用它。我认为一个void变量可以用作指针来传递类似函数或对象的东西，如果你重新编写它我想。它会让你有能力进行动态类型转换。

无效成为“头等类型”意味着什么？

2 个答案: