К. Арнольд, Д. Гослинг - Язык программирования Java (1160779), страница 27
Текст из файла (страница 27)
В отличие отконструкторов, вы также должны объявить возвращаемый методом тип после закрывающей скобки в сигнатуре. Возвращаемый тип указываетсяс использованием тех же сокращений, что и для типа параметров, с дополнительной буквой V для void. Примеры приведены ниже. Вы должнысами привести тип long к возвращаемому типу метода или проигнорировать его для методов типа void.Для получения структуры класса, используемой при вызове статических методов, применяется одна из двух функций FindClass:ClassClass *FindClass(ExecEnv *ee, char *class_name, bool_t resolve)Возвращает указатель на структуру ClassClass для заданного класса. Как и прежде, параметр типа ExecEnv следует получить отфункции EE.
Логическая величина resolve аналогична одноименному параметру, используемому методом ClassLoader.loadClass вразделе 13.2.ClassClass *FindClassFromClass(ExecEnv *ee, char *class_name, bool_t resolve, ClassClass *from)Возвращает указатель на объект-класс для заданного класса с использованием объекта ClassLoader класса from.Приведем пример, в котором метод System.out.println() вызывается для вывода сведений о работе родного метода.
Статический родной методgrindAway класса Crunch, приведенный ниже, осуществляет некоторые трудоемкие вычисления и возвращает результат типа double:doubleCrunch_grindAway(struct HCrunch *this_h){ClassClass *myClass;HObject *out;long i;double result;ExecEnv *ee = EE(); /* используется в нескольких местах */}myClass = FindClass(ee, "Crunch", TRUE);out = (HObject *)execute_java_static_method(ee, myClass,"outStream", "()Ljava/io/PrintStream;");if (exceptionOccurred(ee))return 0.0;for (i = 0; i << NUM_PASSES; i++) {execute_java_dynamic_method(ee, out,"println", "(I)V", i);if (exceptionOccurred(ee))return 0.0; // необходимо что-то вернуть/* ..
вычисления ... */}return result;Во фрагменте программы, предшествующем циклу, мы получаем дескриптор объекта java.io.PrintStream для System.out. Мы не можемнепосредственно использовать значение статического поля System.out, потому что статические поля не имеют своего представления в родныхметодах; из-за этого приходится прибегать к обходным маневрам. В данном случае мы создаем статический метод, возвращающий нужноезначение, и вызываем его из родного метода:public static java.io.PrintStream outStream() {return System.out;}Родной код должен получить указатель на структуру ClassClass для класса Crunch, поэтому мы вызываем FindClass. После этого можно вызватьфункцию execute_java_static_method с указанием имени вызываемого метода и его сигнатуры, включающей тип возвращаемого значения.
Мыпреобразуем возвращаемое значение long к типу, необходимому для конкретного метода. В данном случае нам требуется общий дескрипторHObject, а не дескриптор для конкретного типа java.io.PrintStream.После вызова метода проверяется, не было ли возбуждено исключение. Это стоит делать после каждого вызова метода или конструктора Java изродного кода, поскольку в противном случае вы можете пропустить исключение и иметь неприятности в будущем.
Если мы выходим из функциипо причине возникновения исключения, то возвращается фиктивное значение, которое игнорируется программой.После того, как получен доступ к выходному потоку, можно начинать циклические вычисления. При проходе каждого цикла его номер выводитсяметодом System.out.println. Для вызова этого метода мы используем функция execute_java_dynamic_method, передавая ей в качестве параметровобъект, для которого вызывается метод, имя метода, его сигнатуру и аргументы. Нам нужна версия println, получающая аргумент типа int; этотметод имеет тип void, поэтому мы используем сигнатуру " (I)V" и передаем целое число, которое нужно вывести (i) после аргумента-сигнатуры.
Иснова при возврате из метода необходимо проверить, не возбуждено ли исключение.Для многих типов, возвращаемых методами Java, приведение long к нужному типу происходит элементарно. Однако типы double и long в Javaявляются 64-разрядными, тогда как в большинстве существующих компиляторов C тип long 32-разрядный, и поэтому возвращаемое значениебудет иметь только половинную длину. Хотя существуют различные способы получения всех 64 бит возвращаемого значения, о них не говоритсяв этой книге из-за их машинной зависимости.А.8 Последнее предупреждениеМы должны снова предупредить вас о том, что конкретная схема стыковки, описанная здесь, в будущем обязательно изменится. Улучшения могутпроизойти как в плане реализации, так и на концептуальном уровне.
Схема стыковки с C++ будет обладать другими характеристиками, и,возможно, повлечет за собой изменения в схеме стыковки с C, сохраняя, однако, совместимость. Кроме того, создатели будущих сред разработкимогут вообще отказаться от использования всех принципов, примененных в данной схеме. Мы надеемся, что в любом случае приведенный здесьматериал поможет вам понять некоторые общие аспекты, возникающие при стыковке различных языков программирования, и освоить схемусвязывания родных методов, которая будет использоваться в вашей системе.Содержание | ДалееПриложение БRuntime-исключения в JavaКомпьютер не бывает эмоциональным. Он может дать точное математическое описание, но забудет об интонации.Фрэнк ЗаппаRuntime-система Java возбуждает исключения двух основных видов: runtime-исключения, расширяющие класс RuntimeException, и ошибки,которые расширяют класс Error.
Исключения обоих видов являются непроверяемыми (см. раздел 7.3). Верхняя часть иерархии исключенийвыглядит следующим образом:Исключения Error сигнализируют об очень серьезных проблемах, после которых программа обычно завершается, и которые никогда (или почтиникогда) не должны перехватываться. Исключения Error не являются расширениями RuntimeException, так что программист, пытающийсянаписать универсальное условие catch для перехвата всех исключений Exception и RuntimeException (обычно делать этого не следует) не сможетперехватить исключения Error. Разумеется, после возникновения любого исключения будут выполнены условия finally операторов try, так как всеисключения, в том числе и Error, просматривают стек вызовов.
Следовательно, вы всегда сможете выполнить необходимые завершающиедействия.Программист может самостоятельно расширить классы RuntimeException и Error, чтобы создать свои собственные варианты непроверяемыхисключений — то есть таких исключений, которые можно возбуждать без указания их в условии throws. Мы сообщаем об этом по единственнойпричине — чтобы вы знали, что этого делать не следует. Условие throws предусмотрено именно для того, чтобы при вызове метода были виднывсе возможные аспекты его поведения. Порождая свое исключение от RuntimeException или Error, вы сообщаете о нем ложные сведения (будтооно запускается runtime-системой). Кроме того, другие разработчики, читающие вашу программу, полагают, что условие throws дает иминформацию о возможном поведении вашего метода; вы нарушаете это предположение.Даже если вы пишете программу для своего собственного использования, не стоит создавать непроверяемые исключения: программисты, неполностью понимающие работу вашего кода, могут упустить нечто важное.
Кроме того, вероятно, что через несколько месяцев после написанияпрограммы именно вы окажетесь тем человеком, который будет изменять ее без полного понимания происходящего. Одно из правил созданияпонятных программ — считать классы RuntimeException и Error нерасширяемыми.Все классы Error и RuntimeException содержат по меньшей мере два конструктора: один вызывается без аргументов, а второй получает объектString с описанием. Исключения, которые прямо или косвенно расширяют RuntimeException или Error, не объявляются в условии throws, посколькуони могут произойти в любой момент, что делает их объявление излишним.Исключение CloneNotSupportedException непосредственно порождается от класса Exception, поскольку каждая программа, которая вызываетметод clone, возбуждающий данное исключение, должна явным образом его обработать.
Оно рассмотрено в разделе “Дублирование объектов.Настоящая глава делится на две части — одна посвящена классам RuntimeException, а другая — классам Error. Для каждого исключенияприводится его значение, описание ситуации, в которой оно возбуждается, а также все дополнительные конструкторы.Б.1 Классы RuntimeExceptionArithmeticException extends RuntimeExceptionВозникла исключительная ситуация во время вычислений (например, деление целого числа на ноль).ArrayStoreException extends RuntimeExceptionПопытка сохранения в массиве объекта неверного типа.ClassCastException extends RuntimeExceptionПопытка недопустимого приведения типа.IllegalArgumentException extends RuntimeExceptionМетод получил неверный аргумент (например, метод String.equals вызван для объекта, который не относится к типу String).IllegalMonitorStateException extends RuntimeExceptionМеханизм wait/notify использован за пределами синхронного кода.IllegalThreadStateException extends IllegalArgumentExceptionСостояние потока не допускает выполнения требуемой операции.IndexOutOfBoundsException extends RuntimeExceptionRuntime-система генерирует это исключение при выходе индекса массива или объекта String за пределы диапазона допустимыхзначений.NegativeArraySizeException extends RuntimeExceptionПопытка создания массива отрицательного размера.NullPointerException extends RuntimeExceptionДля доступа к полю или методу использована null-ссылка.
![](https://s.studizba.com/z.php?f=/templates/si/i/noavatar.png&w=100&h=100&t=1"){kind=avatar}
