Visual C# 2008 的重大變更

2

索引子

現在除了方法，編譯器還會對索引子和屬性產生錯誤 CS0466。

在 Visual C# 2008 的原始版本和較早版本中，可以定義索引子的明確實作，其中實作會有 params 參數，但介面定義則沒有。這個語法結構與規格背道而馳。在 Visual C# 2008 SP1 中，這樣的語法結構則會產生編譯器錯誤 CS0466，如下列程式碼所示。

interface I
{
    int this[int[] p] { set; }
}
class Base : I
{
// Produces CS0466:
    int I.this[params int[] p]    {
        set
        {
        }
    }

}

4

Iterator 中的 try-finally

由具有 break 陳述式的 Iterator 執行巢狀 finally 區塊的程序已改變。

在 Visual C# 2008 的原始版本中，下列程式碼會執行外部 finally 兩次；在 Visual C# 2008 SP1 中，外部 finally 只會執行一次。

using System;
using System.Collections;
using System.Collections.Generic;
public class Test
{
    public static void Main()
    {
        Console.WriteLine("in main");
        foreach (int i in GetInts())
        {
            Console.WriteLine("in foreach");
            break; 
        }
    }
    static IEnumerable<int> GetInts()
    {
        Console.WriteLine("in GetInts");
        while (true)
        {
            Console.WriteLine("in while");
            try
            {
                Console.WriteLine("in outer try");
                try
                {
                    Console.WriteLine("in inner try before yield");
                    yield return 1;
                    Console.WriteLine("in inner try after yield");
                    break;
                }
                finally
                {
                    Console.WriteLine("in inner finally");
                }
            }
            finally
            {
                Console.WriteLine("in outer finally");
            }
        }
    }
}

6

物件初始設定式

物件初始設定式中的實值型別 (Value Type) 初始化已修正。

在 Visual C# 2008 的原始版本中，下列範例中的區域變數 b 不會正確初始化，且其成員 X 值為 0；在 Visual C# 2008 SP1 中，S.X 在兩個 new 運算式中都會正確初始化為 1。

using System;
using System.Linq;
using System.Linq.Expressions;
    class Program
    {
        static void Main()
        {
            Test<S>();
        }
        static void Test<T>() where T : I, new()
        {
            var a = new T();
            a.X = 1;
            Console.WriteLine(a.X);
            var b = new T { X = 1 };
            Console.WriteLine(b.X);
        }
    }
    interface I
    {
        int X { get; set; }
    }
    struct S : I
    {
        public int X { get; set; }
    }
// Original release version of Visual C# 2008 output: 1 0
// Visual C# 2008 SP1 output: 1 1

8

運算式樹狀架構

無效的運算式樹狀架構現在會擲回正確的例外狀況。

在 Visual C# 2008 的原始版本中，當運算式樹狀架構包含的方法呼叫，是針對不在指定型別上的方法，會擲回 System.Security.VerificationException；在 Visual C# 2008 SP1 中，則會擲回 System.ArgumentException，如下列程式碼所示。

using System;
using System.Reflection;
using System.Linq;
using System.Linq.Expressions;
class Program
{
    public struct S { }
    static void Main()
    {
        Type t = typeof(System.Enum);
        MethodInfo m = t.GetMethod("GetTypeCode");
        ParameterExpression p = Expression.Parameter(typeof(S), "s");
        Expression<Func<S, TypeCode>> e = Expression.Lambda<Func<S, TypeCode>>(
// Throws System.ArgumentException in Visual C# 2008 SP1:
            Expression.Call(p, m), p); 
        Func<S, TypeCode> f = e.Compile();
// Throws System.Security.VerificationException in the
// original release version of Visual C# 2008: 
        Console.WriteLine(f(new S())); 
    }
}

10

溢位檢查

stackalloc 現在會執行溢位檢查。

在 Visual C# 2008 的原始版本中，stackalloc 配置可能在沒有造成任何例外狀況的情況下發生失敗。這是當陣列的長度乘以每個元素的大小時，在產生的 Microsoft Intermediate Language (MSIL) 中之不檢查的 mul 指令所造成。在 Visual C# 2008 SP1 中，會產生 mul.ovf 指令而非 mul，所以在執行階段中嘗試配置時，溢位會產生 System.OverflowEx ception。

