forked from JavaTX/JavaCompilerCore
26 lines
435 B
TeX
26 lines
435 B
TeX
|
\documentclass{article}
|
||
|
|
|
||
|
|
\begin{document}
|
||
|
|
|
||
|
|
\section{Generics sind notwendig}
|
||
|
|
Generics können nicht ignoriert werden.
|
||
|
|
Folgender Fall ist Typisierbar:
|
||
|
|
|
||
|
|
\begin{program}
|
||
|
|
<T> T m1(T x){
|
||
|
|
return m2(x);
|
||
|
|
}
|
||
|
|
|
||
|
|
m2(x){
|
||
|
|
m1(1);
|
||
|
|
m2("Test");
|
||
|
|
return m1(x);
|
||
|
|
}
|
||
|
|
\end{program}
|
||
|
|
|
||
|
|
Beim weglassen des Generics T wäre es aber nicht mehr möglich.
|
||
|
|
Dann erhält jeder Constraint, welcher in Verbindung mit der Methode m1 steht
|
||
|
|
den selben TPH.
|
||
|
|
|
||
|
|
\end{document}
|