void fl(int x) { System.out.printlnC'fKint)"); }

void fKlong x) { System.out.printlnC'f 1(long)"); }

void fKfloat x) { System.out.println("fl(float)"); }

void f 1(double x) { System.out printlnC'fKdouble)"); }

void f2(char x) { System.out.println("f2(char)"); } void f2(byte x) { System.out.println("f2(byte)"); } void f2(short x) { System.out.println("f2(short)"). } void f2(int x) { System.out println("f2(int)"): } void f2(long x) ♦{ System.out.println("f2( 1 ong)"); }

void f2(float x) { System.out.println("f2(float)"); } продолжение &

124 Глава 5 • Инициализация и завершение

System out println("f3(char)"), System out.pri nt1n("f3(byte)"); { System.out.pri ntln("f3(short)") System out.println("f3(int)"), } System.out.pri nt1n("f3(1ong)");

System.out.println("f4(char)"); System.out.println("f4(byte)^>M). { System.out println("f4(short)") System.out.println("f4(int)"); }

System.out println("f5(char)"); System out println("f5(byte)"); { System.out.pri ntln("f5(short)")

System out.pri nt1n("f6(char)"). System.out.pri ntln("f6(byte)"),

void f3(char х) void f3(byte х) void f3(short x) void f3(int x) { void f3(long x)

void f4(char x) void f4(byte x) void f4(short x) void f4(int x) {

void f5(char x) void f5(byte x) void f5(short x)

void f6(char x) void f6(byte x)

void f7(char x)

void testDouble(

System.out.println("f7(char)"), }

{

double x = 0;

System.out printlnC'napaMeip типа double:"); fl(x);f2((float)x);f3((long)x).f4((int)x), f5((short)x);f6((byte)x);f7((char)x);

}

public static void main(String[] args) { Demotion p = new DemotionO; p.testDoubleO; monitor.expect(new StringC] {

"параметр типа double: "fl(double)", "f2(float)", "f3(long)", "f4(int)\ "f5(short)", "f6(byte)", "f7(char)^>M

} ///:-

Здесь методы требуют сужения типов данных. Если ваш аргумент «шире», необходимо явно привести его к нужному типу. В противном случае компилятор выведет сообщение об ошибке.

Перегрузка по возвращаемым значениям

Вполне логично спросить, почему при перегрузке используются только имена классов и списки аргументов? Почему не идентифицировать методы по их возвращаемым значениям? Следующие два метода имеют одинаковые имена и аргументы, но их легко отличить друг от друга:

void f() {} int f() {}

Такой подход прекрасно сработает в ситуации, в которой компилятор может однозначно выбрать нужную версию метода, например: int х = f(). Однако возвращаемое значение при вызове метода может быть проигнорировано; это часто называется вызовом метода для получения побочного эффекта, так как метод вызывается не для естественного результата, а для каких-то других целей. Допустим, метод вызывается следующим способом:

f():

Как здесь Java определит, какая из версий метода f() должна выполняться? И поймет ли читатель программы, что происходит при этом вызове? Именно из-за подобных проблем перегруженные методы не разрешается различать по возвращаемым значениям.

Конструкторы по умолчанию

Как упоминалось ранее, конструктором по умолчанию называется конструктор без аргументов, применяемый для создания «типового» объекта. Если созданный вами класс не имеет конструктора, компилятор автоматически добавит конструктор по умолчанию. Например: