action是实例化了一个只有一个字符串参数没有返回值得函数变量。func是实例化了一个有两个int类型的参数返回值为int的函数变量。...可以看到,在泛型接口的T前面有一个out关键字修饰,而且T只能是返回值类型,不能作为参数类型,这就是协变。使用了协变以后,左边声明的是基类,右边可以声明基类或者基类的子类。...在泛型类中,T类型不同,每个不同的T类型,都会产生一个不同的副本,所以会产生不同的静态属性、不同的静态构造函数,请看下面的例子: public class GenericCache { static...从上面的截图中可以看出,泛型会为不同的类型都创建一个副本,所以静态构造函数会执行5次。而且每次静态属性的值都是一样的。利用泛型的这一特性,可以实现缓存。 注意:只能为不同的类型缓存一次。...如果该列表为空返回默认值.
.* 函数定义 函数定义使用关键字 fun,参数格式为:参数 : 类型 fun printSum(a: Int,b: Int){ println(a+b) } 无返回值的函数 public fun...如果子类没有主构造函数,则必须在每一个二级构造函数中用 super 关键字初始化基类,或者在代理另一个构造函数。...声明处的类型变异使用协变注解修饰符:in、out,消费者 in, 生产者 out。...使用 out 使得一个类型参数协变,协变类型参数只能用作输出,可以作为返回值类型但是无法作为入参的类型: in 使得一个类型参数逆变,逆变类型参数只能用作输入,可以作为入参的类型但是无法作为返回值的类型...如果你使用匿名对象作为公有函数的 返回类型或者用作公有属性的类型,那么该函数或属性的实际类型 会是匿名对象声明的超类型,如果你没有声明任何超类型,就会是 Any。在匿名对象 中添加的成员将无法访问。
Kotlin是开源的,这意味着,我们可以在GitHub上下载Kotlin的全部源代码,并对它进行代码修改再发布,Kotlin在github上的开源地址为: https://github.com/JetBrains...并且,Kotlin还提供了智能的类型判断功能,使用is类型判断后,编译器自动进行类型转换,父类引用可以调用子类接口,注意转换只在is的代码块中生效。...2,函数定义 函数使用fun为关键字进行声明,变量的冒号之后是变量类型,函数的冒号之后是返回值。...伴生对象的调用跟Java一样,通过类名.属性名称或函数名称调用。 新特性 1,空安全 在Kotlin中,对象声明分为可空引用和非空引用两种。...在Java中泛型是不变的,比如:虽然A继承B,但List和List之间没有任何关系,Java是通过泛型通配符来实现型变的: 3,反射 反射是运行于JVM中的程序检测和修改运行时的一种行为,通过反射可以在运行时获取对象的属性和方法
安全调⽤用符 kotlin默认不能空,变量类型后面跟?号定义,表明这是一个可空类型 ?. 代表着如果该类型为空的话就返回null不做后续的操作,如果不为空的话才会去访问对应的方法或者属性 !!....代表着如果该类型为空的话就抛出NullPointerException,如果不为空就去访问对应的方法或者属性, 所以只有在很少的特定场景才用这种符号,代表着程序不处理这种异常的case了,会像java代码一样抛出...类似静态变量 写在顶级的函数(不需要在class里写方法)或者变量有个好处:在 Android Studio 中写代码时,IDE 很容易根据你写的函数前几个字母自动联想出相应的函数。...因此就诞生了「泛型」,它的意思是把具体的类型泛化,编码的时候用符号来指代类型,在使用的时候,再确定它的类型 使用关键字 out 来支持协变,等同于 Java 中的上界通配符 ? extends。...协程就是kotlin官方提供的线程api 属性委托 有些常见的属性操作,我们可以通过委托方式,让它实现,例如:lazy 延迟属性: 值只在第一次访问的时候计算 类委托 可以通过类委托来减少 extend
在序列化时,首先使用反射获取字段值,再使用字段的 BoundFiled 序列化; 在反序列化时,首先创建对象实例(下文会讨论如何创建),再使用依次使用字段的 BoundField 反序列为字段类型的值,...1、在预置的容器 TypAdapter 中,会先通过容器类型的 RawType 获取容器构造器,再根据泛型实参 elementType 获取元素类型的 TypeAdapter; 2、在序列化时,先写入...[ 左中括号,再用元素类型的 TypeAdapter 依次序列化元素对象,再写入 ] 右中括号; 3、在反序列化时,先创建集合对象,再用元素类型的 TypeAdapter 依次反序列化元素对象; 4、Map...这个 API 不会调用构造函数,因此相关的构造初始化操作会丢失; 1、构造函数参数的默认值丢失; 2、字段的默认值丢失; 3、Kotlin 非空类型失效; 4、初始化块未执行; 5、by 属性代理(没有创建代理对象...原理是 Class 文件中的 Signature 属性会保持类签名信息,而 TypeToken 只是一个工具类,内部通过反射获取类签名中泛型信息并返回 Type 类型。
② 空安全类型 Kotlin的空安全类型的原理是,Kotlin在编译过程中会增加一个函数调用,对参数类型或者返回类型进行控制,开发者可以在开发时通过注解@Nullable和@NotNull方式来弥补Java...;协变和逆变由Java中的extends和super变成了out和in,如ArrayList;在Kotlin中没有Raw类型,如Java中的List对应于Kotlin就是List并不是Box的子类。...当它作为参数出现时,为了让Kotlin的API在Java中工作,对于协变定义的Box生成Box作为Box(或者对于逆变定义的Foo生成Foo<?...因此,将示例中的对应函数实际上翻译如下: // 作为返回类型——没有通配符 Box boxDerived(Derived value) { … } // 作为参数——有通配符 Base
到达迭代器方法的结尾时,循环便已完成。 协变和逆变 在 C# 中,协变和逆变能够实现数组类型、委托类型和泛型类型参数的隐式引用转换。 协变保留分配兼容性,逆变则与之相反。...我们来看看此版本中的一些主要功能: 自动实现的属性 在 C# 3.0 及更高版本,当属性访问器中不需要任何其他逻辑时,自动实现的属性会使属性声明更加简洁。 它们还允许客户端代码创建对象。...LINQ 的构造可以建立在更细微的视图检查表达式树、Lambda 表达式以及匿名类型的基础上。 不过无论如何 C# 3.0 都提出了革命性的概念。...泛型类型参数支持协变和逆变,可在分配和使用泛型类型方面提供更大的灵活性。 在引用类型系统时,协变、逆变和不变性具有如下定义。...在 C# 4.0 版中引入 dynamic 关键字让用户可以替代编译时类型上的编译器。 通过使用 dynamic 关键字,可以创建和动态类型语言(例如 JavaScript)类似的构造。
除了对于函数返回值类型和返回值的自动补充之外,它的特殊之处更多地在于语义和用途的角度。它是由官方规定的,用于表示**「什么也不返回」**的场景的**返回值类型**。...在 Kotlin 中,不存在真正没有返回值的函数,所有「没有返回值」的函数实质上的返回值类型都是 Unit,而返回值也都是 Unit 这个单例对象。...是因为存在特例void,在Java中如果声明的函数没有返回值,那么它就需要用void来修饰。...in位置,而函数返回类型叫作out位置 #### 协变 :保留子类型化关系 如果在定义的泛型类和泛型方法的泛型参数前面加上out关键词,说明这个泛型类及泛型方法是协变,简单来说类型A是类型B的子类型...没有子类型化 | | T只能在out 位置 | T只能在 in 位置 | T可以在任何位置 | ### 泛型中的out与in与 Java 上下界通配符关系 在Kotlin中out代表协变,in代表逆变
基本类型、包、控制流、返回与跳转 image.png 3.类和对象 主要内容:类和继承、属性和字段、接口、可见性修饰词、扩展、数据对象、泛型、嵌套类、枚举类、对象表达式和声明、代理模式、代理属性 4.函数和...lambda表达式 主要内容:函数、高阶函数与 lambda 表达式 image.png 5.其它 主要内容:多重申明,Ranges,类型检查和自动转换,This表达式,等式,运算符重载,空安全,异常,...定义常量与变量 null 声明 空判断 字符串拼接 三元表达式 多重条件 更灵活的 case 语句 for 循环 更方便的集合操作 遍历 方法定义 constructor 构造器 Get Set 构造器...Java 重载,在 Kotlin 中怎么巧妙过渡一下? Kotlin 中的判空姿势 Kotlin 复写 Java 父类中的方法 Kotlin “狠”起来,连TODO 都不放过!...Delegation) 委托属性(Property Delegation) 自定义委托属性 委托属性 + SharedPreferences 协程“不为人知”的调试技巧 协程 JVM 参数 Kotlin
在执行函数时, 函数内局部变量的存储单元都可以在栈上创建 ,函数执行结束时这些存储单元自动被释放。栈内存分配运算内置于处理器的指令集。 (3)从堆上分配 , 亦称动态内存分配 。...static关键字 作用: 函数体内 static 变量的作用范围为该函数体,不同于 auto 变量, 该变量的内存只被分配一次,因此其值在下次调用时仍维持上次的值 在模块内的 static 全局变量可以被模块内所有函数访问...16} 宏函数属于在结构中插入代码,没有返回值;函数调用具有返回值。...- 指针free或delete之后没有及时置空 => 释放操作后立即置空。 ##### 指针和数组的区别 数组要么在静态存储区被创建(如全局数组),要么在栈上被创建。...(1)操作符new返回的指针类型严格与对象匹配,而不是void; (2)C中很多以void为参数的函数可以改写为C++模板函数,而模板是支持类型检查的; (3)引入const关键字代替#define constants
5.strictPropertyInitialization 此规则将验证构造函数内部初始化前后已定义的属性。 必须要确保每个实例的属性都有初始值,可以在构造函数里或者属性定义时赋值。...username = user.username.toLowerCase(); 方案#3:在构造函数中赋值 最有用的解决方案是向username构造函数添加参数,然后将其分配给username属性。...这一更严格的检查应用于除方法或构造函数声明以外的所有函数类型。方法被专门排除在外是为了确保带泛型的类和接口(如 Array )总体上仍然保持协变。...用另一种方式来描述这个例子则是,默认类型检查模式中T在类型(x: T) => void是 双变的,但在严格函数类型模式中T是 抗变的: interface Comparer { compare...[2] 应该怎么理解编程语言中的协变逆变?[3] TypeScript 严格函数类型[4] 在面试的过程中,常被问到为什么Typescript比JavaScript好用?
在类中使用方式和在变量中类似,只是提供了一些专门为类设计的静态属性、静态方法、成员属性、构造函数中的类型等。...给我们提供了一下两种兼容方式: 以 A = B 这个表达式为例: •协变,表示 B 的结构体必须包含 A 中的所有结构,即:B 中的属性可以比 A 多,但不能少。...•逆变,和协变相反,即:B 中的所有属性都在 A 中能找到,可以比 A 的少。•双向协变,即没有规则,B 中的属性可以比 A 多,也可以比 A 少。 对象中的兼容 对象中的兼容,采用的是协变。...函数返回值兼容 函数返回值中的兼容,采用的是协变。...•animal => animal •返回值不对,返回值始终是协变的,必须多传。 •animal => grayDog •正确。 所以,函数参数类型应该是逆变的。
空安全类型 Kotlin的空安全类型的原理是,Kotlin在编译过程中会增加一个函数调用,对参数类型或者返回类型进行控制,开发者可以在开发时通过注解@Nullable和@NotNull方式来限制Java...;协变和逆变由Java中的extends和super变成了out和in,如ArrayList;在Kotlin中没有Raw类型,如Java中的List对应于Kotlin就是List。...getID(C c) { return c.ID; } } 延迟初始化的属性(在Java中)也会暴露为字段, 该字段的可见性与 lateinit 属性的 setter 相同。...中我们可以这样写 unboxBase(boxDerived(“s”)),但是在 Java 中是行不通的,因为在 Java 中类 Box 在其泛型参数 T 上是不型变的,于是 Box 并不是 Box 的子类...当它作为参数出现时,为了让 Kotlin 的 API 在 Java 中工作,对于协变定义的 Box 我们生成 Box 作为 Box // 作为返回类型——没有通配符 Box boxDerived
因为这个函数调用的时候是按照 Guang 来约束的类型,但实际上函数只用到了父类型 Person 的属性和方法,当然不会有问题,依然是类型安全的。...这就是逆变,函数的参数有逆变的性质(而返回值是协变的,也就是子类型可以赋值给父类型)。 那反过来呢,如果 printHoobies 赋值给 printName 会发生什么?...但是这明显是有问题的,不能保证类型安全,所以之后 ts 加了一个编译选项 strictFunctionTypes,设置为 true 就只支持函数参数的逆变,设置为 false 则是双向协变。...开启之后,函数参数就只支持逆变,子类型赋值给父类型就会报错: 在类型编程中这种逆变性质有什么用呢? 还记得之前联合转交叉的实现么?...结果就是交叉类型: 我们通过构造了多个函数类型,然后模式提取参数类型的方式,来实现了联合转交叉,这里就是因为函数参数是逆变的,会返回联合类型的几个类型的子类型,也就是更具体的交叉类型。
在类型系统中,属性更多的类型是子类型。 在集合论中,属性更少的集合是子集。 也就是说,子类型是父类型的超集,而父类型是子类型的子集,这是直觉上容易搞混的一点。...当我初学的时候,我会觉得 T extends {} 这样的语句很奇怪,为什么可以 extends 一个空类型并且在传递任意类型时都成立呢?当搞明白上面的知识点,这个问题也自然迎刃而解了。...逆变和协变 先来段维基百科的定义: 协变与逆变(covariance and contravariance)是在计算机科学中,描述具有父/子型别关系的多个型别通过型别构造器、构造出的多个复杂型别之间是否有父...那么,对于 type MakeArray = T[] 这个类型构造器来说,它就是 协变(Covariance) 的。...在 TS 中 当然,在 TypeScript 中,由于灵活性等权衡,对于函数参数默认的处理是 双向协变 的。
(即可写的),对象初始化器才能工作:它们首先调用对象的构造函数(本例中是默认的无参数构造函数),然后赋值给属性 setter。...(init-only)自动属性以及构造函数和解构函数,因此您就可以编写: var person = new Person("Scott", "Hunter"); // 用位置参数构造(positional...,您可以定义自己的同名属性,生成的构造函数和解构函数将只使用您自定义的属性。...每个派生记录类型都重写此方法以调用该类型的复制构造函数,并且派生记录的复制构造函数将链接到基记录的复制构造函数。with 表达式只需调用隐藏的“克隆”方法并将对象初始化器应用于其返回结果。...0 : null; // nullable value type 六、协变式返回值(Covariant returns) 派生类中的方法重写具有一个比基类型中的声明更具体(更明确)的返回类型——有时这样的表达是有用的
简单来说,协变即类型收敛,逆变即类型发散。在这里由下面的例子引起关于这个问题的讨论,在这里我们定义了一个父类型以及一个子类型,而且我们验证了这个子类型在TS中是OK的。...将一个函数赋给另一个函数变量时,要保证参数类型发散,即比目标类型范围小。目标函数执行时是执行的原函数,传入的参数类型会收敛为原函数参数类型。协变表示类型收敛,即类型范围缩小或不变,逆变反之。...用合适的术语来描述这个奇怪的表现,可以说我们允许一个函数类型中,返回值类型是协变的,而参数类型是逆变的。...一个有趣的现象是在TypeScript中,参数类型是双向协变的,也就是说既是协变又是逆变的,而这并不安全,但是现在你可以在TypeScript 2.6版本中通过--strictFunctionTypes...*/ "strictPropertyInitialization": true, /* 设为true后会检查类的非undefined属性是否已经在构造函数里初始化,如果要开启这项,需要同时开启
localsinit 标志 目标类型的新表达式 静态匿名函数 目标类型的条件表达式 协变返回类型 扩展 GetEnumerator 支持 foreach 循环 Lambda 弃元参数 本地函数的属性...调用方可使用属性初始化表达式语法在创建表达式中设置这些值,但构造完成后,这些属性将变为只读。 仅限 init 的资源库提供了一个窗口用来更改状态。 构造阶段结束时,该窗口关闭。...在完成所有初始化(包括属性初始化表达式和 with 表达式)之后,构造阶段实际上就结束了。 上述位置记录示例演示了如何使用仅限 init 的资源库通过 with 表达式来设置属性。...协变返回类型为替代函数的返回类型提供了灵活性。 替代的虚函数可返回从基类方法中声明的返回类型派生的类型。 这对于记录和其他支持虚拟克隆或工厂方法的类型很有用。...有关详细信息,请参阅 Lambda 表达式一文中的 Lambda 表达式的输入参数一节。 最后,现在可将属性应用于本地函数。 例如,可将可为空的属性注释应用于本地函数。
此示例创建一个空 List (在 Visual Basic 中为List(Of Derived) ),并且说明可以将该类型传递给 PrintBases 且在不进行强制转换的情况下将该类型分配给类型...该示例定义具有MustInherit 属性的抽象(在 Visual Basic 中为 Shape ) Area 类。...该示例创建 SortedSet 对象的 Circle ,使用采用 IComparer (在 Visual Basic 中为IComparer(Of Circle) )的构造函数。...Func (在 Visual Basic 中为Func(Of Base, Base) )的变量,因为返回类型是协变的。...协变类型参数用 out 关键字(在 Visual Basic 中为Out 关键字,在 + MSIL 汇编程序 中为)标记。 可以将协变类型参数用作属于接口的方法的返回值,或用作委托的返回类型。
领取专属 10元无门槛券
手把手带您无忧上云