编程语言的最终梦想：静态类型安全

常听人说“强类型”。但个人对强类型都有不同的理解。 有的认为C++就是强类型，有的认为C也是强类型。因为它们都有类型检查。 可见，如果没有一个明确的定义，谈“强类型”不免是自说自话。 那

接口是实现构件可插入性的要害，可插入构件的要害在于存在一个公用的接口，以及每个构件实现了这个接口。 什么是接口？ Java中的接口是一系列方法的声明，是一些方法特征的集合，一个接口

Java语言的接口与类型安全 什么是接口? Java中的接口是一系列方法的声明，是一些方法特征的集合，一个接口只有方法的特征没有方法的实现，因此这些方法可以在不同的地方被不同的类实

接口是实现构件可插入性的关键，可插入构件的关键在于存在一个公用的接口，以及每个构件实现了这个接口。 什么是接口？ Java中的接口是一系列方法的声明，是一些方法特征的集合，一个接口只有方法

解决“不允许类型 System.DelegateSerializationHolder 和从中派生的类型(例如 System.DelegateSerializationHolder)在此安

解决“不允许类型 System.DelegateSerializationHolder 和从中派生的类型(例如 System.DelegateSerializationHolder)在此安

在细述J2SE 5.0中引入的类型安全枚举的用法之前，我想先简单介绍一下这一话题的背景。 我们知道，在C中，我们可以定义枚举类型来使用别名代替一个集合中的不同元素，通常是用于描述那些可以归为一类，而又

一、简介 out参数和ref参数提供了同一个函数返回多个值的途径，C++和C#分别用引用和out、ref关键字支持，Java中一般用数组或集合解决这个问题；Generic提供了另外一种途径，

一、简介 函数式编程是非常常用和非常重要的一种编程范式，有的语言直接提供支持，C++则通过()运算符重载和模板提供了还算灵活的支持，而Java中的函数式编程则由于语言本身的局限没有得到广泛应

接口是实现构件可插入性的关键，可插入构件的关键在于存在一个公用的接口，以及每个构件实现了这个接口。 什么是接口？ Java中的接口是一系列方法的声明，是一些方法特征的集合，一个