2015-09-07 11:44:36 -06:00
|
|
|
// generics/ClassCasting.java
|
2020-10-07 13:35:40 -06:00
|
|
|
// (c)2020 MindView LLC: see Copyright.txt
|
2015-11-15 15:51:35 -08:00
|
|
|
// We make no guarantees that this code is fit for any purpose.
|
2016-09-23 13:23:35 -06:00
|
|
|
// Visit http://OnJava8.com for more book information.
|
2015-06-15 17:47:35 -07:00
|
|
|
import java.io.*;
|
|
|
|
import java.util.*;
|
|
|
|
|
|
|
|
public class ClassCasting {
|
|
|
|
@SuppressWarnings("unchecked")
|
|
|
|
public void f(String[] args) throws Exception {
|
|
|
|
ObjectInputStream in = new ObjectInputStream(
|
|
|
|
new FileInputStream(args[0]));
|
|
|
|
// Won't Compile:
|
|
|
|
// List<Widget> lw1 =
|
|
|
|
// List<>.class.cast(in.readObject());
|
|
|
|
List<Widget> lw2 = List.class.cast(in.readObject());
|
|
|
|
}
|
2015-09-07 11:44:36 -06:00
|
|
|
}
|