C#泛型: Constraints

最新推荐文章于 2025-04-03 17:36:30 发布

weixin_30872867

最新推荐文章于 2025-04-03 17:36:30 发布

阅读量155

点赞数

CC 4.0 BY-SA版权

文章标签： c# c/c++

原文链接：http://www.cnblogs.com/Hush/archive/2004/03/25/4202.html

本文通过一个具体的C#代码示例，展示了泛型约束在编译期间的应用及其实现细节，探讨了编译器如何处理类型约束以及这背后的原理。

摘要生成于 C知道，由 DeepSeek-R1 满血版支持，前往体验 >

请看以下例程：

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那样的语法，却完全没有带来任何好处，而且把泛型本身的优势也给阉割了，实在想不到这样做的目的何在。