C# - var 隱含型別(Implicitly Typed) vs 顯式型別(Explicitly Typed)

2017-09-13

-- Pageviews

C# - var 隱含型別(Implicitly Typed) vs 顯式型別(Explicitly Typed) - .NET Reflector

每當部門有新來的 C# 工程師，在 Code Review 時幾乎都會看到顯式型別，我是強烈建議使用隱含型別。
所以我幾乎都要重講一次隱含型別(Implicitly Typed)及顯式型別(Explicitly Typed)的差異，索性就寫了這篇解說。

基本介紹

隱含型別 (Implicitly Typed)

隱含型別是使用 var 這個關鍵字宣告變數，它會在編譯期間被指派明確的型別，用法如下：

1 2	var i = 10; var members = GetMembers();

顯式型別 (Explicitly Typed)

顯式型別是在程式碼中明確宣告變數，用法如下：

1 2	int i = 10; List<Member> members = GetMembers();

程式碼可讀性

有些人喜歡明確宣告型別，從程式碼就可以看出類別。
有些人則認為使用 var 讓程式碼更為簡潔比較好。
個人喜好的部分，比較不能論斷兩者之間的好壞，所以見仁見智。

但如果只是為了在撰寫期間想知道型別，現在的 IDE 都超強的，尤其 Visual Studio，只要滑鼠游標移上去就可以知道類別了。良好的變數命名規則，我相信會比宣告顯式型別容易閱讀。

C# - var 隱含型別(Implicitly Typed) vs 顯式型別(Explicitly Typed) - Visual Studio

執行效能差異

有些人會擔心用 var 影響程式執行效能，我用以下範例做個小實驗。

範例程式碼：

public int ImplicitlyTyped()
{
    var i = 10;
    var members = GetMembers();
    return i;
}

public int ExplicitlyTyped()
{
    int i = 10;
    List<Member> members = GetMembers();
    return i;
}

經過編譯後產生的 IL 如下：

.method public hidebysig instance int32 ImplicitlyTyped() cil managed
{
    .maxstack 1
    .locals init (
        [0] int32 num,
        [1] class [System.Collections]System.Collections.Generic.List`1<class Example.Member> list,
        [2] int32 num2)
    L_0000: nop 
    L_0001: ldc.i4.s 10
    L_0003: stloc.0 
    L_0004: ldarg.0 
    L_0005: call instance class [System.Collections]System.Collections.Generic.List`1<class Example.Member> Example.MyExample::GetMembers()
    L_000a: stloc.1 
    L_000b: ldloc.0 
    L_000c: stloc.2 
    L_000d: br.s L_000f
    L_000f: ldloc.2 
    L_0010: ret 
}

.method public hidebysig instance int32 ExplicitlyTyped() cil managed
{
    .maxstack 1
    .locals init (
        [0] int32 num,
        [1] class [System.Collections]System.Collections.Generic.List`1<class Example.Member> list,
        [2] int32 num2)
    L_0000: nop 
    L_0001: ldc.i4.s 10
    L_0003: stloc.0 
    L_0004: ldarg.0 
    L_0005: call instance class [System.Collections]System.Collections.Generic.List`1<class Example.Member> Example.MyExample::GetMembers()
    L_000a: stloc.1 
    L_000b: ldloc.0 
    L_000c: stloc.2 
    L_000d: br.s L_000f
    L_000f: ldloc.2 
    L_0010: ret 
}