首页
学习
活动
专区
工具
TVP
发布
精选内容/技术社群/优惠产品,尽在小程序
立即前往

为什么C#不支持泛型泛型(带参数化类型的泛型)?

C# 不支持泛型泛型(带参数化类型的泛型)的原因主要有以下几点:

  1. 性能考虑:C# 的编译器在编译时会对类型进行验证,而泛型需要运行时动态地进行类型检查和类型转换。这会增加运行时的开销,从而影响性能。
  2. 缺乏支持:C# 的语言设计并没有提供支持泛型泛型的语法和机制。
  3. 限制性:使用泛型泛型需要更多的约束和限制,这可能会导致更多的类型错误和问题。

针对不支持泛型泛型的问题,C# 提供了一些替代方案,例如:

  1. 使用 Object 类型代替泛型类型,例如:List<object>。
  2. 使用泛型约束,例如:TResult,这个泛型约束只能用于返回类型为 TResult 的泛型方法中,这样可以限制泛型的使用。
  3. 使用静态类型检查,例如:Roslyn 项目的静态类型检查器,它可以检查出类型不匹配的错误。

以下是一个完善的答案:

为什么 C# 不支持泛型泛型(带参数化类型的泛型)?

C# 不支持泛型泛型,主要原因在于性能考虑和缺乏语言支持。泛型需要在运行时动态地类型检查和类型转换,这会增加运行时的开销,影响性能。此外,C# 的语言设计并没有提供支持泛型泛型的语法和机制。

因此,C# 提供了一些替代方案,例如使用 Object 类型代替泛型类型,或使用泛型约束。但是,这些方案都有一定的限制和缺点,需要根据实际需求来选择使用。

对于需要使用泛型泛型的情况,可以考虑使用其他支持泛型泛型的编程语言,例如 F#、Scala 或 Haskell 等。

页面内容是否对你有帮助?
有帮助
没帮助

相关·内容

【Kotlin】 ① ( 类 | 参数 | 型函数 | 多参数 | 类型约束 )

, 主构造函数之前 , 该参数 T 是 类型占位符 , 在 该类类中 可以使用 类型占位符 T 作为一个类 使用 , 可以 定义 T 类型成员属性 主构造函数中可以接收 T 类型实例对象作为参数...下面的代码中 , 声明了 Student 类 , 该类 接收 T 类型参数 , 在主构造函数中接收 T 类型参数 , 在该类中声明了 T 类型成员属性 ; class Student...---- 函数 参数 或 返回值 类型类型 , 则该函数称为 型函数 ; 代码示例 : 该代码中 , 型函数 logT 参数 和 返回值 都是 T 参数 类型 ; class...---- 型函数 中 如果涉及到 匿名函数 参数 , 匿名函数 参数返回值 都是 的话 , 在该型函数 中可能需要使用多个 , 使用不同字母表示不同 ; 如果函数中 引入了新类型...R 类型是 Boolean 类型 ; 3.14 true 五、类型约束 ---- 在 类 , 型函数 中 , 使用前 , 需要声明 参数 : 参数 声明 : 如果类中

2.7K10

【Kotlin】总结 ★ ( 类 | 参数 | 型函数 | 多参数 | 类型约束 | 可变参数结合 | out 协变 | in 逆变 | reified 检查参数类型 )

都使用 T 来表示 ; 代码示例 : 下面的代码中 , 声明了 Student 类 , 该类 接收 T 类型参数 , 在主构造函数中接收 T 类型参数 , 在该类中声明了 T...---- 函数 参数 或 返回值 类型类型 , 则该函数称为 型函数 ; 代码示例 : 该代码中 , 型函数 logT 参数 和 返回值 都是 T 参数 类型 ; class...(t: T) } 十、 invariant 不变 ---- 在 类 中 , 如果 既将 类型 作为 函数参数 类型 , 又将 类型 作为 函数返回值 类型 , 则在 声明 参数..., 参数 是 子类 类对象 , 不可以赋值 给 参数 是父类 变量 ; Java 中对象赋值 , 不存在继承关系 , 是什么类型就是什么类型 , 类型要严格相同 ; import...---- 参数类型 T 在 运行时 会被 类型擦除 , 因此 在运行时 是 不知道 参数 具体类型 , 借助 reified 关键字 可以检查 运行时 参数 具体类型 ;

