C#泛型: Constraints

請看以下常式：

using System;

namespace ConsoleApplication1
{
      interface ITest
     {
            void TestMethod();
      }

      class TestType : ITest
     {
              //public testType(int i) {}
             public void TestMethod()
             {
                   Console.WriteLine("testing");
             }
   
     }
 
      
     class test
    {
         public static void Foo<T>(T t)
         where T: ITest
         {
               t.TestMethod();
         }   
    }
     class Class1
     {
            [STAThread]
            static void Main(string[] args)
           {
                  object o = new TestType();
                  Test.Foo(o); //compile-error
   
            }
      }
}

注意到那個 o對象的實際類型為TestType，繼承了ITest介面，但是編譯時間仍然報錯。也就是說對一個對象是否滿足constraints的檢查是在編譯期完成的，並不涉及到運行期的型別資訊。也就是說在C#中對泛型的執行個體化的檢查和C++中一樣，也是在編譯期就完成了。

如此一來，空添加了Constraints那樣的文法，卻完全沒有帶來任何好處，而且把泛型本身的優勢也給閹割了，實在想不到這樣做的目的何在。