16 lines
434 B
Java
16 lines
434 B
Java
|
//: generics/ClassCasting.java
|
||
|
|
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<Widget>.class.cast(in.readObject());
|
||
|
|
List<Widget> lw2 = List.class.cast(in.readObject());
|
||
|
|
}
|
||
|
|
} ///:~
|