3.7K10

C#入门类、集合、方法、约束、委托

类型参数以达到代码复用提高软件开发工作效率一种数据类型类是引用类型,是堆对象,主要是引入了类型参数这个概念。...定义主要有以下两种: 1.在程序编码中一些包含类型参数类型,也就是说参数只可以代表类,不能代表个别对象。(这是当今较常见定义) 2.在程序编码中一些包含参数类。...所以.net 2.0程序时应该放弃使用ArrayList,推荐使用使用List《T》 集合。这也是我们为什么要使用原因之一。...###常见类型### 在类型定义中,出现每个T(一个展位变量而已叫别的名字也行)在运行时都会被替换成实际类型参数。...###类型参数约束### 为什么要使用类型参数约束呢,简单点说就是筛选类型参数,在使用代码中如果违反了某个约束不允许类型来实例则会产生编译错误,类型参数约束是使用关键字where。

2.5K30

【Flutter】Dart ( 类 | 方法 | 特定类型约束 )

接口 , 方法 提供复用性 , 支持类型不确定数据类型 ; 类 : 提高代码复用程度 ; 方法 : 参数或返回值有类型约束 , 参数或返回值类型必须符合对应类型 , 使用时会进行类型检查约束...创建类对象 , 类型设置为 String 类型 Cache cache = Cache(); // 调用方法时 , 传入参数必须符合对应类型..., 类型设置为 int 类型 Cache cache2 = Cache(); // 调用方法时 , 传入参数必须符合对应类型 // 约束 : 使用时会进行类型检查约束...){ // 创建类对象 , 类型设置为 String 类型 Cache cache = Cache(); // 调用方法时 , 传入参数必须符合对应类型.../ 创建类对象 , 类型设置为 int 类型 Cache cache2 = Cache(); // 调用方法时 , 传入参数必须符合对应类型 //

4.7K00

【Java 简介 ( 类 | 方法 | 静态方法 | 类与方法完整示例 )

