201871010105-曹玉中《面向对象程序设计（java）》第十一周学习总结
| 项目 | 内容 |
| 《面向对象程序设计（java）》 | https://www.cnblogs.com/nwnu-daizh/ |
| 这个作业的要求在哪里 | https://www.cnblogs.com/nwnu-daizh/p/11815810.html |
| 作业学习目标 |
|
第一部分：理论知识
8.1
1.在 Java 中增加范型类之前， 泛型程序设计是用继承实现的。
2.ArrayList类出现于泛型类之前，其中有一个Object引用的数组，取出值时必须进行强制类型转换，且其中没有错误检查，因此可以向数组列表中添加任意类的对象（反正都是Object的子类，而且都是引用，不用担心存贮问题）
3.在引入泛型后，ArrayList 类有一个类型参数用来指示元素的类型：
ArrayList<String> files = new ArrayList<String>():
//在 Java SE 7 及以后的版本中， 构造函数中可以省略泛型类型： ArrayList<String>files = new ArrayList<>();省略的类型，可以从变量的类型推断得出，事实上，当这个file实例调用方法时，也不需强制类型转换，而且编译器将进行类型检查。
8.2
public class Pair<T>
{
private T first;
private T second;
public Pair() {first = null; second = null;}
public Pair(T first, T second) {this.first = first; this.second = second;}
public T getFirst() {return first;}
public T getSecond() {return second;}
public void setFirst(T newValue) {first = newValue;}
public void setSecond(T newValue) {second = newValue;}
}
1.语法：定义类时：public class Pair<T, U> { . . . }
//C++中是Template<class T, class U> class Pair{…}
2.类定义中的类型变量可以指定方法的返回类型以及域和局部变量的类型
3.用具体的类型替换类型变量就可以实例化泛型类型：Pair<String>，其结果可看成一个普通类。
//在new一个泛型类的变量时，似乎不用声明<>里的东西，编译器会根据其中的参数类型进行推算。
//接上，当定义一个引用时，必须要声明出类型。
8.3泛型方法
1.泛型方法可以定义在普通类中，类型变量放在修饰符（这里是 public static) 的 后面，返回类型（这里是T）的前面。
public static <T> T getMiddle(T... a) { return a[a.length / 2]; }
2.当调用一个泛型方法时’在方法名前的尖括号中放人具体的类型： String middle = ArrayAlg.<String>getMiddle("]ohnM, "Q.n, "Public");
在这种情况（实际也是大多数情况）下，方法调用中可以省略类型参数。编译器有足够的信息能够推断出所调用的方法。它用 names 的类型（即String[ ])（函数参数） 与泛型类型 T[ ] 进行匹配并推断出 T 一定是 String。也就是说，可以调用 String middle = ArrayAlg.getHiddle("]ohn", "Q.", "Public");
3.要注意二义性的问题：double middle = ArrayAlg.getMiddle(B.14, 1729, 0);函数参数里面有int和double， 编译器将会自动打包参数为1个Double和2个Integer对象，而后寻找这些类的共同超类型。事实上；找到2个这样的超类 型：Number 和 Comparable 接口，而这些超类其本身也是一个泛型类型。
//C++是会直接不允许二义性的出现，而不会向上自动寻找超类。
8.4 类型参数的限定
1.有时需要对于类型变量加以约束，比如说我们使用了一个方法，但是类型变量并不能保障一定具有这个方法，比如说可能代码要依赖于某个接口，即：
class ArrayAIg
{
public static <T> T min(T[] a)
{
if (a null || a.length = 0) return null;
T smallest = a[0];
for (int i = 1 ; i < a.length; i++)
if (smallest.compareTo(a[i]) > 0) smallest = a[i];
return smallest;
}
}
无法保证T在使用时对应的类型一定会有compareTo方法。可以通过对类型变量 T 设置限定（bound) 实现这一点： public static <T extends Comparable> T min(T[] a) . . .
// Comparable 接口本身就是一个泛型类型???实现此方法说明以对其做了约束。
//在 C++ 中不能对模板参数的类型加以限制。如果程序员用一个不适当的类型 实例化一个模板，将会在模板代码中报告一个（通常是含糊不清的）错误消息。
2.限制关键字使用extends，无论对象是类还是接口。一个类型变量或通配符可以有多个限定， 例如： T extends Comparable & Serializable 限定类型用“ &” 分隔，而逗号用来分隔类型变量。
3.在限定中，可以有多个接口，但只能有一个类，而且如果用一个类作为限定，他必须时限定列表中的第一个。
8.5 泛型代码和虚拟机
1.无论何时定义一个泛型类型，都自动提供了一个相应的原始类型（raw type)。原始类型的名字就是删去类型参数后的泛型类型名。擦除（erased) 类型变量, 并替换为限定类型（无限定的变量用 Object)。
2.java中的泛型只在程序源码中存在，当编译成字节码之后，就会变为原始类型，java实现泛型的方法是类型擦除。
3.当程序调用泛型方法时，如果擦除返回类型， 编译器插入强制类型转换。例如，下面这个语句序列
Pair<Employee> buddies = . .
Employee buddy = buddies.getFirst()；
擦除 getFirst 的返回类型后将返回 Object 类型。编译器自动插人 Employee 的强制类型转换，将返回的Object类型转换为Employee类型。当存取一个泛型域时也要插入强制类型转换。假设 Pair 类的 first 域和 second 域都是公 有的。表达式：
Employee buddy = buddies.first;
就会在结果字节码中插入强制类型转换。
4.类型擦除也会出现在泛型方法中，由此产生一些问题：在一个子类中，如果对于父类的一个函数进性了重载，则在擦除之后就会破坏重载。比如说：
class Datelnterval extends Pair<LocalDate>
{
public void setSecond(LocalDate second)
{
if (second.compareTo(getFirstO) >= 0)
super.setSecond(second);
}
}
在被擦除之后，就会变为：
class Datelnterval extends Pair
{
public void setSecond(LocalDate second)
{……}
}
而在父类中，则有一个public void setSecond(Object second)方法，原本这个方法应该作为模板方法被实例化为public void setSecond(LocalDate second)而后被子类中的同名方法所重载，但是此时由于擦除，重载被破坏了，父类的方法与子类中的这个方法变为了两个方法，public void setSecond(Object second)和public void setSecond(LocalDate second)共同出现在子类中。
因此，编译器的解决方法是在作为子类的Datelnterval类中，生成一个桥方法，即为：
public void setSecond(Object second) { setSecond((Date) second); }，这个方法使用了与父类方法在擦除之后相同的函数名，返回值，与参数列表，从而完全将父类方法覆盖，而这个桥方法的作用则是，将变量强制类型转换之后，传入子类方法，而在实际使用时，如果一个Pair的引用引用了一个Datelnterval类的变量，在接收参数时，即使调用桥函数，也会和以前一样运行。
5.假设Datelnterval类也重载了getSecond()方法，比如说：
class Datelnterval extends Pair
{
public LocalDate getSecond()
{
return (Date) super.getSecond().clone();
}
……
}
那么，在擦除之后，这个类中就会有两个函数：
public LocalDate getSecond()
public Object getSecond()/*这是一个桥方法，它将Pair类中的方法给覆盖掉了*/
由于虚拟机中，是使用参数类型和返回类型唯一确定一个方法，因此虽然在源码中无法写出如此形式，但是在最后生成的字节码中，却会出现以上这种情况。
6.这也导致了其他问题，比如说：
public class TestTheBug
{
public static void method (Pair<String> pairex) { System.out.println("Pair string pairex"); }
public static void method (Pair<Integer> pairex) { System.out.println("Pair int pairex"); }
}
这段代码表面上没有问题，但事实上是无法进行编译的，因为在进性擦除之后，这两个函数的函数头部已经完全一致了，由此造成错误。但是，如果你进行这样的修改：
public class TestTheBug
{
public static string method (Pair<String> pairex)
{
System.out.println("Pair string pairex");
return " "
}
public static int method (Pair<Integer> pairex)
{
System.out.println("Pair int pairex");
return 1;
}
}
这两个方法就可以照常运行，因为通过不同的参数列表，通过了编译器，而后又通过不同的返回值，使得虚拟机也可以区分。
7.桥方法不仅用于泛型类型。 在一个方法覆盖另一个方法时可以指定一个更严格的返回类型。例如：
public class Employee implements Cloneable
{
public Employee clone() throws CloneNotSupportedException { ...}
}
Object.clone 和 Employee.clone 方法被说成具有协变的返回类型（covariant returntypes)。 实际上，Employee 类有两个克隆方法：
Employee clone() // defined above
Object clone() // 合成的桥方法，覆盖了原本的Object.clone方法
合成的桥方法中调用了新定义的方法。
第二部分：实验部分
实验1： 导入第8章示例程序，测试程序并进行代码注释。
测试程序1：
编辑、调试、运行教材311、312页代码，结合程序运行结果理解程序；
在泛型类定义及使用代码处添加注释；
掌握泛型类的定义及使用。
程序代码如下：
PairTets1:
package pair1;
/**
* @version 1.01 2012-01-26
* @author Cay Horstmann
*/
public class PairTest1
{
public static void main(String[] args)
{
String[] words = { "Mary", "had", "a", "little", "lamb" };
Pair<String> mm = ArrayAlg.minmax(words);
System.out.println("min = " + mm.getFirst());
System.out.println("max = " + mm.getSecond());
}
}
class ArrayAlg
{
/**
* 获取字符串数组的最小值和最大值。.
* @param a an array of strings
* @return 一个具有最小值和最大值的对，如果A为空或空，则为null
*/
public static Pair<String> minmax(String[] a)
{
if (a == null || a.length == 0) return null;
String min = a[0];
String max = a[0];
for (int i = 1; i < a.length; i++)
{
if (min.compareTo(a[i]) > 0) min = a[i];
if (max.compareTo(a[i]) < 0) max = a[i];
}
return new Pair<>(min, max);
}
}
Pair:
package pair1;
/**
* @version 1.00 2004-05-10
* @author Cay Horstmann
*/
public class Pair<T> //引入类型变量T
{
private T first;
private T second;
public Pair() { first = null; second = null; }
public Pair(T first, T second) { this.first = first; this.second = second; }
public T getFirst() { return first; }
public T getSecond() { return second; }
public void setFirst(T newValue) { first = newValue; }
public void setSecond(T newValue) { second = newValue; }
}
运行结果如下：
测试程序2：
编辑、调试运行教材315页 PairTest2，结合程序运行结果理解程序；
在泛型程序设计代码处添加相关注释；
了解泛型方法、泛型变量限定的定义及用途。
程序代码如下：
PairTest2:
package pair2;
import java.time.*;
/**
* @version 1.02 2015-06-21
* @author Cay Horstmann
*/
public class PairTest2
{
public static void main(String[] args)
{
LocalDate[] birthdays =
{
LocalDate.of(1906, 12, 9), // G. Hopper
LocalDate.of(1815, 12, 10), // A. Lovelace
LocalDate.of(1903, 12, 3), // J. von Neumann
LocalDate.of(1910, 6, 22), // K. Zuse
};
Pair<LocalDate> mm = ArrayAlg.minmax(birthdays);
System.out.println("min = " + mm.getFirst());
System.out.println("max = " + mm.getSecond());
}
}
class ArrayAlg
{
/*获取T类型对象数组的最小值和最大值。
@param T类型的对象数组
@return 一个具有最小值和最大值的对，如果A为空或空，则为null
*/
public static <T extends Comparable> Pair<T> minmax(T[] a)
{
if (a == null || a.length == 0) return null;
T min = a[0];
T max = a[0];
for (int i = 1; i < a.length; i++)
{
if (min.compareTo(a[i]) > 0) min = a[i];
if (max.compareTo(a[i]) < 0) max = a[i];
}
return new Pair<>(min, max);
}
}
Pair：
package pair2;
/**
* @version 1.00 2004-05-10
* @author Cay Horstmann
*/
public class Pair<T> //定义了一个泛型类，该类引入了一个类型变量T
{
private T first;
private T second;
public Pair() { first = null; second = null; }
public Pair(T first, T second) { this.first = first; this.second = second; }
public T getFirst() { return first; }
public T getSecond() { return second; }
public void setFirst(T newValue) { first = newValue; }
public void setSecond(T newValue) { second = newValue; }
}
运行结果如下：
测试程序3：
用调试运行教材335页 PairTest3，结合程序运行结果理解程序；
了解通配符类型的定义及用途。
程序代码如下：
PairTest3:
package pair3;
/**
* @version 1.01 2012-01-26
* @author Cay Horstmann
*/
public class PairTest3
{
public static void main(String[] args)
{
var ceo = new Manager("Gus Greedy", 800000, 2003, 12, 15);
var cfo = new Manager("Sid Sneaky", 600000, 2003, 12, 15);
var buddies = new Pair<Manager>(ceo, cfo);
printBuddies(buddies);
ceo.setBonus(1000000);
cfo.setBonus(500000);
Manager[] managers = { ceo, cfo };
var result = new Pair<Employee>();
minmaxBonus(managers, result);
System.out.println("first: " + result.getFirst().getName()
+ ", second: " + result.getSecond().getName());
maxminBonus(managers, result);
System.out.println("first: " + result.getFirst().getName()
+ ", second: " + result.getSecond().getName());
}
public static void printBuddies(Pair<? extends Employee> p)
{
Employee first = p.getFirst();
Employee second = p.getSecond();
System.out.println(first.getName() + " and " + second.getName() + " are buddies.");
}
public static void minmaxBonus(Manager[] a, Pair<? super Manager> result)
{
if (a.length == 0) return;
Manager min = a[0];
Manager max = a[0];
for (int i = 1; i < a.length; i++)
{
if (min.getBonus() > a[i].getBonus()) min = a[i];
if (max.getBonus() < a[i].getBonus()) max = a[i];
}
result.setFirst(min);
result.setSecond(max);
}
public static void maxminBonus(Manager[] a, Pair<? super Manager> result)
{
minmaxBonus(a, result);
PairAlg.swapHelper(result); // OK--swapHelper captures wildcard type
}
// can't write public static <T super manager> . . .
}
class PairAlg
{
public static boolean hasNulls(Pair<?> p)
{
return p.getFirst() == null || p.getSecond() == null;
}
public static void swap(Pair<?> p) { swapHelper(p); }
public static <T> void swapHelper(Pair<T> p)
{
T t = p.getFirst();
p.setFirst(p.getSecond());
p.setSecond(t);
}
}
Pair:
package pair3;
/**
* @version 1.00 2004-05-10
* @author Cay Horstmann
*/
public class Pair<T>
{
private T first;
private T second;
public Pair() { first = null; second = null; }
public Pair(T first, T second) { this.first = first; this.second = second; }
public T getFirst() { return first; }
public T getSecond() { return second; }
public void setFirst(T newValue) { first = newValue; }
public void setSecond(T newValue) { second = newValue; }
}
Employee:
package pair3;
import java.time.*;
public class Employee
{
private String name;
private double salary;
private LocalDate hireDay;
public Employee(String name, double salary, int year, int month, int day)
{
this.name = name;
this.salary = salary;
hireDay = LocalDate.of(year, month, day);
}
public String getName()
{
return name;
}
public double getSalary()
{
return salary;
}
public LocalDate getHireDay()
{
return hireDay;
}
public void raiseSalary(double byPercent)
{
double raise = salary * byPercent / 100;
salary += raise;
}
}
Manager:
package pair3;
public class Manager extends Employee
{
private double bonus;
/**
@param name the employee's name
@param salary the salary
@param year the hire year
@param month the hire month
@param day the hire day
*/
public Manager(String name, double salary, int year, int month, int day)
{
super(name, salary, year, month, day);
bonus = 0;
}
public double getSalary()
{
double baseSalary = super.getSalary();
return baseSalary + bonus;
}
public void setBonus(double b)
{
bonus = b;
}
public double getBonus()
{
return bonus;
}
}
运行结果如下：
实验2：结对编程练习
（1） 编写一个泛型接口GeneralStack，要求类中方法对任何引用类型数据都适用。GeneralStack接口中方法如下：
push(item); //如item为null，则不入栈直接返回null。
pop(); //出栈，如为栈为空，则返回null。
peek(); //获得栈顶元素，如为空，则返回null.
public boolean empty();//如为空返回true
public int size(); //返回栈中元素数量
（2）定义GeneralStack的子类ArrayListGeneralStack，要求：
ü 类内使用ArrayList对象存储堆栈数据，名为list；
ü 方法: public String toString()//代码为return list.toString();
ü 代码中不要出现类型不安全的强制转换。
（3）定义Car类，类的属性有：
private int id;
private String name;
方法：Eclipse自动生成setter/getter,toString方法。
（4）main方法要求
ü 输入选项，有quit, Integer, Double, Car 4个选项。如果输入quit，程序直接退出。否则，输入整数m与n。m代表入栈个数，n代表出栈个数。然后声明栈变量stack。
ü 输入Integer，打印Integer Test。建立可以存放Integer类型的ArrayListGeneralStack。入栈m次，出栈n次。打印栈的toString方法。最后将栈中剩余元素出栈并累加输出。
ü 输入Double ，打印Double Test。剩下的与输入Integer一样。
ü 输入Car，打印Car Test。其他操作与Integer、Double基本一样。只不过最后将栈中元素出栈，并将其name依次输出。
特别注意：如果栈为空，继续出栈，返回null
输入样例
Integer
5
2
1 2 3 4 5
Double
5
3
1.1 2.0 4.9 5.7 7.2
Car
3
2
1 Ford
2 Cherry
3 BYD
quit
输出样例
Integer Test
push:1
push:2
push:3
push:4
push:5
pop:5
pop:4
[1, 2, 3]
sum=6
interface GeneralStack
Double Test
push:1.1
push:2.0
push:4.9
push:5.7
push:7.2
pop:7.2
pop:5.7
pop:4.9
[1.1, 2.0]
sum=3.1
interface GeneralStack
Car Test
push:Car [id=1, name=Ford]
push:Car [id=2, name=Cherry]
push:Car [id=3, name=BYD]
pop:Car [id=3, name=BYD]
pop:Car [id=2, name=Cherry]
[Car [id=1, name=Ford]]
Ford
interface GeneralStack
程序代码如下：
package cyz2;
import java.util.ArrayList;
import java.util.Scanner;
interface GeneralStack<T>{
public T push(T item); //如item为null，则不入栈直接返回null。
public T pop(); //出栈，如为栈为空，则返回null。
public T peek(); //获得栈顶元素，如为空，则返回null.
public boolean empty();//如为空返回true
public int size(); //返回栈中元素数量
}
//定义GeneralStack的子类ArrayListGeneralStack
class ArrayListGeneralStack implements GeneralStack{
ArrayList list=new ArrayList();
@Override
public String toString() {
return list.toString();
}
@Override
public Object pop() {
if (list.size()==0){
return null;
}
return list.remove(list.size()-1);
}
@Override
public Object push(Object item) {
if (list.add(item)){
return item;
}else {
return false;
}
}
@Override
public Object peek() {
return list.get(list.size()-1);
}
@Override
public boolean empty() {
if (list.size()==0){
return true;
}else {
return false;
}
}
@Override
public int size() {
return list.size();
}
}
//定义Car类
class Car{
private int id;
private String name;
@Override
public String toString() {
return "Car [" +
"id=" + id +
", name=" + name +
']';
}
public int getId() {
return id;
}
public void setId(int id) {
this.id = id;
}
public String getName() {
return name;
}
public void setName(String name) {
this.name = name;
}
public Car(int id, String name) {
this.id = id;
this.name = name;
}
}
public class Main {
public static void main(String[] args) {
Scanner sc=new Scanner(System.in);
while (true){
String s=sc.nextLine();
if (s.equals("Double")){
System.out.println("Double Test");
int count=sc.nextInt();
int pop_time=sc.nextInt();
ArrayListGeneralStack arrayListGeneralStack = new ArrayListGeneralStack();//建立可以存放Double类型的ArrayListGeneralStack
for (int i=0;i<count;i++){
System.out.println("push:"+arrayListGeneralStack.push(sc.nextDouble()));
}
for (int i=0;i<pop_time;i++){
System.out.println("pop:"+arrayListGeneralStack.pop());
}
System.out.println(arrayListGeneralStack.toString());
double sum=0;
int size=arrayListGeneralStack.size();
for (int i=0;i<size;i++){
sum+=(double)arrayListGeneralStack.pop();
}
System.out.println("sum="+sum);
System.out.println("interface GeneralStack");
}
else if (s.equals("Integer")){
System.out.println("Integer Test");
int count=sc.nextInt();
int pop_time=sc.nextInt();
ArrayListGeneralStack arrayListGeneralStack = new ArrayListGeneralStack();//建立可以存放Integer类型的ArrayListGeneralStack
for (int i=0;i<count;i++){
System.out.println("push:"+arrayListGeneralStack.push(sc.nextInt()));
}
for (int i=0;i<pop_time;i++){
System.out.println("pop:"+arrayListGeneralStack.pop());
}
System.out.println(arrayListGeneralStack.toString());
int sum=0;
int size=arrayListGeneralStack.size();
for (int i=0;i<size;i++){
sum+=(int)arrayListGeneralStack.pop();
}
System.out.println("sum="+sum);
System.out.println("interface GeneralStack");
}
else if (s.equals("Car")){
System.out.println("Car Test");
int count=sc.nextInt();
int pop_time=sc.nextInt();
ArrayListGeneralStack arrayListGeneralStack = new ArrayListGeneralStack();//创建可以存放Car类型的ArrayListGeneralStack
for (int i=0;i<count;i++){
int id=sc.nextInt();
String name=sc.next();
Car car = new Car(id,name);
System.out.println("push:"+arrayListGeneralStack.push(car));
}
for (int i=0;i<pop_time;i++){
System.out.println("pop:"+arrayListGeneralStack.pop());
}
System.out.println(arrayListGeneralStack.toString());
if (arrayListGeneralStack.size()>0){
int size=arrayListGeneralStack.size();
for (int i=0;i<size;i++){
Car car=(Car) arrayListGeneralStack.pop();
System.out.println(car.getName());
}
}
System.out.println("interface GeneralStack");
}
else if (s.equals("quit")){
break;
}
}
}
}
运行结果如下：
第三部分：学习总结
在本章的学习中，了解到泛型的核心是重用和解决一些多态无法解决的问题，泛型的表达意识很强，所以有很好的可读性。
在实验练习中前面的验证实验进行的还算顺利，但后面的组队编程练习完成的比较困难，有很多的知识点都不太理解，希望在
后续的学习中可以有所进步，争取学好Java这门课程。