Oggetti

Un oggetto contiene: campi (variabili), costruttore, metodi.

class Point {
  int x;
  int y;
  Point (int x1, int y1) {
    x = x1;
    y = y1;
  }
  int distanceToOrigin() {
    return sqrt(x * x + y * y);
  }
}

class Line {
  Point pt1;
  Point pt2;
  Line (Point p, Point q) {
    pt1 = p;
    pt2 = q;
  }
}

Accesso

Object.field

class Line {
  ...
  Line (Point p, Point q) {
    if ((p.x == q.x) && (p.y == q.y)) {
      System.exit(0);
    }
    pt1 = p;
    pt2 = q;
  }
  ...
}

Meglio cosí

class Point {
  ...
  boolean equals (Point pt) {
    return ((x == pt.x) && (y == pt.y));
  }
  ...
}

class Line {
  ... 
  Line (Point p, Point q) {
    if (p.equals(q))
      System.exit(0);
    pt1 = p;
    pt2 = q;
  }
  ....
}

Campo statico

Un campo statico è un campo che è condiviso da tutti gli oggetti. Esempio: per i nostri punti, definiamo un fattore d'ingrandimento.

class Point {
  int x;
  int y;
  static int scaling = 1;
  Point (int x1, int y1) {
    x = x1;
    y = y1;
  }
  int relativeX() {
    return x * scaling;
  }
  int relativeY() {
    return y * scaling;
  }
}

Point pt = new Point(3, 4);
pt.scaling = 5;

equivalente a

Point.scaling = 5;

Dopo

Point pt1 = new Point(3, 4), pt2 = new Point(4, 5);
int x1 = pt1.relativeX();
pt1.scaling = 2;
int x2 = pt1.relativeX();
int x3 = pt2.relativeX();

x1 vale 3, x2 vale 6, x3 vale 8.

Metodi

Un metodo ha un numero fisso di parametri e ritorna sempre qualcosa.

int distanceToOrigin() {
  return sqrt(x * x + y * y);
}

boolean equals(Point pt) {
  return x == pt.x & y == pt.y;
}

void setX(int x1) {
  x = x1;
  return;
}

Variabili locali

Le variabili locali non hanno valore di default.

Errore:

int method () {
  int bar;
  bar += 1;
  ...
}

Errore:

int method () {
  int bar;
  if (cond) {
    bar = 1;
  }
  bar += 1;
  ....
}

Le variabili locali hanno precedenza sui campi.

class Obj {
  int x;
  int method () {
    int x;
    x = 1;
    ...
  }
}

this

this rappresenta l'oggetto.

class Obj {
  int x;
  int method () {
    int x;
    this.x = 1;
    ...
  }
}

Metodi statici

class Point {
  int x, y;
  static int scaling = 1;
  static int getScaling() {
    return scaling;
  }
}

Point pt = new Point(3, 4);
int s = pt.getScaling();

int s = Point.getScaling();

Sovraccaricarimento (Overloading)

Avere un metodo la cui esecuzione dipende dai tipi dei parametri

class Print {
  static String toStringPt(Point pt) {
    return "(" + pt.x + ", " + pt.y + ")";
  }
  static String toStringLine(Line l) {
    return "[" + toStringPt(l.pt1) + ";" + toStringPt(l.pt2) + "]";
  }
}

class Print {
  static String toString(Point pt) {
    return "(" + pt.x + ", " + pt.y + ")";
  }
  static String toString(Line l) {
    return "[" + toString(l.pt1) + ";" + toString(l.pt2) + "]";
  }
}

Creazione

class Point {
  int x;
  int y;
  Point (int x1, int y1) {
    x = x1;
    y = y1;
  }
}

Point pt = new Point(3, 4);

Overloading

class Point {
  int x;
  int y;
  Point (int x1, int y1) {
    x = x1;
    y = y1;
  }
  Point () {
    x = 0;
    y = 0;
  }
  Point (int x) {
    this.x = x;
    y = x;
  }
}

Point pt1 = new Foo();
Point pt2 = new Foo(1);

This

class Point {
  int x, y;
  Point (int x1, int y1) {
    x = x1;
    y = y1;
  }
  Point () {
    this(0, 0);
  }
  Point (int x) {
    this(x, x);
  }
}

this(...) deve essere la prima istruzione.

Default

Valore di default per i campi.

per boolean è false

per int è 0

per char è \0

per oggetto è null

Costruttore di default:

class Point {
  ...
  Point () {
  }
  ...
}

Inizializzazione

class Obj {
  int[] i = new int[2];
  { 
    i[0] = 2;
    i[1] = 4;
  }
}

class Obj {
  static int[] i = new int[2];
  static { 
    i[0] = 2;
    i[1] = 4;
  }
}

Esercizi

C1. Scrivere per la class Line un metodo parallel tale che l1.parallel(l2) ritorna true se le due linee l1 e l2 sono parallele.

C2. Scrivere per Point e Line un metodo equals tale che
pt1.equals(pt2) ritorna true se i due punti coincidono,
l1.equals(l2) ritorna true se le due linee coincidono.

C3. Scrivere una class Prime che ha un metodo statico isPrime. Questo metodo prende un numero intero n e ritorna true se n è un numero primo. L'implementazione di isPrime deve usare la tecnica descritta nell'esercizio B5. Per questo, la class Prime ha un campo statico primes che contiene i primi p numeri primi, con p arbitrario. Primo, il metodo isPrime deve assicurarsi che il campo statico primes sia sufficientemente grande per decidere se n è primo. Secondo, il metodo deve utilizzare il campo primes per verificare se un elemento di primes divide n.

C4*. Scrivere una classe Matrix che rappresenta le matrici di numeri interi. Tale classe ha:

un costruttore che prende due interi e crea una matrice con la dimensione specificata;
un metodo getHeight che restituisce il numero delle righe;
un metodo getWidth che restituisce il numero delle colonne;
un metodo getVal che prende due interi i e j e restituisce l'elemento a_{i, j};
un metodo setVal che prende tre interi i, j e v e assegna il valore v all'elemento a_{i, j};
un metodo plus che fa la somma di due matrici;
un metodo mult che fa il prodotto di due matrici.

Laurent Théry

Last modified: Fri Jan 23 00:54:52 MET 2004