Программирование на JAVA

public void process(int х, final double у) { x=x*x+Math.sqrt(x);

// y=Math.sin(x); - так писать нельзя, т.к. у - final!

}

О том, как происходит изменение значений аргументов метода, рас­сказано в конце этой лекции.

Важным понятием является сигнатура (signature) метода. Сигнатура определяется именем метода и его аргументами (количеством, типом, по­рядком следования). Если для полей запрещается совпадение имен, то Для методов в классе запрещено создание двух методов с одинаковыми сигнатурами.

Например,

class Point { void get(){} void get(int x) {} void get(int x, double y) {} void get(double x, int y) {}

}

Такой класс объявлен корректно. Следующие пары методов в одном классе друг с другом несовместимы:

void get() {} int get(){}

void get(intx) {} void get(inty) {}

public intget() {} private int get() {}

В первом случае методы отличаются типом возвращаемого значения, которое, однако, не входит в определение сигнатуры. Стало быть, это два метода с одинаковыми сигнатурами и они не могут одновременно^ по­явиться в объявлении тела класса. Можно составить пример, который со­здал бы неразрешимую проблему для компилятора, если бы был допустим:

// пример вызовет ошибку компиляции class Test { int get(){ return 5;

}

Point get() {

return new Point(3,5);

}

void print(intx) {

System.out.println("it's int! "+x);

}

void print(Point p) {

System.out.printlnfit's Point! "+p.x+", "+p.y);

}

public static void main (String s[]) { Testt = newTest(); t.print(t.get()); // Двусмысленность!

}

}

В классе определена запрещенная пара методов get() с одинаковыми сигнатурами и различными возвращаемыми значениями. Обратимся к выделенной строке в методе main, где возникает конфликтная ситуация, с которой компилятор не может справиться. Определены два метода print() (у них разные аргументы, а значит, и сигнатуры, то есть это допус­тимые методы), и чтобы разобраться, какой из них будет вызван, нужно знать точный тип возвращаемого значения метода get(), что невозможно.

На основе этого примера можно понять, как составлено понятие сигнатуры. Действительно, при вызове указывается имя метода и пере­числяются его аргументы, причем компилятор всегда может определить их тип. Как раз эти понятия и составляют сигнатуру, и требование ее уни­кальности позволяет компилятору всегда однозначно определить, какой метод будет вызван.