class Program
{
    static void Main(string[] args)
    {
        int var = 0x40000000;
        unsafe
        {
            // 0x40000000 * sizeof(int) does not fit in an int.
            int* listS = stackalloc int[var]; 
// Visual C# 2008 SP1: System.OverflowException.
            listS[0] = 5; 
// Original release version of Visual C# 2008: 
// System.NullReferenceException.
        }
    }
}

13

屬性

現在當同樣的 TypeForwardedTo 屬性在一個組件中出現兩次時會發生錯誤。

在 Visual C# 2005 中，當組件中包含兩個以同樣型別為目標的 System.Runtime.CompilerServices.TypeForwardedTo 屬性時，並不會產生錯誤。在 Visual C# 2008 中，則會產生編譯器錯誤 CS0739，如下列範例所示。

// Class1.cs
// Causes CS0739:
    [assembly: System.Runtime.CompilerServices.TypeForwardedTo(typeof(Test))]
    [assembly: System.Runtime.CompilerServices.TypeForwardedTo(typeof(Test))] 
    public class Test
    {
        public static int Main()
        {
            Test f = new Test();
            return f.getValue();
        }
    }
    // Library1.cs
    public class Test
    {
        public int getValue()
        {
            return 0;
        }

}

15

溢位檢查

const decimal 型別的範圍檢查已更正。

在 Visual C# 2005 中，當您對 const decimal 型別進行轉型，範圍檢查不一定總是正確，而且可能造成不正確的編譯器錯誤。在 Visual C# 2008 中，下列程式碼會產生正確的錯誤：編譯器錯誤 CS0031。

        static void Main()
        {
            const decimal d = -10m;
            unchecked
            {
                const byte b = (byte)d; //CS0031
            }
        }

17

固定大小緩衝區

在對緩衝區指派值前存取 unsafe 結構中的固定大小緩衝區，現在會產生編譯器錯誤。

unsafe 指標的明確指派規則，要求在對指標進行取值前先設定指標。在 Visual C# 2005 中，當 unsafe 結構包含陣列的指標，在對指標指派值前先加以存取並不會產生編譯器錯誤。在 Visual C# 2008 中，這麼做則會產生編譯器錯誤 CS0165，如下列程式碼所示。

    unsafe class Test
    {
        static void Main()
        {
            S* ps;
            ps->i[0]++;        } // CS0165
    }
    unsafe struct S
    {
        public fixed int i[10];
    }

19

Iterator 中的 try-finally

現在當 try 區塊中的 Iterator 以 continue 或 goto 逸出時，會執行 finally 區塊。

在 Visual C# 2005 中，在 try-finally 建構中，當控制項使用 goto 或 continue 陳述式傳出 try 區塊中的 Iterator 區塊，finally 區塊不會執行。在 Visual C# 2008 中，當發生這些情況時 finally 區塊會執行。

using System;
using System.Collections.Generic;
using System.Linq;
using System.Text;
namespace DisposeTest
{
    class A : IDisposable
    {
        int m_n;
        internal A(int n)
        {
            m_n = n;
        }
        internal void Nothing() { }
        ~A()
        {
            Console.WriteLine("failed to dispose {0}", m_n);
        }
        #region IDisposable Members
        public void Dispose()
        {
            GC.SuppressFinalize(this);
            Console.WriteLine("dispose {0}", m_n);
        }
        #endregion
    }
    class Program
    {
        static IEnumerable<A> B()
        {
            for (int nCount = 0; nCount < 2; nCount++)
            {
                Console.WriteLine("loop start");
                using (A A = new A(nCount))
                {
                    Console.WriteLine("using start");
                    // Section 1.
                    // Dispose not called correctly in Visual C# 2005.
                    if ((nCount % 2) == 0)
                        continue;
                    // Section 2.
                    // Dispose not called correctly in Visual C# 2005.
                    yield return A;
                    Console.WriteLine("using end");
                }
                Console.WriteLine("loop end");
            }
            yield break;
        }
        static void Main(string[] args)
        {
            foreach (A A in B())
            {
                A.Nothing();
            }
            Console.ReadLine();
        }
    }

}

21

屬性

使用過時的成員現在會產生編譯器警告。

您可以使用 Obsolete 屬性標記方法，則當這些方法在編譯時期受到叫用時，就會產生錯誤或警告。當您將此屬性放在虛擬方法上時，屬性必須放置在基底方法上。如果 Obsolete 屬性放置在覆寫方法上，在引動時就不會造成編譯器錯誤或警告。在 Visual C# 2005 中，編譯器允許您將 Obsolete 屬性放置在覆寫方法上，雖然當此屬性放在這個位置時沒有任何作用。在 Visual C# 2008 中，這樣做會產生編譯器警告編譯器警告 (層級 1) CS0809：「過時的成員 'A.Filename' 會覆寫非過時的成員 'Error.Filename'」。下列範例會造成此警告。

class A : Error
{
    [System.ObsoleteAttribute("Obsolete", true)]
    public override string Filename
    {
        set
        {
        }
    }
    public static void Main() { }
}
public class Error
{
    public virtual string Filename
    {
        set
        {
        }
        get
        {
            return "aa";
        }
    }
}
class B
{
    void TT()
    {
        new A().Filename = "Filename";
    }
}

23

型別錯誤

現在當 switch 條件為虛值 (Void) 時，會產生錯誤。

在 Visual C# 2005 中，當 void 方法引動用於 switch 陳述式中時，並不會產生錯誤；在 Visual C# 2008 中，會產生編譯器錯誤 CS0151。

class C
{
    static void Main()
    {
// Produces CS0151:
        switch (M()) 
        {
            default:
                break;
        }
    }
    static void M()
    {
    }

}

25

常數運算式

更準確符合常數運算式的相關規格。

在 Visual C# 2005 中，會造成允許運算子和變數存在於常數運算式中之錯誤行為的幾項問題，在 Visual C# 2008 中都已經更正。在 Visual C# 2005 中，下列程式碼會正常編譯，不會造成錯誤。在 Visual C# 2008 中，則會產生編譯器錯誤 CS0165、編譯器警告 (層級 1) CS0184 及編譯器警告 (層級 3) CS1718：

class Program
{
    public static int Main()
    {
        int i1, i2, i3, i4, i5;
        // 'as' is not permitted in a constant expression.
        if (null as object == null)
            i1 = 1;
        // 'is' is not permitted in a constant expression.
        if (!(null is object))
            i2 = 1;
        // A variable is not permitted in a constant expression.
        int j3 = 0;
        if ((0 == j3 * 0) && (0 == 0 * j3))
            i3 = 1;
        int j4 = 0;
        if ((0 == (j4 & 0)) && (0 == (0 & j4)))
            i4 = 1;
        int? j5 = 1;
// Warning CS1718: Comparison made to same variable:
        if (j5 == j5) 
 
            i5 = 1;
        System.Console.WriteLine("{0}{1}{2}{3}{4}{5}", i1, i2, i3, i4, i5);
        return 1;
    }
}

27

可為 Null 的型別和 ?? 運算式

在您指派常數為可為 Null 前 (屬於範圍更廣的型別)，將此常數轉型為可為 Null 的型別並不會產生警告。

在 Visual C# 2005 中，下列程式碼會產生編譯器警告 (層級 3) CS0219。在 Visual C# 2008 中，則不會產生警告。

ushort? usq2 = (byte?)0;

29

型別錯誤

現在如果您對 Managed 型別宣告指標陣列，將會產生錯誤。

不能有對參考型別的 Unsafe 指標，且這些指標會造成編譯器錯誤。在 Visual C# 2005 中，可以對 Managed 型別宣告指標陣列。在 Visual C# 2008 中，則會產生編譯器錯誤 CS0208：「不能取得 Managed 型別 ('T') 的位址、大小，也不能宣告指向它的指標」。

unsafe class TestClass<T>
{
// Produces CS0208:
    static T*[] x = { }; 
// Produces CS0208:
    static void Test(T*[] arr) 
    {
    }
// Produces CS0208:
    static T*[] TestB() 
    {
        return x;
    }

}

31

可為 Null 的型別與 ?? 運算式

null 在左側的 null 聯合運算式不再評估為 null 常數。

在 Visual C# 2005 中，null 在左側的 null 聯合運算式會評估為 null 常數。在 Visual C# 2008 中將不會再有這種情況。在某些情況中，Visual C# 2005 的行為會讓變數錯以明確指派的情況處理。下列程式碼在 Visual C# 2005 中會正常編譯與執行，不會產生錯誤，但在 Visual C# 2008 中則會產生編譯器錯誤 CS0165：「使用未指定的區域變數 'x'」。

static void Main()
    {
        int x;
        if (null == (decimal?)(null ?? null)) x = 1;
        // Producers CS0165 in Visual C# 2008:
        System.Console.WriteLine(x);    
    }