[C++] Esercizi su passaggio di valori funzioni, correttezza

[Jon Irenicus]

Domande molto banali ma ho appena iniziato.
Avreste mica da consigliarmi qualche sito o libro (free e scaricabile) con:

1) esercizi risolti e spiegati tipo questi:

int *f(int *X)
{
  *x=5;
  return X;
}
main()
{
  int y=1;
  *f(&y)=25
  cout<<y<<endl;

E dire che stampa (in sto caso 25).
Magari con funzioni errate (magari a causa del tipo o dalla presenza di dangling pointers).

O anche tipo:

int k=5, *z=&k;
*f(&z)=k+5;
cout<<*z<<endl;

E trovare una f che produca la stampa di 10.

2)Senza relazione alla domanda 1:
materiale su invarianti, pre e post condizioni, dimostrazioni di correttezza.

Spero che non siano domande inappropriate per la sezione.
Grazie.

[__ZERO_UNO__]

1. Thinking in C++. Gratuito e scaricabile di ottimo livello penso.
2. Introduzione agli Algoritmi e Strutture Dati - Cormen e altri autori. A pagamento.

[Jon Irenicus]

Grazie mille, al più tardi stasera ci darò un'occhiata al primo!

Spero abbia anche aritmetica dei puntatori e subscripting (con array a più dimensioni, puntatori a puntatori ecc), ieri mi ero dimenticato di metterlo come punto 3.

PS: effettivamente nel titolo avrei dovuto mettere passaggio di parametri più che di valori, cmq si capisce.