前言

在一些Soure Code看到有部份函式(比如Main)多變體型別返回，及其所在型別變化等。較高的自由度，本篇來看下。

Program+Main

一個新建的常規.NET控制台程式如下：

classProgram{staticvoidMain(string[] args) { }}

註意看Program是個類，即參照型別，但它可以寫成struct值型別。Main函式的返回值是void，但它的返回值可以寫成int型別，byte，char，string型別。比如說值型別的Program，以及返回int的型別，如下程式碼：

struct Program{staticintMain(string[] args) { }}

這種情況得益於CLR呼叫Main入口的時候的一套邏輯，即if----else。CLR會判斷Main的MethodDesc是否是void型別，如果是則if。否則就可以有其其它的返回型別，這個其它返回型別眾多，也即是上面所說。此段邏輯程式碼：

if(pParam->pFD->IsVoid()) {// Set the return value to 0 instead of returning random junk *pParam->piRetVal = 0; threadStart.Call(&stackVar); }else { *pParam->piRetVal = (INT32)threadStart.Call_RetArgSlot(&stackVar); SetLatchedExitCode(*pParam->piRetVal); }