当前位置: 首页 > 编程笔记 >

C# 泛型参数转换

邹俊豪
2023-03-14
本文向大家介绍C# 泛型参数转换,包括了C# 泛型参数转换的使用技巧和注意事项,需要的朋友参考一下

泛型不同参数类型生成的对象是相互独立的。

//如
Tuple<string> ts;
Tuple<object> to;
//ts to 是两个类型的对象。

很多时候,我们希望实现 to = ts 这种操作,为什么?因为看上去它应该如此。

为了达到这个目的,就要解决“泛型参数转换的问题”,这个问题的知识点是in out 泛型变体。老实说,这个问题本身不困难,只是非常不直观,很容易让人忘记。

首先一点,为了实现to = ts,实际上是有前提的,那就是该参数只能用在“返回类型”上。

//如
delegate object FuncObj();
FuncObj func = ()=>"string";

func之所以成功,就是因为string 可以转换成 object。当“用户”调用func,希望得到的是object对象,而string也是object对象,所以没有任何问题。

这里的关键是学会采用"用户"的视角分析问题。

//A
delegate void FuncObj2(object obj);
FuncObj2 func2 = (string str)=>{};
//B
delegate void FuncStr(string str);
FuncStr func3 = (object obj)=>{};

分析这两组代码,哪一个更加合理?

在用户角度,它使用的是func2 和 func3

用户使用func2,传递的对象必然是object,但实际处理的函数是(string)=>{},object是无法转换成string的,所以很不合理。

用户使用func3,传递的对象只能是string,而实际处理的函数是(object)=>{},string 是可以转换成object的,所以是合理的。

当然这两组代码都是不成立的,因为函数参数类型不匹配。

但是泛型提供了一个方法,让类型不匹配的对象之间能够隐式转换!它实现的逻辑就是上面分析的。

//out 修饰返回类型
delegate ResultType FuncOut<out ResultType>();
//in 修饰参数类型
delegate void FuncIn<in ParamType>(ParamType param);
//这是一开始我们想做到的目标
FuncOut<object> fun4 = () => "string";
//这个效果恰好相反
FuncIn<object> funcobj = (object obj) => { };
FuncIn<string> fun5 = funcobj;
//注意,泛型变体一般只能和泛型变体之间隐式转换
//lambda表达式会自动转换成参数相同的泛型变体,但无法接着做变体之间的隐式转换,所以需要funcobj来过渡

out修饰返回类型,in修饰参数类型,还是挺形象的,但是要注意泛型in参数,和out参数正好相反。

开始我们想实现 to = ts,只是看到问题的一半,实际上泛型是存在 ts = to的可能性的,希望读者能理解这一点。

总结:

out : to = ts;

in : ts = to;

没有修饰:to,ts完全独立。

---------------------------(备注)-------------------------------
out 参数:只能用在返回类型。

in 参数:只能用在参数。

没有修饰:任意位置。

---------------------------(备注2)------------------------------

in、out泛型参数只能用在委托和接口上面。

//综合运用
delegate ResultType FuncInOut<in ParamType, out ResultType>(ParamType param);
FuncInOut<object, string> funcobj2 = (object obj) => "string";  
FuncInOut<string, object> func6 = funcobj2;

以上就是本文的全部内容,希望本文的内容对大家的学习或者工作能带来一定的帮助,同时也希望多多支持小牛知识库!

 类似资料:
  • 我正试图解决一个泛型问题。我在做一些手工选角,感觉好像我做错了什么。我对使用泛型有点陌生,所以很有可能我在某些方面误用了它们。如能提供指导,将不胜感激。 TLDR: 我有一个带有泛型方法的接口,该泛型方法采用参数。我在一个类中实现了这个接口,但在实现器中,我希望确保是特定类型的(假设,这样我就可以提取一些字段)。我怎么能那样做? 详细信息: 下面有一个接口和一个实现类,其中。 具有以下定义: 而具

  • 我是从C++模板编程来的,有时会对泛型感到很困惑。由于没有方法专门化,我尝试使用了强制转换。以下是我的资料: 这不编译。 有什么办法可以让我做这个演员吗? 我想这样做的原因是:在C++模板中,我会为所支持的类型进行专门化,并创建一个抛出异常的非专门化版本。 其基本思想是:具有泛型方法的非泛型接口。尝试使用正确的类型获取值应该有效,尝试使用错误的类型则可能引发。 我们应该保持类型安全,所以我需要返回

  • 我在我的一个实用程序类中有一个方法,它接受一个集合和一个类对象,并返回一个Iterable实例,该实例可以遍历作为指定类实例的集合的所有成员。其签名为: 这对于大多数用例都非常有效,但现在我需要将其与泛型类

  • 本页包含内容: 泛型形参子句 泛型实参子句 本节涉及泛型类型、泛型函数以及泛型构造器的参数,包括形参和实参。声明泛型类型、函数或构造器时,须指定相应的类型参数。类型参数相当于一个占位符,当实例化泛型类型、调用泛型函数或泛型构造器时,就用具体的类型实参替代之。 关于 Swift 语言的泛型概述,见泛型(第二部分第22章)。 泛型形参子句 泛型形参子句指定泛型类型或函数的类型形参,以及这些参数的关联约

  • 问题内容: 我想知道是否有可能编写一个接受多种通用类型的函数,如下所示: 那行得通吗?每个参数中的泛型是否意味着每个参数必须具有与泛型相同的类型T? 问题答案: 是的-可能的(虽然不是使用方法签名),是的,使用签名的类型必须相同。 使用给定的签名,必须在呼叫站点将其与单个类型(例如 或 )相关联。但是,您可以声明采用多个类型参数的方法签名 请注意,在上面的签名中,我已经声明了类型以及签名本身。因此

  • 问题内容: 我有一个方法以a 作为参数。 在中,我如何知道a 是还是a 是? 问题答案: 根据用户omain的回答“如果使用<?>,则意味着您将不会在任何地方使用参数化类型。要么转到特定类型(在您的情况下,似乎是),要么转到非常通用的“ 另外,我相信如果您使用问号,编译器将在运行时(类型;有效Java的第119页)消除类型不匹配的情况,绕过擦除,并有效地消除了使用泛型类型所带来的好处? 要回答发问