C#面试常考随笔13: 泛型的主要约束和次要约束是什么?

在 C# 泛型中,主要约束和次要约束用于限制泛型类型参数的使用,确保类型参数满足一定的条件,从而提高代码的可靠性和可维护性。以下是主要约束和次要约束的详细介绍:

主要约束

  • 引用类型约束(class):表示泛型类型参数必须是引用类型,包括类、接口、委托和数组类型等。例如,定义一个只能接受引用类型的泛型方法:
cs 复制代码
void ProcessReferenceType<T>(T obj) where T : class
{
    // 这里可以安全地假设T是一个引用类型
}
  • 值类型约束(struct):要求泛型类型参数必须是值类型,如枚举、结构体等。示例如下:
cs 复制代码
void ProcessValueType<T>(T value) where T : struct
{
    // 这里可以安全地假设T是一个值类型
}
  • 无参数构造函数约束(new ()) :规定泛型类型参数必须具有无参数的公共构造函数,这样在泛型代码中可以使用 new 关键字来创建类型参数的实例。例如:
cs 复制代码
T CreateInstance<T>() where T : new()
{
    return new T();
}
  • 基类约束 :指定泛型类型参数必须是指定基类或其子类。比如,有一个基类 BaseClass,可以这样约束泛型类型参数:
cs 复制代码
void ProcessBaseClass<T>(T obj) where T : BaseClass
{
    // 这里可以安全地假设T是BaseClass或其子类
}
  • 接口约束 :表示泛型类型参数必须实现指定的接口。例如,定义一个泛型方法,要求类型参数实现 IComparable 接口:
cs 复制代码
void CompareObjects<T>(T obj1, T obj2) where T : IComparable<T>
{
    // 这里可以安全地假设T实现了IComparable<T>接口
}

次要约束

  • 泛型类型参数约束 :一个泛型类型参数可以基于另一个泛型类型参数进行约束。例如,定义两个泛型类型参数 TU,要求 UT 的子类或实现了 T 接口:
cs 复制代码
void ProcessGenericTypes<T, U>(T obj1, U obj2) where U : T
{
    // 这里可以安全地假设U是T的子类或实现了T接口
}
  • 裸类型约束:在泛型类型参数列表中,可以使用裸类型作为约束。裸类型约束允许你指定泛型类型参数必须是某个具体类型或其子类型。例如:
cs 复制代码
class MyGenericClass<T> where T : MyBaseClass
{
    // 这里的T必须是MyBaseClass或其子类
}
相关推荐
探索为何41 分钟前
JWT与Session的实战选择-杂谈(1)
后端·面试
怒放吧德德2 小时前
MySQL篇:MySQL主从集群同步延迟问题
后端·mysql·面试
uhakadotcom3 小时前
MQTT入门:轻量级物联网通信协议
后端·面试·github
我不会编程5554 小时前
Python Cookbook-5.1 对字典排序
开发语言·数据结构·python
李少兄4 小时前
Unirest:优雅的Java HTTP客户端库
java·开发语言·http
逆袭的小黄鸭4 小时前
JavaScript 闭包:强大特性背后的概念、应用与内存考量
前端·javascript·面试
“抚琴”的人4 小时前
【机械视觉】C#+VisionPro联合编程———【六、visionPro连接工业相机设备】
c#·工业相机·visionpro·机械视觉
carterwu4 小时前
如何自建一个类似antd的组件库?
面试
无名之逆4 小时前
Rust 开发提效神器:lombok-macros 宏库
服务器·开发语言·前端·数据库·后端·python·rust
9号达人4 小时前
java9新特性详解与实践
java·后端·面试