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或其子类
}
相关推荐
一百天成为python专家12 分钟前
python库之jieba 库
开发语言·人工智能·python·深度学习·机器学习·pycharm·python3.11
Go Dgg34 分钟前
【Go + Gin 实现「双 Token」管理员登录】
开发语言·golang·gin
十五年专注C++开发1 小时前
hiredis: 一个轻量级、高性能的 C 语言 Redis 客户端库
开发语言·数据库·c++·redis·缓存
WJ.Polar1 小时前
Python数据容器-集合set
开发语言·python
晓13131 小时前
JavaScript加强篇——第七章 浏览器对象与存储要点
开发语言·javascript·ecmascript
_一条咸鱼_1 小时前
Android Runtime直接内存管理原理深度剖析(73)
android·面试·android jetpack
nbsaas-boot1 小时前
Go语言生态成熟度分析:为何Go还无法像Java那样实现注解式框架?
java·开发语言·golang
xiaocainiao8812 小时前
Python 实战:构建可扩展的命令行插件引擎
开发语言·python
碧海蓝天20222 小时前
C++法则21:避免将#include放在命名空间内部。
开发语言·c++
兮动人2 小时前
Java应用全链路故障排查实战指南:从系统资源到JVM深度诊断
java·开发语言·jvm