文章目录 一、泛型 out 协变 二、泛型 in 逆变 三、泛型 invariant 不变 四、泛型逆变协变代码示例 五、使用 reified 关键字检查泛型参数类型 本章总结 : 使用了 泛型 out...协变 和 泛型 in 逆变 极大的提高了程序的扩展性 ; 泛型 in 逆变 : 使用 in 关键字 , 可以使 父类泛型对象 赋值给 子类泛型对象 ; 泛型 out 协变 : 使用 out 关键字 ,...可以使 子类泛型对象 赋值给 父类泛型对象 ; 一、泛型 out 协变 ---- 使用 out 关键字 , 可以使 子类泛型对象 赋值给 父类泛型对象 ; 在 泛型类 中 , 如果只将 泛型类型...又用于作为参数 ; interface ProducerOrConsumer { fun produce(): T fun consume(t: T) } 四、泛型逆变协变代码示例...( 反之就会报错 ) 如果 使用 out 关键字 , 则 范围小的子类泛型对象 赋值给 范围大的 父类泛型对象 ; ( 反之就会报错 ) 使用了 泛型 out 协变 和 泛型 in 逆变 极大的提高了程序的扩展性
但是这种处理在我们处理泛型业务时，会有很多限制，所以，泛型提供了「型变」来拓展泛型的使用。 协变 协变指的是，当参数具有父子关系时，子类可以作为参数传递，而泛型的上界就是其父类。...所以说，逆变之后的泛型，失去了读的能力（因为读出来都是Object），所以逆变泛型通常都作为「数据消费者Consumer」。...Kotlin型变 泛型让我们有了可以支持多种类型的能力，型变让我们有了修改泛型的能力，总结来说： 泛型通配符<?...Kotlin泛型的优化 我们通过这个例子来看下Kotlin对Java泛型的改进。 申明处型变 我们通过下面这个例子来看下Kotlin申明处型变的好处，这是一个生产者与消费者的例子，代码如下。...其实，编译器还是留了一手，申明处的泛型信息，实际上会以Signature的形式，保存到Class文件的Constant pool中，这样通过反射，就可以拿到具体的泛型类型了。
型变 型变是指类型转换后的继承关系。 Kotlin 的型变分为逆变、协变和不变。...2.1 协变 如果 A 是 B 的子类型，并且Generic 也是 Generic 的子类型，那么 Generic 可以称之为一个协变类。...2.2 逆变 如果 A 是 B 的子类型，并且 Generic 是 Generic 的子类型，那么 Generic 可以称之为一个逆变类。...2.3 不变 默认情况下，Kotlin 中的泛型类是不变的。 这意味着它们既不是协变的也不是逆变的。 例如 MutableList，它可读可写，泛型没有使用in、out。 三....总结 本文从 Kotlin 的类、类型引出了型变。介绍了 Kotlin 的协变、协变和不变的概念和特性，以及 Java 的上界通配符、下界通配符。 该系列的相关文章： Kotlin 泛型之类型擦除
前言 在.NET 4之前，泛型接口是不变的。.NET 4通过协变和抗变为泛型接口和泛型委托添加了一个重要的扩展。协变和抗变指对参数和返回值的类型进行转换。 ...这里就比较接近泛型接口的协变和抗变的概念了。...理解泛型接口的协变和抗变（in、out） 我们下面来看看泛型接口的协变及抗变的例子： 首先我们看下协变，在C#高级编程（第十一版）中指出，如果泛型类型用out关键字标注，泛型接口就是协变的。...然后我们再看看那抗变也可称为逆变。在C#高级编程中指出的概念：如果泛型类型用in关键字标注，泛型接口就是抗变的。这样，接口只能把泛型类型T用作其方法的输入。 ...总结 其实在上述例子及其概念中，我们可以发现，泛型接口的协变及抗变，也就是将类型参数返回或者传入的情况，在这情况下进行其类型的隐式转换所遵循的规律。
页面加载事件（onload），鼠标双击事件（ondbclick） window.onload=function(){ //绑定元素,执行对应事件 鼠标双击(ondblclick...(){ alert('我是双击显示的'); } } 鼠标摁下（onmousedown）事件（摁下就执行，鼠标无需抬起...} } 鼠标抬起（onmouseup）事件（摁下后，鼠标回弹才执行） window.onload=function(){ ...鼠标移入（onmouseover）事件 window.onload=function(){ //绑定元素,执行鼠标移入事件 鼠标移入(onmousemove...){ alert('鼠标移出操作'); } } PS：鼠标移动（onmousemove）和鼠标移入（onmouseover
今天遇到一个非常奇怪而又搞笑的事情：给一个a标签添加一个鼠标移动上时给一个事件，我给其添加的是一个onMouseMove事件，结果在IE6 7 8 9和GOOLE中都很正常，结果在Firox中出现问题了...鼠标的一些事件如下所示： onMouseOver IE3|N2|O3 当鼠标移动到某对象范围的上方时触发的事件 onMouseMove IE4|N4|O 鼠标移动时触发的事件 onMouseOut IE4...|N3|O3 当鼠标离开某对象范围时触发的事件 onKeyPress IE4|N4|O 当键盘上的某个键被按下并且释放时触发的事件.
导读 泛型是Java最基础的语法之一，众所周知：出于安全原因，泛型默认不能支持型变（否则会引入危险），因此Java提供了通配符上限和通配符下限来支持型变，其中通配符上限就泛型协变，通配符下限就是泛型逆变...泛型默认不支持型变 为了避免重蹈Java数组的覆辙，Java泛型显然不能再继续支持默认的型变。...协变：通配符上限 为了让泛型支持型变，Java引入了通配符上限语法：如果A是B的子类，那么List相当于是List的子类——这种型变方式被称为协变（covariance）。 对于支持协变的泛型集合，例如List的子类——这种型变方式被称为逆变（contravariance）。 对于支持逆变的泛型集合，例如List<?
背景 文接上回，说到过Java的泛型擦除问题，这块我又联想到一个有意思的考点泛型的协变和逆变。...根因是Java的泛型没有协变类型，无法关联起来，也就没有关系。 利用通配符，?代表子类，T为父类。 常见的例子比如，List<?...二、逆变 ，超类型限定。 逆变同样也是在各类源码中层出不穷，结合协变的理解，这块相信大家应该不难理解。 常见的例子比如，List<?...通俗理解生产者为协变，消费者为逆变。 针对于生产者，可取，有上界；针对于消费者，可存，有下界。...小结 1、协变、逆变的区别要分清 2、另外，再提一点泛型和通配符的区别，当然也可以结合第一点理解， 用于定义泛型类和方法，擦除后为AAA类型； <?
背景 文接上回，说到过Java的泛型擦除问题，这块我又联想到一个有意思的考点泛型的协变和逆变。...根因是Java的泛型没有协变类型，无法关联起来，也就没有关系。 利用通配符，?代表子类，T为父类。 常见的例子比如，List<?...二、逆变 ，超类型限定。 逆变同样也是在各类源码中层出不穷，结合协变的理解，这块相信大家应该不难理解。 常见的例子比如，List<?...通俗理解生产者为协变，消费者为逆变。 针对于生产者，可取，有上界；针对于消费者，可存，有下界。...小结 1、协变、逆变的区别要分清。 2、另外，再提一点泛型和通配符的区别，当然也可以结合第一点理解， 用于定义泛型类和方法，擦除后为AAA类型； <?
代码写明 Rust 中的泛型型变 Variance译作型变或可变性或变体. 表示"泛型类型的子类型关系"如何从"泛型参数的子类型关系"中推导....make_return_closure(str_inner)); // 类型相符 } // 强制拉长生存期 s_outer; s_static; str_outer; } Rust 泛型类型型变的推导...Rust 泛型类型型变不是由语法定义,而是固定的几个基础类型的可变性表, 然后组合类型 struct, enum 和 union 根据其包含域类型的可变性确定, 域类型有多种可变性时, 组合类型为不变...UnsafeCell invariant std::marker::PhantomData covariant dyn Trait + 'a covariant invariant 型变推导实例...推导以下代码中泛型类型的型变 use core::ptr::NonNull; struct Node(T); type Link1 = Option>>;
泛型使用场景: 在集合(数组、字典、NSSet)中使用泛型比较常见。 当声明一个类，类里面的某些属性的类型不确定，这时候我们才使用泛型。...泛型书写规范 在类型后面定义泛型： NSMutableArray *datas 泛型好处: 提高开发规范，减少程序员之间交流 通过集合取出来对象，直接当做泛型对象使用，可以直接使用点语法...__covariant(协变):用于泛型数据强转类型，可以向上强转，子类可以转成父类。 __contravariant(逆变):用于泛型数据强转类型，可以向下强转，父类可以转成子类。...例如： // __covariant 协变，子类转父类；泛型名字是ObjectType @interface Person :NSObject // 语言...} 添加了逆变 // __contravariant 可以逆变,父类转子类 泛型名字是ObjectType @interface Person<__contravariant ObjectType
有时候客户让加代码不让别人偷他的图片，文章之类的，需要用一些 js 屏蔽鼠标动作。
当监听鼠标事件时，会触发一些事件，我们可以与之交互： mousedown 按下鼠标按钮触发 mouseup 鼠标按钮被释放 click 点击事件 dblclick 双击事件 mousemove 当鼠标移动到元素上时...，鼠标移动 mouseover 当鼠标移动到一个元素或它的一个子元素上时，鼠标悬停。...mouseenter 当鼠标移动到一个元素上时，鼠标进入。类似于mouseover但不冒泡。 mouseout 当鼠标移出元素时，以及当鼠标进入子元素时。...mouseleave 当鼠标移出一个元素时，mouseleave。类似于mouseout但不冒泡。 contextmenu 快捷菜单当快捷菜单打开时，例如用鼠标右键点击 事件重叠。...buttons 按钮(如果有)，表示在任何鼠标事件上按下的按钮的数字。 clientX / clientY 无论是否滚动，鼠标指针相对于浏览器窗口的x和y坐标。
协变 协变： 当类型参数仅用作输出（即返回值）时，可将类型参数标记为 out 这样就允许 Del dogMaker = MakeDog; // MakeDog是一个返回Dog匹配委托的方法...期望返回 Animal , 而其指向的 Del 返回了 Dog , Dog 是 Animal 的派生类，接受返回 Dog ,于是可以,调用代码可以自由的操作返回的对象的 Animal 部分 逆变...逆变： 当类型参数仅用作输入（作为方法的参数类型），可将类型参数标记为in 这样就允许 Del animal =ActOnAnimal; // ActOnAnimal为匹配此委托的方法...于是又传入了其指向了 Del ， 于是传入 Del 了一个Animal的派生类Dog 这种在期望传入基类 时允许传入派生对象 的特性叫做逆变...本文作者： yiyun 本文链接： https://moeci.com/posts/2022/01/CSharp-泛型委托的协变与逆变/ 版权声明： 本博客所有文章除特别声明外，均采用 BY-NC-SA
文章目录 1、泛型 `Generics` 2、`__kindof` 类型限制 3、自定义泛型 4、协变 和 逆变 4.1、`__covariant`协变 4.2、`__contravariant`逆变...4.2、系统类举例 1、泛型 Generics 泛型可以让你使用自定义的类型来编写灵活的、可重用的函数和类型，可以避免重复，以清晰、抽象的方式表达其意图。...__covariant（协变）或__contravariant（逆变）来控制转换关系。...（详情见下文） 4、协变 和 逆变 介绍协变和逆变前，先回顾一下：subtype、supertype： subtype、supertype是面向对象开发中最常见的类型关系，即子类型和父类型。...名词解释： variant: 即型变 co + varian: 共同变化，即协变的（con: 共同） contra + variant：逆变，抗变（contra: 相反；对立面） 例：有父类Person
IAnimalHouse dogHouse = new AnimalHouse(); IAnimalHouse animalHouse = dogHouse; 协变的作用就是可以将子类泛型隐式转换为父类泛型...，而逆变就是将父类泛型隐式转换为子类泛型 将接口类型改为使用in关键字 public interface IAnimalHouse where T : Animal,new() { } 逆变就完成了...：协变时泛型无法作为参数、逆变时泛型无法作为返回值。...逆变： ? 协变： ? 语法都是一些 非常粗糙的东西，重要的是思想、思想、思想。然后我们来看一下为什么要有逆变和协变？ 什么叫做类型安全？...思考：那么，现在你能明白上面那个错误，为什么“协变时泛型无法作为参数、逆变时泛型无法作为返回值”了吗？
方法传递任意类型的对象, 这样明显是有问题的 Q: 但是我曾经看到过 IEnumerable list = new List(); 这个为什么就可以 A: 这就要讲到C#泛型里的逆变协变了...Q: 细嗦细嗦 逆变协变 C#泛型中的逆变(in)协变(out)对于不常自定义泛型的开发来说(可能)是个很难理解的概念, 简单来说其表现形式如下 逆变(in): I = I协变(out..., 与协变相似, 需要在泛型 T 之前加上关键词 in 对比上方的协变, 逆变看起来就像是将基类赋值给子类, 但这其实符合里氏代换的 当我们调用 item.Print 时, 看起来允许传入的参数为 string...类型, 而实际上最终调用的 Face.Print 是支持 object 的, 传入 string 类型的参数没有任何问题 逆变协变的作用 逆变(in)协变(out)的作用就是扩展泛型的用法...A: 简单来说, 有关泛型输入的用逆变, 关键词是in, 有关泛型输出的用协变, 关键词是out, 如果接口中既有输入又有输出, 就不能用逆变协变 Q: 为什么这两个不能同时存在?
3.通配符上界（泛型的协变） 泛型类型是具有不变性的，比如下面代码就是错误的： Arraylist objectList; ArrayList stringList =...); } return result; } List doubleList = new ArrayList(); sum(doubleList) 这种写法也被叫做泛型的协变...4.通配符下界（泛型的逆变） 我们还可以使用通配符下界（?...fruit = temp.getPlate(); 不能接收，这里无法确定是哪个父类 System.out.println(temp.getPlate());//只能直接输出 } } 通配符的优缺点： 协变：...逆变：放宽了对父类类型的泛型约束，但是缺点是不能对参数进行读取数据，只能写入数据。
var disX = 0; var disY = 0; oDiv.onmousedown = function (ev) { // 鼠标按下...var oEvent = ev || event; disX = oEvent.clientX - oDiv.offsetLeft; // 横向距离 = 鼠标位置...disY = oEvent.clientY - oDiv.offsetTop; document.onmousemove = function (ev) { // 鼠标移动...oEvent.clientY - disY + 'px'; }; document.onmouseup = function () { // 鼠标抬起
分享一款基于js的图片排序效果。鼠标拖动图片，重新排列图片的排列顺序。该插件适用浏览器：IE8、360、FireFox、Chrome、Safari、Opera、傲游、搜狗、世界之窗。...0, 0, 0.85); } #ul1 .active { border: 1px dashed red; } js...document.body.scrollLeft; obj.style.zIndex = minZindex++; //当鼠标按下时计算鼠标与拖拽对象的距离...; } } } via：http://www.w2bc.com/Article/23686 未经允许不得转载：肥猫博客 » 基于js...鼠标拖动图片排序
领取专属 10元无门槛券
手把手带您无忧上云
云服务器
ICP备案
对象存储
腾讯会议
实时音视频
