Language
Language-Commonality
Language-Commonality
  • README
  • 重点关注
  • 快速入手关注
  • 基本内容
    • 目的/概述
      • 应用
    • 环境
    • 声明变量/常量
    • 变量类型
      • Never
    • 字符串
      • 引号
      • 字符
    • 控制语句
      • 判断(if)
      • 遍历
        • for
        • While
          • +迭代器
        • 高阶函数
        • 其他
    • 函数
      • 高阶函数
      • 函数签名
    • 闭包(Closure)
    • 聚合的数据结构
      • 枚举
      • 结构体
      • 共用体
      • 类（对象）
      • 元组(tuple)
      • 数组
        • 应用场景
        • 创建 ——（定义和初始）
        • 访问元素
        • 遍历
        • 增删改查
        • 区间索引
        • 排序
        • 反转
        • 连接
        • 切片
        • 拆分与合并
        • 长度（数量）
        • 去重
        • 判空
        • 最值
      • 字典/键值对
        • Dictionary/Map
        • 应用场景
      • 集合Set
        • Multiset、Bag
        • 运算
        • 应用场景
      • ...
    • 模板
    • 功能性机制
    • 数据处理文件支持格式
    • 工具/库
      • 标准库
        • Math库
      • 其他
    • 代码组织
    • 其他
      • 类型安全
        • 协变 vs 逆变
          • 为什么要有这样的概念？
          • 协变
            • 疑惑
          • 逆变
          • 应用场景
            • OC
      • Trampoline
  • 杂点
    • 语言划分
      • 动态语言 vs 静态语言
      • 编译型 vs 解释型
    • 声明和初始化
    • 程序编码为什么需要UTF/ASCII等编码？
  • 程序中是否对代码也进行了unicode编码？还是只是对字符串常量编码？
  • 单/双引号和字符(串)的关系
  • 专业词语
    • 柯里化（Currying）
    • 语法糖(Syntactic Sugar)
Powered by GitBook
On this page
  1. 基本内容
  2. 其他
  3. 类型安全
  4. 协变 vs 逆变

应用场景

  • 协变：用于返回值，允许返回更具体的子类类型，常用于集合、返回类型等场景。

  • 逆变：用于参数类型，允许使用更广泛的父类类型，常用于事件处理器、接口等场景。

类型安全 —— 所有成员可用

Previous逆变NextOC

Last updated 6 months ago