\begin{slide}{Konstanten}

$=$ Variablen, an die genau einmal zugewiesen wird


\begin{itemize}
\item
  C: const  (ist Attribut für Typ)
\item
  Java: final  (ist Attribut für Variable)
\end{itemize}

Vorsicht: 
\begin{verbatim}
class C { int foo; }
static void g (final C x) { x.foo ++; }
\end{verbatim}

\bigskip

Merksatz: alle Deklarationen 
so lokal und so konstant wie möglich!

(D. h. Attribute \emph{immutable} usw.)

\end{slide}
%%% Local Variables: 
%%% mode: latex
%%% TeX-master: t
%%% End: 
