C# 2.0 泛型中 default 关键字的引入与用法

为什么需要 default 关键字？

在编写泛型代码时，我们常常需要初始化一个类型为 T 的对象实例。如果直接将其赋值为 null，在 T 为引用类型时是合法的；但如果 T 被实例化为整型（int）或其他结构体（值类型），编译器会报错，因为值类型不能为 null。

为了在不明确知道 T 是值类型还是引用类型的情况下安全地获取其“默认值”，C# 2.0 引入了 default(T) 语法。

第1步：理解旧语法的局限性

在 .NET 2.0 早期的 Preview 版本（如 VS 2005 Beta1 之前）中，官方曾考虑过使用类似以下的方式：

class TestDefault<T>
    {
        public T foo()
        {
            return T.default;
        }
    }

虽然这在概念上直观，但在最终发布的 C# 2.0 标准中，这种语法被彻底取消。如果在当前的开发环境中尝试编译上述代码，将会得到编译错误。

第2步：使用 default(T) 的正确写法

标准的做法是使用 default 关键字后跟括号内的类型参数。这种方式能够智能地识别类型特性：

• 引用类型（如 class、interface、delegate、array）：返回 null。
• 值类型（如 int、bool、struct、enum）：返回该类型的零值（例如 int 变为 0，bool 变为 false）。
• Nullable类型：如果 T 是 Nullable 类型，且未指定具体类型，也会正确初始化为空的 Nullable。

以下是修正后的代码示例：

class TestDefault<T>
    {
        public T foo()
        {
            // 正确获取默认值
            return default(T);
        }
    }

测试验证 default 的行为

通过具体的测试代码，我们可以清晰地观察到 default(T) 在不同泛型实例化下的表现。以下是一个完整的控制台程序示例：

using System.Diagnostics;

class Program
    {
        static void Main(string[] args)
        {
            // 测试值类型 (int)
            TestDefault<int> t1 = new TestDefault<int>();
            int i = t1.foo();
            Debug.Assert(i == 0);

            // 测试引用类型 (object)
            TestDefault<object> t2 = new TestDefault<object>();
            object o = t2.foo();
            Debug.Assert(o == null);
        }
    }

在上述代码中：

1. TestDefault<int> 被实例化时，default(int) 返回 0。
2. TestDefault<object> 被实例化时，default(object) 返回 null。

这表明 default(T) 能够在编译期确定类型的语义，并在运行期提供准确的初始状态。

总结

C# 2.0 泛型中的 default 关键字是解决泛型类型初始化问题的关键特性。它摒弃了早期预览版中晦涩的 T.default 语法，提供了简洁且强类型安全的初始化方式。无论是处理值类型的零初始化，还是引用类型的空引用判断，default(T) 都是开发者必须掌握的基础知识点。

以上就是C# 2.0泛型中default关键字的详细解析，更多关于C#泛型编程技巧的资料请关注本站其它相关文章！