Ошибки начинающих java-программистов 1. Имя класса отличается от имени файла, в котором он хранится.
Quote |
Все используемые мною среды java, включая Javasoft JDKs, предполагают, что исходный код класса с модификатором public хранится в файле с точно таким же именем, как и имя класса, и расширением .java. Несоблюдение этого соглашения может стать причиной многих проблем, которые выявятся во время компиляции. Начинающие студенты (программисты) часто забывают об этом соглашении, и, например, задают имя файла в соответствии с заданием: Lab6.java. |
Code |
Ошибочный пример: Имя файла Lab6.java - public class Airplane extends Vehicle Seat pilot; public Airplane() { pilot = new Seat(); } } [code]Исправленный пример: Имя файла Airplane.java - public class Airplane extends Vehicle Seat pilot; public Airplane() { pilot = new Seat(); } } |
Заметьте: предполагается, что имя класса начинается с заглавной буквы. В
операционных системах, которые учитывают регистр символов в именах файлов,
могут появиться дополнительные проблемы, особенно у студентов, изучающих
Java под Unix, и привыкших к системе именования файлов в DOS. Класс
MotorVehicle должен храниться в файле MotorVehicle.java, но не в файле
motorvehicle.java.
2. Сравнение с помощью ==
Quote |
В Java строки - это объекты класса java.lang.String. Оператор ==, применяемый к объектам, проверяет на равенство ссылки на объекты! Иногда студенты не понимают семантики оператора == и пытаются применить его для сравнения строк. |
Code |
Ошибочный пример: // проверим, равен ли первый аргумент "-a" if (args[0] == "-a") { optionsAll = true; } |
[/code] Правильный способ сравнения 2х строк на равенство - это использование метода
equals() класса java.lang.String. Он возвращает true, если строки одинаковой
длины и состоят из одних и тех же символов. (Прим. перев.: вообще-то это не
гарантирует равенство. На самом деле, equals проверяет, равны ли посимвольно
2 строки)
Code |
Исправленный пример: // проверим, равен ли первый аргумент "-a" if ("-a".equals(args[0])) { optionsAll = true; } |
Эта ошибка - дурацкая, потому что на самом деле Java код получается
синтаксически правильным, а в итоге работает не так как нужно. Некоторые
студенты также пытаются применять операторы сравнения > и <=, вместо метода compareTo() класса java.lang.String. Эту ошибку обнаружить
проще, потому что она вызывает ошибки на этапе компиляции.
3. Забыл проинициализировать объекты, являющиеся элементами массива.
Quote |
В Java массив объектов - это на самом деле массив ссылок на объекты. Создание массива - это просто создание набора ссылок, ни на что не указывающих (то есть равных null). Чтобы на самом деле создать "полноценный" массив объектов, необходимо проинициализировать каждый элемент массива. Многие студенты не понимают этого; они считают, что, создавая массив объектов, они автоматически создают сами объекты. (В большинстве случаев, студенты приносят эту концепцию из C++, где создание массива объектов приводит к созданию самих объектов путем вызова их конструктора по умолчанию). |
В примере ниже, студент хочет создать 3 объекта класса StringBuffer. Код
будет откомпилирован без ошибок, но в последней строке произойдет
исключение NullPointerException, где происходит обращение к несуществующему
объекту.
Quote |
Ошибочный пример: // Создаем массив из StringBuffer StringBuffer [] myTempBuffers; myTempBuffers = new StringBuffer[3]; myTempBuffers[0].add(data); |
Чтобы не допускать эту ошибку, необходимо не забывать проинициализировать
элементы массива.
Code |
Исправленный пример: // Создаем массив из StringBuffer и инициализируем элементы StringBuffer [] myTempBuffers; myTempBuffers = new StringBuffer[3]; for (int ix = 0; ix < myTempBuffers.length; ix++) myTempBuffers[ix] = new StringBuffer(); myTempBuffers[0].add(data); |
4. Помещение в один файл сразу нескольких классов с модификатором public
Файлы с исходным java-кодом определенным образом связаны с классами,
содержащимися в этих файлах. Связь можно охарактеризовать так:
Любой Java-класс хранится не более чем в одном файле
В любой файл с исходным кодом можно поместить не более 1-го класса с
модификатором public
Если в файле с исходным кодом есть класс с модификатором public, имя
файла и имя класса должны быть строго одинаковыми (прим. перев.: до
регистра, см. п.1)
Иногда студенты забывают о 2-ом правиле, что приводит к ошибкам на этапе
компиляции. Сообщение об ошибке для 2-го и 3-го правила будет одинаковым
(в чем собственно и заключается трудность распознания этой ошибки).
5. Подмена поля класса локальной переменной.
Quote |
Java позволяет объявлять внутри метода переменные, чье имя совпадает с полями класса. В таком случае преимущество будет отдано локальным переменным, и они будут использоваться вместо полей. |
Quote |
Компилятор выдаст ошибку, если переменные с одинаковыми именами будут разных типов. Если же они одинаковых типов, ошибки компиляции не будет, и будут непонятны причины неправильной работы программы. |
Code |
Ошибочный пример: public class Point3 { int i = 0; int j = 0; int k = 0; public boolean hits(Point[] p2list) { for(int i = 0; i < p2list.length; i++) { Point p2 = p2list[i]; if (p2.x == i && p2.y == j) return true; } return false; } } |
Есть несколько способов, как исправить эту ошибку. Наиболее простой -
обращаться к полям класса с помощью неявного указателя this: this.имя_поля.
Более лучший способ - это переименовать поле класса или локальную
переменную, тогда подмены не произойдет. (прим. перев.: 2-ой способ - не
наш метод. К тому же он не гарантирует, что я когда нибудь случайно не
подменю поле переменной. Еще большая трудность возникнет при
наследовании, когда я вообще не вижу, какие поля есть у класса)
Исправленный пример:
Code |
// One way to fix the problem int i = 0; int j = 0; int k = 0; public boolean hits(Point[] p2list) { for(int i = 0; i < p2list.length; i++) { Point p2 = p2list[i]; if (p2.x == this.i && p2.y == this.j) return true; } return false; } // ***************************** // Более лучший способ int x = 0; int y = 0; int z = 0; public boolean hits(Point[] p2list) { for(int i = 0; i < p2list.length; i++) { Point p2 = p2list[i]; if (p2.x == x && p2.y == y) return true; } return false; } |
Еще одно возможное место появления этой ошибки - задание имени параметра
метода таким же, как и имя поля класса. Это хорошо выглядит в конструкторах,
но для обычных методов не подходит.
прим. перев.
Code |
немного сумбурно, но смысл такой public class Test { private int param = 0; public Test(int param) { this.param = param; } } |
то есть в конструкторе все смотрится красиво, но для обычных методов
применять это не следует.
6. Забыл вызвать конструктор родителя (суперкласса).
Quote |
Когда класс расширяет другой класс, каждый конструктор подкласса должен вызвать какой-либо конструктор суперкласса. Обычно это достигается вызовом конструктора суперкласса методом super(x), помещенным в первой строке конструктора. Если в первой строке конвтруктора нет вызова super(x), компилятор самостоятельно вставляет этот вызов, но без параметров: super(). (прим. перев.: х...се, а я и не знал |
) Иногда студенты забывают об этом требовании. Обычно это не является
проблемой: вызов конструктора суперкласса вставляется компилятором и все
работает отлично. Однако если у суперкласса нет конструктора по умолчанию
(прим. перев.: то есть конструктора без параметров), то компилятор выдаст
ошибку. В примере ниже все конструкторы суперкласса java.io.File имеют
1 или 2 параметра:
Code |
Ошибочный пример: public class JavaClassFile extends File { String classname; public JavaClassFile(String cl) { classname = cl; } } |
Решением проблемы является вставка явного вызова правильного
конструктора суперкласса:
Code |
Исправленный пример: public class JavaClassFile extends File { String classname; public JavaClassFile(String cl) { super(cl + ".class"); classname = cl; } } |
Более неприятная ситуация возникает, когда у суперкласса есть конструктор
по умолчанию, но он не полностью инициализирует объект. В таком случае
код скомпилируется, но результат работы программы может быть
неправильным или может возникнуть исключение.
7. Неправильный перехват исключений
Quote |
Система обработки исключений в Java достаточно мощная, но трудная для понимания новичками. Студенты, хорошо владеющие C++ или Ada, обычно не испытывают сложностей, в отличие от программистов C и Fortran. Примеры ниже показывают некоторые распространенные ошибки. В данном примере для исключения не указано имя. На эту ошибку укажет компилятор на этапе компиляции, так что ее легко исправить самостоятельно. |
Ошибочный пример:
Code |
try { stream1 = new FileInputStream("data.txt"); } catch (IOException) { message("Could not open data.txt"); } |
Code |
Исправленный пример: try { stream1 = new FileInputStream("data.txt"); } catch (IOException ie) { message("Could not open data.txt: " + ie); } |
Порядок расположения блоков catch определяет очередность перехвата
исключений. Нужно учитывать, что каждый такой блок перехватит все
исключения указанного класса или любого его подкласса. Если не учесть
это, то можно получить недостижимый блок catch, на что укажет компилятор.
В примере ниже SocketException является подклассом IOException.
Quote |
Ошибочный пример: try { serviceSocket.setSoTimeout(1000); newsock = serviceSocket.accept(); } catch (IOException ie) { message("Error accepting connection."); } catch (SocketException se) { message("Error setting time-out."); } |
Code |
Исправленный пример: try { serviceSocket.setSoTimeout(1000); newsock = serviceSocket.accept(); } catch (SocketException se) { message("Error setting time-out."); } catch (IOException ie) { message("Error accepting connection."); } |
Quote |
Если в коде возможно появление исключения, которое не перехватавается ни одним блоком try-catch, то это исключение следует объявить в заголовке метода. (Для исключений - подклассов класса RuntimeException это не обязательно). Студенты иногда забывают о том, что вызов метода может порождать исключение. Проще всего это исправить, помещая вызов метода в блок try-catch. |
Code |
Ошибочный пример: public void waitFor(int sec) { Thread.sleep(sec * 1000); } |
Code |
Исправленный пример: public void waitFor(int sec) throws InterruptedException { Thread.sleep(sec * 1000); } |
8. Метод доступа имеет тип void
Это очень простая ошибка. Студент создает метод для доступа к переменной,
но указывает, что метод ничего не возвращает (помещает модификатор void
в загогловок метода). Чтобы исправить эту ошибку, нужно указать правильный
тип возвращаемого значения.
Code |
Ошибочный пример: public class Line { private Point start, end; public void getStart() { return start; } } |
Code |
Исправленный пример: public class Line { private Point start, end; public Point getStart() { return start; } } |
Указание неправильного возвращаемого типа порождает целый класс
ошибок. Обычно компилятор распознает эти ошибки и сообщает о них,
так что студенты могут самостоятельно их исправить.
9. Вызов нестатичных методов класса из метода main()
Входной точкой любой Java программы должен быть статичный метод main:
public static void main(String[] args) {
...
}
Так как этот метод статичный, нельзя из него вызывать нестатичные
методы класса. Об этом часто забывают студенты и пытаются вызывать
методы, не создавая экземпляр класса. Эту ошибку обычно допускают в
самом начале обучения, когда студенты пишут маленькие программы.Ошибочный пример:
Code |
public class DivTest { boolean divisible(int x, int y) { return (x % y == 0); } public static void main(String[] args) { int v1 = 14; int v2 = 9; // на следующие строки компилятор выдаст ошибку if (divisible(v1, v2)) { System.out.println(v1 + " is a multiple of " + v2); } else { System.out.println(v2 + " does not divide " + v1); } } } |
Quote |
Есть 2 способа исправления ошибки: сделать нужный метод статичным или создать экземпляр класса. Чтобы правильно выбрать нужный способ, задайте себе вопрос: использует ли метод поля или другие методы класса. Если да, то следует создать экземпляр класса и вызвать у него метод, иначе следует сделать метод статичным. |
Code |
Исправленный пример 1: public class DivTest { int modulus; public DivTest(int m) { modulus = m; } boolean divisible(int x) { return (x % modulus == 0); } public static void main(String[] args) { int v1 = 14; int v2 = 9; DivTest tester = new DivTest(v2); if (tester.divisible(v1) { System.out.println(v1 + " is a multiple of " + v2); } else { System.out.println(v2 + " does not divide " + v1); } } } |
Code |
Исправленный пример 2: public class DivTest { static boolean divisible(int x, int y) { return (x % y == 0); } public static void main(String[] args) { int v1 = 14; int v2 = 9; if (divisible(v1, v2)) { System.out.println(v1 + " is a multiple of " + v2); } else { System.out.println(v2 + " does not divide " + v1); } } } |
10. Использование объектов класса String как параметров метода.
Quote |
В Java класс java.lang.String хранит строковые данные. Однако, строки в Java (1) обладают постоянством (то есть их нельзя изменять), (2) являются объектами. |
Поэтому с ними нельзя обращаться как просто с буфером символов, это
неизменяемые объекты. Иногда студенты передают строки, ошибочно
расчитывая на то, что строка-объект будет передана как массив символов
по ссылке (как в C или C++). Компилятор обычно не считает это ошибкой.
Code |
Ошибочный пример. public static void main(String args[]) { String test1 = "Today is "; appendTodaysDate(test1); System.out.println(test1); } /* прим. редактора: закомментированный метод должен иметь модификатор static (здесь автором допущена ошибка №9) public void appendTodaysDate(String line) { line = line + (new Date()).toString(); } */ public static void appendTodaysDate(String line) { line = line + (new Date()).toString(); } |
В примере выше студент хочет изменить значение локальной переменной test1,
присваивая новое значение параметру line в методе appendTodaysDate.
Естественно это не сработает. Значение line изменится, но значение test1
останется прежним.
Эта ошибка возникает из-за непонимания того, что (1) java объекты всегда
передаются по ссылке и (2) строки в Java неизменяемы. Нужно осмыслить, что
объекты-строки никогда не изменяют своего значения, а все операции над
строками создают новый объект.
Чтобы исправить ошибку в примере выше, нужно или возвращать строку из
метода, или передавать объект StringBuffer как параметр методу вместо String.
Исправленный пример 1:
Code |
public static void main(String args[]) { String test1 = "Today is "; test1 = appendTodaysDate(test1); System.out.println(test1); } public static String appendTodaysDate(String line) { return (line + (new Date()).toString()); } Исправленный пример 2: public static void main(String args[]) { StringBuffer test1 = new StringBuffer("Today is "); appendTodaysDate(test1); System.out.println(test1.toString()); } public static void appendTodaysDate(StringBuffer line) { line.append((new Date()).toString()); } |
прим. перев.
вообще-то понять в чем ошибка не так просто.
так как объекты передаются по ссылке, то значит line ссылается туда же,
куда и test1. А значит создавая новый line, мы создаем новый test1.
в неправильном примере все выглядит так, как будто передача String идет
по значению, а не по ссылке.
11. Объявление конструктора как метода
Конструкторы объектов в Java внешне похожы на обычные методы. Единственные
отличия - у конструктора не указывается тип возвращаемого значения и
название совпадает с именем класса. К несчастью, Java допускает задание
имени метода, совпадающего с названием класса.
В примере ниже, студент хочет проинициализировать поле класса Vector list
при создании класса. Этого не произойдет, так как метод 'IntList' - это не
конструктор.
Code |
Ошибочный пример. public class IntList { Vector list; // Выглядит как конструктор, но на самом деле это метод public void IntList() { list = new Vector(); } public append(int n) { list.addElement(new Integer(n)); } } |
Quote |
Код выдаст исключение NullPointerException при первом же ображении к полю list. Ошибку легко исправить: нужно просто убрать возвращаемое значение из заголовка метода. |
Code |
Исправленный пример: public class IntList { Vector list; // Это конструктор public IntList() { list = new Vector(); } public append(int n) { list.addElement(new Integer(n)); } } |
12. Забыл привести объект к нужному типу.
Как и во всех других объектно-ориентированных языках, в Java можно
обращаться к объекту как к его суперклассу. Это называется 'upcasting',
он выполняется в Java автоматически. Однако, если переменная, поле
класса или возвращаемое значение метода объявлено как суперкласс, поля
и методы подкласса будут невидимы. Обращение к суперклассу как к подклассу
называется 'downcasting', его нужно прописывать самостоятельно (то есть
привести объект к нужному подклассу).
Студенты часто забывают о приведении оъекта к подклассу. Чаще всего это
случается при использовании массивов объектов Object и коллекций из пакета
java.util (имеется ввиду Collection Framework). В примере ниже объект String
заносится в массив, а затем извлекается из массива для сравнения с другой
строкой. Компилятор обнаружит ошибку и не станет компилировать код, пока не
будет явно указано приведение типов.
Code |
Ошибочный пример. Object arr[] = new Object[10]; arr[0] = "m"; arr[1] = new Character('m'); String arg = args[0]; if (arr[0].compareTo(arg) < 0) { System.out.println(arg + " comes before " + arr[0]); } |
Смысл приведения типов для некоторых оказывается затруднительным.
Особенно часто затруднения вызывают динамические методы. В примере выше,
если бы использовался метод equals вместо compareTo, компилятор бы не
выдал ошибку, и код бы правильно отработал, так как вызвался бы метод
equals именно класса String. Нужно понять, что динамическое связывание отличается от downcasting.
Code |
Исправленный пример: Object arr[] = new Object[10]; arr[0] = "m"; arr[1] = new Character('m'); String arg = args[0]; if ( ((String) arr[0]).compareTo(arg) < 0) { System.out.println(arg + " comes before " + arr[0]); } |