文章目录 一、泛型 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中,这样通过反射,就可以拿到具体的泛型类型了。
前言 在.NET 4之前,泛型接口是不变的。.NET 4通过协变和抗变为泛型接口和泛型委托添加了一个重要的扩展。协变和抗变指对参数和返回值的类型进行转换。 ...这里就比较接近泛型接口的协变和抗变的概念了。...理解泛型接口的协变和抗变(in、out) 我们下面来看看泛型接口的协变及抗变的例子: 首先我们看下协变,在C#高级编程(第十一版)中指出,如果泛型类型用out关键字标注,泛型接口就是协变的。...然后我们再看看那抗变也可称为逆变。在C#高级编程中指出的概念:如果泛型类型用in关键字标注,泛型接口就是抗变的。这样,接口只能把泛型类型T用作其方法的输入。 ...总结 其实在上述例子及其概念中,我们可以发现,泛型接口的协变及抗变,也就是将类型参数返回或者传入的情况,在这情况下进行其类型的隐式转换所遵循的规律。
型变 型变是指类型转换后的继承关系。 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 泛型之类型擦除
页面加载事件(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>>;
有时候客户让加代码不让别人偷他的图片,文章之类的,需要用一些 js 屏蔽鼠标动作。
当监听鼠标事件时,会触发一些事件,我们可以与之交互: mousedown 按下鼠标按钮触发 mouseup 鼠标按钮被释放 click 点击事件 dblclick 双击事件 mousemove 当鼠标移动到元素上时...,鼠标移动 mouseover 当鼠标移动到一个元素或它的一个子元素上时,鼠标悬停。...mouseenter 当鼠标移动到一个元素上时,鼠标进入。类似于mouseover但不冒泡。 mouseout 当鼠标移出元素时,以及当鼠标进入子元素时。...mouseleave 当鼠标移出一个元素时,mouseleave。类似于mouseout但不冒泡。 contextmenu 快捷菜单当快捷菜单打开时,例如用鼠标右键点击 事件重叠。...buttons 按钮(如果有),表示在任何鼠标事件上按下的按钮的数字。 clientX / clientY 无论是否滚动,鼠标指针相对于浏览器窗口的x和y坐标。
泛型使用场景: 在集合(数组、字典、NSSet)中使用泛型比较常见。 当声明一个类,类里面的某些属性的类型不确定,这时候我们才使用泛型。...泛型书写规范 在类型后面定义泛型: NSMutableArray *datas 泛型好处: 提高开发规范,减少程序员之间交流 通过集合取出来对象,直接当做泛型对象使用,可以直接使用点语法...__covariant(协变):用于泛型数据强转类型,可以向上强转,子类可以转成父类。 __contravariant(逆变):用于泛型数据强转类型,可以向下强转,父类可以转成子类。...例如: // __covariant 协变,子类转父类;泛型名字是ObjectType @interface Person :NSObject // 语言...} 添加了逆变 // __contravariant 可以逆变,父类转子类 泛型名字是ObjectType @interface Person<__contravariant ObjectType
协变 协变: 当类型参数仅用作输出(即返回值)时,可将类型参数标记为 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元无门槛券
手把手带您无忧上云