C#中的泛型（类型参数的约束）


首先，来看一个程序，对泛型有一个初步的认识。

namespace ConsoleApplication
{
    class GenericDemo
    {
        public static void Test()
        {
            double[] numbers = { 1, 2, 3, 4, 5, 6, 7, 8, 9 };
            PrintArrayInfo(numbers);
            numbers = RemoveElement(numbers, 1);
            PrintArrayInfo(numbers);
        }

        private static void PrintArrayInfo(double[] numbers)
        {
            for (int i = 0; i < numbers.Length; i++)
            {
                Console.Write(numbers[i]);
                Console.Write(" ");
            }
            Console.WriteLine();
        }

        public static T[] RemoveElement<T>(T[] array, int position) where T : struct
        {
            for (int i = position; i < array.Length - 1; i++)
            {
                array[i] = array[i + 1];
            }
            array[array.Length - 1] = default(T);
            return array;
        }
    }
}

RemoveElement方法用于删除数组中指定位置的元素，PrintArrayInfo方法用于输出数组。

因为我们的数组中存储的元素类型是不确定的，所以这里我们用到了泛型，其中where T : strut子句约束参数类型T必须为值类型。当然这个程序我们不使用泛型，直接定义Object类型的数组也可以。

下面重点说说C#中泛型类型参数的约束：

在定义泛型类时，可以对客户端代码能够在实例化类时用于类型参数的类型种类施加限制。 如果客户端代码尝试使用某个约束所不允许的类型来实例化类，则会产生编译时错误。 这些限制称为约束。 约束是使用 where 上下文关键字指定的。下面是摘自MSDN的表格：

约束

说明

T：strut

类型参数必须是值类型。 可以指定除 Nullable 以外的任何值类型。 有关更多信息，请参见使用可以为 null 的类型（C# 编程指南）。

T：class

类型参数必须是引用类型；这一点也适用于任何类、接口、委托或数组类型。

T：new()

类型参数必须具有无参数的公共构造函数。 当与其他约束一起使用时，new() 约束必须最后指定。

T：<基类名>

类型参数必须是指定的基类或派生自指定的基类。

T：<接口名称>

类型参数必须是指定的接口或实现指定的接口。 可以指定多个接口约束。 约束接口也可以是泛型的。

T：U

为 T 提供的类型参数必须是为 U 提供的参数或派生自为 U 提供的参数。

于是，我想能不能写一个简单的泛型类，其中里面实现对数值类型的加减乘除四则运算，遇到的问题是 ：where子句后面的约束怎么写，我查看的数值型的类Int32等等，它们的基类是Object，如果直接定义一个泛���参数T，进行加减乘除运算是不被允许的。最后，在MSDN上找了找资料，发现C#中时没办法实现的。
 
如果有朋友，发现了解决问题的方法，请分享下！愿共同学习！

相关内容