void是「頭等類型」是什麼意思？

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是第一類類型，那麼您可以在定義變量時使用它。我認爲一個無效變量可以用來作爲一個指針傳遞一個像函數或對象的東西，如果你重鑄它我猜。它會給你一個動態類型轉換的能力。