c# 数组协变】的更多相关文章

变性是OOP语言不变的大坑,Java的数组协变就是其中的一口老坑.因为最近踩到了,便做一个记录.顺便也提一下范型的变性. 解释数组协变之前,先明确三个相关的概念,协变.不变和逆变. 一.协变.不变.逆变 假设,我为一家餐馆写了这样一段代码 class Soup<T> { public void add(T t) {} } class Vegetable { } class Carrot extends Vegetable { } 有一个范型类Soup<T>,表示用食材T做的汤,它的…
C#中缓存的使用   缓存的概念及优缺点在这里就不多做介绍,主要介绍一下使用的方法. 1.在ASP.NET中页面缓存的使用方法简单,只需要在aspx页的顶部加上一句声明即可:  <%@ OutputCache Duration="100" VaryByParam="none" %> Duration:缓存时间(秒为单位),必填属性 2.使用微软自带的类库System.Web.Caching 新手接触的话不建议直接使用微软提供的类库,因为这样对理解不够深刻…
class a{} class b:a{} a[] arr=new a[3]; a[] arr2=new a[3]; 给arr 数组赋值 arr[0]=new a(); arr2[0]=new b(); 此时 arr2 数组也可以接受b类 因为继承关系协变 值类型数组没有协变…
1.数组的初始化 声明了数组后,就必须为数组分配内存,以保存数组的所有元素.数组是引用类型,所以必须给它分配堆上的内存,为此,应使用 new 运算符,指定数组中元素的类型和数量来初始化数组的变量.若使用了为未分配的元素,就会抛出NullReferenceExceptonl 类型的异常. ]; --> 在指定了数组的大小后,如果不复制数组中的所有元素,就不能重新设置数组的大小,如果事先不知道数组中应包含多少个元素,就可以使用集合. 下面使用数组初始化器为数组的每个元素赋值.数组初始化智能在声明数组…
去年写过一篇博客谈了下我自己对协变和逆变的理解,现在回头看发现当时还是太过“肤浅”,根本没理解.不久前还写过一篇“黑”Java泛型的博客,猛一回头又是“肤浅”,今天学习Java泛型的时候又看到了协变和逆变,感觉又理解了点,记录一下,但不免还是“肤浅”,看了这篇博客的同学,欢迎留言交流下.Markdown 什么是协变和逆变? 到底什么是协变和逆变?先看例子: //Java Object[] objects = new String[2]; //C# object[] objects = new s…
数组 简单数组 如果需要使用同一个类型的多个对象,就可以使用数组.数组是一种数据结构,它可以包含同一类型的多个元素. 数组声明:int[] myArray 使用new运算符,指定数组中元素的类型和数量来初始化数组的变量.指定数组的大小: myArray=new int[4] 声明和初始化数组后,变量myArray就引用了4个整形值,它们位于托管堆上: 在一个语句中声明和初始化数组 int[] myArray=new int[4]; 使用数组初始化器为数组的每个元素赋值. int[] myArra…
1. 数组 数组是一种包含若干变量的数据结构,这些变量都可以通过计算索引进行访问.数组中包含的变量(又称数组的元素)具有相同的类型,该类型称为数组的元素类型. 数组有一个“秩”,它确定和每个数组元素关联的索引个数.数组的秩又称为数组的维度.“秩”为 1 的数组称为一维数组 (single-dimensional array).“秩”大于 1 的数组称为多维数组 (multi-dimensional array).维度大小确定的多维数组通常称为两维数组.三维数组等. 数组的每个维度都有一个关联的长…
最近在研究Thinking in Java的时候,感觉逆变与协变有点绕,特意整理一下,方便后人.我参考于Java中的逆变与协变,但是该作者整理的稍微有点过于概念化,我在这里简单的说一下 我对于协变于逆变的理解 一:协变 协变返回类型指的是子类中的成员函数的返回值类型不必严格等同于父类中被重写的成员函数的返回值类型,而可以是更 "狭窄" 的类型.当然协变也会出现在数据,泛型等地方. 1:协变的简单实例 参考于 “理解Java中的协变返回类型”. 下边代码中,子类方法的返回值类型是父类方法…
数组 数组 定义重要细节 数组的类型数组是对象一维数组和矩形数组实例化一维数组或矩形数组访问数组元素初始化数组 显式初始化一维数组显式初始化矩形数组快捷语法隐式类型数组综合内容 交错数组 声明交错数组快捷实例化实例化交错数组 比较矩形数组和交错数组foreach语句 迭代变量是只读的foreach语句和多维数组 数组协变数组继承的有用成员 Clone方法 比较数组类型 数组 数组 数组实际上是由一个变量名称表示的一组同类型的数据元素.每个元素通过变量名称和一个或多个方括号中的索引来访问: 数组名…
Java“禁止”泛型数组 原文:https://blog.csdn.net/yi_Afly/article/details/52058708 1. 泛型定义泛型编程是一种通过参数化的方式将数据处理与数据类型解耦的技术,通过对数据类型施加约束(比如Java中的有界类型)来保证数据处理的正确性,又称参数类型或参数多态性. 泛型最著名的应用就是容器,C++的STL.Java的Collection Framework. 2. 泛型的实现方式不同的语言在实现泛型时采用的方式不同,C++的模板会在编译时根据…
原文链接: http://blog.csdn.net/shanyongxu/article/details/46765267 数组作为参数 数组可以作为参数传递给方法,也可以从方法中返回.要返回一个数组,只需要把数组声明为返回类型. static void Main(string[] args) { int[] array = { 1, 2, 3, 4, 5, 6 }; PrintArray(new int[] { 1, 2, 3, 4, 5, 6, 7 }); PrintArray(array…
数组 1.同一类型和不同类型的多个对象 需要使用同一类型的多个对象则使用集合和数组. Array类为数组元素排序和过滤提供了多个方法,使用枚举器,可以迭代数组所有元素. 2.简单数组 数组的声明 因为数组是引用类型,所以只要声明之后就会分配内存,以保存数组所有元素.使用new运算符,指定数组中的元素类型和数量来初始化数组的变量. 数组的声明: int[] myArray; 数组的初始化 1.先定义后声明并指定数量 int[] myArray; myArray =new int[4]; 2.声明并…
[一]何为可变性 可变性是.NET4.0中的一个新特性,可变性可分为 : 协变性.逆变性.不可变性. 那么在.NET4.0之前是否有可变性? 答案是肯定的,我们可以通过下面的几个实例来简单的了解一下.NET4.0之前的协变和逆变. 实例 1 : 方法参数的协变 static void Main(string[] args) { GetProject(new Course()); // Course 继承自 Project 此处进行了协变 } static void GetProject(Proj…
一.背景 要搞懂Java中的协办与逆变,不得不从继承说起,如果没有继承,协变与逆变也天然不存在了. 我们知道,在Java的世界中,存在继承机制.比如MochaCoffee类是Coffee类的派生类,那么我们可以在任何时候使用MochaCoffee类的引用去替换Coffee类的引用(重写函数时,形参必须与重写函数完全一致,这是一处列外),而不会引发编译错误(至于会不会引发程序功能错误,取决于代码是否符合里氏替换原则). 简而言之,如果B类是A类的派生类,那么B类的引用可以赋值给A类的引用. 赋值的…
如果需要使用同一类型的多个对象,可以使用数组和集合(后面介绍).C#用特殊的记号声明,初始化和使用数组.Array类在后台发挥作用,它为数组中的元素排序和过滤提供了多个方法.使用枚举器,可以迭代数组中的所有元素. 如果需要使用不同类型的多个对象,可以使用Tuple(元组)类型. 一.简单数组(一维数组) 数组是一种数据结构,它可以包含同一个类型的多个元素. 1.数组的声明 在声明数组时,先定义数组中的元素类型,其后是一对空方括号和一个变量名. int[] myArray; 2.数组的初始化 声明…
一.背景 要搞懂Java中的协办与逆变,不得不从继承说起,如果没有继承,协变与逆变也天然不存在了. 我们知道,在Java的世界中,存在继承机制.比如MochaCoffee类是Coffee类的派生类,那么我们可以在任何时候使用MochaCoffee类的引用去替换Coffee类的引用(重写函数时,形参必须与重写函数完全一致,这是一处列外),而不会引发编译错误(至于会不会引发程序功能错误,取决于代码是否符合里氏替换原则). 简而言之,如果B类是A类的派生类,那么B类的引用可以赋值给A类的引用. 赋值的…
微软官方概述: 在C#中,协变和逆变能够实现数组类型.委托类型和泛型类型参数的隐式引用转换.协变保留分配兼容性,逆变则与之相反. 协变:能够使用与原始指定的派生类型相比,派生程度更大的类型. 逆变:能够使用派生程度更小的类型. 官方示例: string str = "test"; object obj = str; IEnumerable<string> strings = new List<string>(); IEnumerable<object>…
同一类型和不同类型的多个对象 使用同一类型的多个对象,使用集合和数组. 使用不同类型的多个对象,使用Tuple(元组). 初始化数组 ]; myArray 存放在栈中,而 myArray 的内容 放在 托管堆. 声明数组后,必须为数组分配内存,以保存数组的所有的元素.数组是引用类型,必须给它分配堆上的内存. 如果不知道数组包括多少元素,可以使用集合. 还可以用数组初始化器. ]{,,,}; 访问数组 myArray[] = ; myArray[] = ; 如果使用错误的索引值,会抛出 Index…
好久没发东西了 , 一停下来就会变懒.... 虽然没完成,也就是它吧 --------------------------------- 以下正文 -------------------------------- 本章要点 1 简单数组 2 多维数组 3 锯齿数组 4 Array类 5 作为参数的数组 6 枚举 7 元组 8 结构比较   同一类型和不同类型的多个对象 如果需要使用同一类型的多个对象,就可以使用集合(参见第10章)和数组. C#用特殊的记号声明.初始化.使用数组. Array类在…
协变.逆变 定义 Java中String类型是继承自Object的,姑且记做String ≦ Object,表示String是Object的子类型,String的对象可以赋给Object的对象.而Object的数组类型Object[],理解成是由Object构造出来的一种新的类型,可以认为是一种构造类型,记f(Object),那么可以这么来描述协变和逆变: 当A ≦ B时,如果有f(A) ≦ f(B),那么f叫做协变(子类赋值给父类): 当A ≦ B时,如果有f(B) ≦ f(A),那么f叫做逆…
0. 文章目的:   介绍变体的概念,并介绍其对C#的意义 1. 阅读基础   了解C#进阶语言功能的使用(尤其是泛型.委托.接口) 2. 从示例入手,理解变体   变体这一概念用于描述存在继承关系的类型间的转化,这一概念并非只适用于C#,在许多其他的OOP语言中也都有变体概念.变体一共有三种:协变.逆变与不变.其中协变与逆变这两个词来自数学领域,但是其含义和数学中的含义几乎没有关系(就像编程语言的反射和光的反射之间的关系).从字面上来看这三种变体的名字多少有点唬人,但其实际意思并不难理解.广泛…
(一)同一类型和不同类型的多个对象 如果需要使用同一类型的多个对象,就可以使用数组或集合(后面章讲). 如果需要使用不同类型的多个对象,可以使用Tuple(元组)类型. (二)简单数组 如果需要使用同一类型的多个对象,可以使用数组.数组是一种结构,它可以包含同一类型的多个元素. 1.数组的声明 在声明数组时,应先定义数组总元素的类型,其后是一堆空方括号和一个变量名. 例子: 以下代码声明了一个包含整形类型的数组 int[] intArray; 2.数组的初始化 声明了数组后,就必须为数组分配内存…
http://spu.jd.com/11328513.html 第1章 .NET体系结构1.1 C#与.NET的关系1.2 公共语言运行库1.2.1 平台无关性1.2.2 提高性能1.2.3 语言的互操作性1.3 中间语言1.3.1 面向对象和接口的支持1.3.2 不同的值类型和引用类型1.3.3 强数据类型化1.3.4 通过异常处理错误1.3.5 特性的使用1.4 程序集1.4.1 私有程序集1.4.2 共享程序集1.4.3 反射1.4.4 并行编程1.4.5 异步编程1.5 .NET Fra…
转载自 : http://www.ibm.com/developerworks/cn/java/j-jtp01255.html 表面上看起来,无论语法还是应用的环境(比如容器类),泛型类型(或者泛型)都类似于 C++ 中的模板.但是这种相似性仅限于表面,Java 语言中的泛型基本上完全在编译器中实现,由编译器执行类型检查和类型推断,然后生成普通的非泛型的字节码.这种实现技术称为 擦除(erasure)(编译器使用泛型类型信息保证类型安全,然后在生成字节码之前将其清除),这项技术有一些奇怪,并且有…
第9章 语句 1.标签语句 ①.标签语句由一个标识符后面跟着一个冒号再跟着一条语句组成 ②.标签语句的执行完全如同标签不存在一样,并仅执行冒号后的语句. ③.给语句添加一个标签允许控制从代码的另一部分转移到该语句. ④.标签语句只允许用在块内部. ⑤.标签名允许与其他标识符重名,但不允许与标签名同名.   2.goto语句 该语句无条件转移控制到一个标签语句   3.using语句 eg: eg:using语句的另一种形式 虽然这种形式也能确保对资源的使用结束后Dispose方法总是被调用,但它…
JDK 5.0 中增加的泛型类型,是 Java 语言中类型安全的一次重要改进.但是,对于初次使用泛型类型的用户来说,泛型的某些方面看起来可能不容易明白,甚至非常奇怪.在本月的“Java 理论和实践”中,Brian Goetz 分析了束缚第一次使用泛型的用户的常见陷阱. 表面上看起来,无论语法还是应用的环境(比如容器类),泛型类型(或者泛型)都类似于 C++ 中的模板.但是这种相似性仅限于表面,Java 语言中的泛型基本上完全在编译器中实现,由编译器执行类型检查和类型推断,然后生成普通的非泛型的字…
类型系统的特征简介 几乎每种编程语言都有某种形式的一个类型系统.类型系统大致被分为:强/弱,安全/不安全,静态/动态,显式/隐式等类型. c#在类型系统世界中的位置 c#1的类型系统是静态的.显式的和安全的 静态类型和动态类型 c#是静态类型的:每个变量都有一个特定的类型,而且该类型在编译时是已知的.只有该类型已知的的操作才被允许. 例子:object o="hello";Console.WriteLine(o.Length);//报错 object o="hello&quo…
1. 表达式 表达式是一个运算符和操作数的序列.本章定义语法.操作数和运算符的计算顺序以及表达式的含义. 1.1 表达式的分类 一个表达式可归类为下列类别之一: 值.每个值都有关联的类型. 变量.每个变量都有关联的类型,称为该变量的已声明类型. 命名空间.归为此类的表达式只能出现在 member-access(第 7.6.4 节)的左侧.在任何其他上下文中,归类为命名空间的表达式将导致编译时错误. 类型.归为此类的表达式只能出现在 member-access(第 7.6.4 节)的左侧,或作为…
Java 泛型 协变性.逆变性 @author ixenos 摘要:协变性.协变通配符.协变数组.协变返回值 协变性.逆变性和无关性 在面向对象的计算机程序语言中,经常涉及到类型之间的转换,例如从具体类小猫到动物之间的类型转换(上行转换),或者从形状向三角形之间的转换(下行转换). 协变性(covariance).逆变性(contravariance)和无关性(invariant).他们都是用来描述类型转换的性质的术语,形式化的描述如下: 如果A和B是类型,f表示类型转换,≤表示子类型关系,(例…
C# 语言规范 版本5.0 注意 © 1999-2012 Microsoft Corporation.保留所有权利. Microsoft.Windows.Visual Basic.Visual C# 和 Visual C++ 是 Microsoft Corporation 在美国和/或其他国家/地区的注册商标或商标. 本文提及的其他产品和公司名称可能是其各自所有者的商标. 目录 1. 介绍......................................................…