文章目录 一、简介 二、类 三、方法 四、静态方法 五、类与方法完整示例 一、简介 ---- 可以 简单理解为 参数类型 , 主要作用在 类 , 方法 , 接口 上..., Java 开发好之后 , 在 编译阶段 就 将相关信息消除 了 , 不会留到运行时 ; 类型 : 方法 : 方法有参数 , 方法参数 可以指定成一些 ; 类 :...类 也可以有参数 , 将 类型 作为 参数 传入类中 ; 接口 : 接口 参数 , 也可以是 ; 将 类型 传入 方法 , 类 , 接口 中 , 可以 动态地 指定一些类型 ;..., 与 参数类型 T , 返回值类型 T , 方法内部 T , 都是同一个类型 ; /** * 类 * 该 T 类型作为参数使用 * T 是参数类型 , 可以由外部传入 *...不能是类 ; 错误用法 : 正确用法 : 五、类与方法完整示例 ---- /** * 类 * 该 T 类型作为参数使用 * T 是参数类型 , 可以由外部传入

13.5K30

C#里面的(T),类,方法,接口等简单解释

这个时候使用List隐患就显现出来了。为了比较好解决这两个问题,c#引入了T这个概念,因为在大部分场景下,我们类型都是确定,没必要用object。...二、方法 现在有一个需求,需要写一个方法,这个方法传入参数可能是int,也可能是string。...同时不检查类型,一旦传入了不支持类型,可能会出问题。...没错,这个东西最常用应用场景就是数据集合。而List就是一个存放各种数据类。...当你要实例这个类型时候,必须告诉这个类型T代表哪个类型,之后,所有这个类里面被标识了T地方,都是指你开始实例指明类型

3.2K20

【Kotlin】 ③ ( out 协变 | in 逆变 | invariant 不变 | 逆变协变代码示例 | 使用 reified 关键字检查参数类型 )

作为 函数返回值 类型 , 则在 声明 参数 类型 时 , 在 参数 前 使用 out 关键字 , 同时 该 类 又称为 生产类 ( 生产接口 ) , 用于生产 类 指定对象...- 使用 in 关键字 , 可以使 父类对象 赋值给 子类对象 ; 在 类 中 , 如果只将 类型 作为 函数参数 类型 , 则在 声明 参数 类型 时 , 在 参数 前...类型 作为 函数返回值 类型 , 则在 声明 参数 类型 时 , 既不使用 in 关键字 , 又不使用 out 关键字 ; 代码示例 : 在下面的接口中 , 类型 即用于作为 返回值 ,...---- 参数类型 T 在 运行时 会被 类型擦除 , 因此 在运行时 是 不知道 参数 具体类型 , 借助 reified 关键字 可以检查 运行时 参数 具体类型 ;...在 Java 中 , 运行时 不知道 参数 具体类型 ; 在 Kotlin 中可以 通过 reified 关键字检查 参数类型 ; Java 中如果想要知道 参数 具体类型 , 通过常规方法无法实现

1.6K10

类、方法、类型通配符使用

类、方法、类型通配符使用 一.类        声明和非声明类似,除了在类名后面添加了类型参数声明部分...和方法一样,类型参数声明部分也包含一个或多个类型参数参数间用逗号隔开。一个参数,也被称为一个类型变量,是用于指定一个类型名称标识符。...因为他们接受一个或多个参数,这些类被称为参数类或参数类型。...每一个类型参数声明部分包含一个或多个类型参数参数间用逗号隔开。一个参数,也被称为一个类型变量,是用于指定一个类型名称标识符。...类型参数能被用来声明返回值类型,并且能作为方法得到实际参数类型占位符。 方法体声明和其他方法一样。

3.8K40

C#

1、优势 在日常开发中,我们经常会开发一些特殊功能,而这个功能适用于多个类型(比如string,int等多种类型),最简单做法是给每种类型都做一个实现,这种做法缺点是代码冗余,无疑增加了我们工作量...最好方法是使用,.NET自从2.0开始支持,它不仅是编程语言一部分,而且与程序集中间语言IL紧密结合。...以下是优点 (1)、通过我们不必给不同类型编写功能相同许多方法或类,只创建一个方方法或类即可。...(2)、通过,我们可以创建独立于被包含类型类和方法 (3)、类型可以根据需要进行替换,保证了类型安全性。注:如何传入类型不支持类,那么编译器就会报错。  ...这个后面会提到约束问题! (4)、不仅限于类,而且适用于接口和方法 (5)、

632100

C#

(Generic),是将不确定类型预先定义下来一种C#高级语法,我们在使用一个类,接口或者方法前,不知道用户将来传什么类型,或者我们写类,接口或方法相同代码可以服务不同类型,就可以定义为...很适用于集合,我们常见集合有:List,Dictionary等等(T,K,V就代表不确定类型,它是一种类型占位符),无一不是利用这一特性,若没有,我们会多出很多重载方法...>,只要符合C#命名规范即可,但我们一般用只T,定义以后,在其代码块中任何位置即可引用这一类型T,我们在用时候传入类型,会替代所有的T,所以不要认为是弱类型,它是强类型。...,值类型则返回对应默认值 约束类型: 为了避免用户随意使用,我们可以给加约束,约束关键字是where,我们可以把设置为必须继承某个类,或者必须是引用或者值类型(方法也可以设置约束...: 子类继承,子类约束不能大于父类约束或者与父类约束冲突,比如父类约束是值类型,那么子类约束就不能设置为引用类型

48510

c#

一、引入 1.:宽泛——不确定类型——不确定类型 2.调用普通方法时候,参数类型在声明时就确定了,调用按照类型传递参数即可 3.如果可以通过参数推导出来则可以省略尖括号...为什么不能使用object替代 a.性能问题——装箱拆箱 b.类型安全问题 二、声明——设计思想 1.方法:在一个方法名称后面多了一个尖括号,尖括号中有占位符 2.延迟声明...你调用时候是什么,你说什么就是什么 3.占位符 T-类型参数——类型变量 4.类型参数当做方法参数时候,明确参数类型 三、特点 不是语法糖是由框架升级支持,使用时CLR需要支持...四、应用 1.方法——可以一个方法满足不同类型需求 2.类——可以一个类满足不同类型需求 3.接口——可以一个接口满足不同类型需求 4.委托——可以一个委托满足不同类型需求...五、约束 object类型安全问题:向接收object类型方法传递类,接收object类型方法中可能会有对类转换,但是接口没有约束,会导致隐患。

7110

C#

(Generic) 是C# 2.0中新增元素。这种机制允许将类名作为参数传递给类型,并生成相应对象。...将(包括类、接口、方法等)看作模板可能更好理解,模板中变体部分将被作为参数传进来类名称所代替,从而得到一个新类型定义。   通过可以定义类型安全类,而不会损害类型安全、性能或工作效率。...List list = new List(); //定义并初始一个list集合。   有助于您最大限度地重用代码、保护类型安全以及提高性能。   ...可以创建集合类,来替代 System.Collections 中集合类。   可以创建自己接口、类、方法等。   可以对类进行约束以访问特定数据类型方法。   ...在使用以前,我们要在程序开头引入using System.Collections.Generic空间。 而在C#中Generic为我们提供类型有List、Directory等。

1.7K40

Go 类型参数

Go 之了解类型参数 一、Go 与其他主流编程语言差异 Go和其他支持主流编程语言之间设计与实现存在差异一样,Go 与其他主流编程语言也是不同。...我们先看一下 Go 设计方案已经明确不支持若干特性,比如: 不支持特化(specialization),即不支持编写一个型函数针对某个具体类型特殊版本; 不支持元编程(metaprogramming...这是因为,类型只是一个生产真实类型“工厂”,它自身在未实例之前是不能直接用于声明变量,因此不符合类型别名机制要求。...类型只有实例后才能得到一个真实类型,例如下面的代码就是合法: type fooAlias = foo[int, string] 也就是说,我们只能为类型实例类型创建类型别名,实际上上述...,我们也可以将其他类型实例类型作为成员。

15610

Kotlin 类型参数约束

上一篇文章讲了 Kotlin :基本使用,接下来我们再进一步了解使用相关进阶知识。本篇是 Kotlin 类型参数约束讲解,更多内容可点击链接查看。...Kotlin :基本使用Kotlin 类型参数约束系列持续更新中,欢迎关注订阅。...为什么需要类型参数约束在上一篇文章里,我们使用定义了一个列表List,使用这个列表,我们可以在使用时候,实例化出各种具体类型列表,比如字符串列表List、整型列表List...什么是类型参数约束对于上述场景,最理想实现应该满足这些条件:只有数值类型列表才能调用这个拓展函数拓展函数对「类型参数」所具备特征有必要了解,如知道它是一个Number类型因此,我们需要使用参数约束...中属性也同样变得可空,这使得类在具体实现时候,需要考虑参数为空情况,也让编写代码具体实现变得复杂。

2.1K31

C#类型参数约束)

因为我们数组中存储元素类型是不确定,所以这里我们用到了,其中where T : strut子句约束参数类型T必须为值类型。当然这个程序我们不使用,直接定义Object类型数组也可以。...下面重点说说C#类型参数约束: 在定义类时,可以对客户端代码能够在实例类时用于类型参数类型种类施加限制。 如果客户端代码尝试使用某个约束所不允许类型来实例类,则会产生编译时错误。...有关更多信息,请参见使用可以为 null 类型C# 编程指南)。 T:class 类型参数必须是引用类型;这一点也适用于任何类、接口、委托或数组类型。...T: 类型参数必须是指定接口或实现指定接口。 可以指定多个接口约束。 约束接口也可以是。 T:U 为 T 提供类型参数必须是为 U 提供参数或派生自为 U 提供参数。...于是,我想能不能写一个简单类,其中里面实现对数值类型加减乘除四则运算,遇到问题是 :where子句后面的约束怎么写,我查看数值类Int32等等,它们基类是Object,如果直接定义一个参数

3.6K60

C#详解

为什么要使用 为了了解这个问题,我们先看下面的代码,代码省略了一些内容,但功能是实现一个栈,这个栈只能处理int数据类型: public class Stack     {         private...类实例理论 C#类在编译时,先生成中间代码IL,通用类型T只是一个占位符。...: public class Node where T : class         where V: struct 方法 不仅能作用在类上,也可单独用在类方法上,他可根据方法参数类型自动适应各种参数...尽管 C# 根基是 C++ 模板,但 C# 通过提供编译时安全和支持将提高到了一个新水平。C# 利用了两阶段编译、元数据以及诸如约束和一般方法之类创新性概念。...毫无疑问,C# 将来版本将继续发展,以便添加新功能,并且将扩展到诸如数据访问或本地之类其他 .NET Framework 领域。

1.2K60
领券