Век живи - век учись Получается, что final - что то типа const в Си. Отлично! надо будет поиграть


Так как kashka запропастилась, я попробую перевести этот интересный абзатц про преимущества ассертов перед указанием if (Кстати тоже наследство Си, но в Яве они конечно элегантнее реализованы, т.к. не нужно никаких дефайнов )
------------------------------------------------------------------------------------------

• Сорс короче и понятнее
• С первого взгляда ясно, что речь идёт о проверке кода, а не разветвления if для обычного управления программой.
• Ассершены можно включать и выключать по необходимости. В выключенном виде на проверку не затрачивается рессурсов (памяти, процессора. Прим. sergej.z).

Выражение проверяемое оператором "Assert" должно возвращать тип boolean. Если присутствует дополнительное выражение, которое может возвращать любой тип, оно будет передано в конструктор обьекта AssertionError и послужит текстом сообщения об ошибке.
------------------------------------------------------------------------------------------

Цитата(kashka @ 13.4.2005, 15:48)

assert x >= 0; Das Programm überprüft die Bedingung und fährt fort, wenn sie erfüllt ist. Andernfalls wird eine Ausnahme ausgelöst. Natürlich hätte derselbe Test auch mit Hilfe einer einfachen if-Anweisung ausgeführt werden können. Die assert-Anweisung hat ihr gegenüber jedoch einige Vorteile: Der Programmcode ist kürzer. Auf den ersten Blick ist zu erkennen, daß es sich um einen Korrektheits-Check handelt und nicht um eine Verzweigung zur Steuerung des Programmablaufs. Assertions lassen sich zur Laufzeit wahlweise an- oder ausschalten. Im Gegensatz zu einer einfachen if-Anweisung verursachen sie praktisch keine Verschlechterung des Laufzeitverhaltens, wenn sie deaktiviert sind. Der im Syntaxdiagramm angegebene ausdruck1 muß immer vom Typ boolean sein, andernfalls gibt es einen Compilerfehler. Fehlt ausdruck2 (er darf von beliebigem Typ sein), wird im Falle des Nichterfülltseins der Bedingung ein AssertionError mit einer leeren Fehlermeldung erzeugt. Wurde ausdruck2 dagegen angegeben, wird er im Fehlerfall an den Konstruktor von AssertionError übergeben und dient als Meldungstext für das Fehlerobjekt.

У Эккеля это, оказывается, есть. Дочитываю, наконец

Цитата(Lamer @ 4.5.2005, 15:54)

Исключений нет. m=null, но INSTANCE спокойно сидит в памяти.

Точно. Но I'll be back
Добавлено @ 14:34
sergej.z, хм... интересно. Спасибо за перевод.

Цитата(simanyay @ 4.5.2005, 05:33)

Точно. Но I'll be back smile

В смысле?

Цитата(Domestic @ 5.5.2005, 07:03)

В смысле?

simanyay еще подучит Джаву и покажет тебе, Zandr'у, модификатору final и остальным, где раки зимуют.

Цитата(Lamer @ 5.5.2005, 14:26)

simanyay еще подучит Джаву и покажет тебе, Zandr'у, модификатору final и остальным, где раки зимуют. smile

во во

Перечитал я опять главу в Effective Java про синглтоны и теперь полностью согласен с Lamer George и модификатором final по поводу его работы. Вот.

Ааа, ну тогда ладно

Цитата

simanyay еще подучит Джаву и покажет тебе, Zandr'у, модификатору final и остальным, где раки зимуют.

Дык, я не против Лишь бы конструктив

Я встречался с ситуацией когда нужно объявить аргумент метода final: при его использование в анонимном классе:

Код

public class FinalAndAnonimClass {      void m(final int x){   // final нужен          m2(new ICommand(){       public void execute(){         System.out.println(x);       }     });   }      void m2(ICommand command){  }      interface ICommand{     void execute();   } }

без final компилятор говорит:
"FinalAndAnonimClass.java": local variable x is accessed from within inner class; needs to be declared final at line 7, column 28

Это сообщение отредактировал(а) hatsumeika - 14.5.2005, 19:01

hatsumeika, в этом треде про этот случай уже минимум два раза написали

сорри, не заметил

вот ещё такая реплика:
различные инспекторы кода (pmd, findbugs etc) данный вопрос помещают в категорию optimization - imho логично: компилятору даётся дополнительная информация, о неизменности параметра по присвоению, а он уже вправе ею воспользоваться


https://jjguidelines.dev.java.net/book/html...04.html#JAC_003
https://jjguidelines.dev.java.net/book/html/index.html
сподобалось

Скажем прямо, даже у Sun не много про это сказано. http://java.sun.com/docs/books/tutorial/ja...lVariables.html

Цитата(Zandr @ 4.5.2005, 07:46)

Цитата Народ, всё проще. Эккель пишет, что final - это просто напросто замена вызова метода его телом на уровне компиляции. Укажи, пожалуйста, где он это пишет, только точно, чтобы можно было найти. Очень интересно было бы увидеть это своими глазами. И еще вопрос был про final применительно к параметрам метода, а не к самому методу, или классу, или instance member'у.

Чё-то совсем из головы вылетело. Если ещё не нашлось, - страница 246, либо "глава 6" -> "Ключевое слово final".

Вот кусок (смог найти только английский вариант ):

Цитата

In the case of a compile-time constant, the compiler is allowed to “fold” the constant value into any calculations in which it’s used; that is, the calculation can be performed at compile time, eliminating some run-time overhead. In Java, these sorts of constants must be primitives and are expressed with the final keyword. A value must be given at the time of definition of such a constant. Feedback A field that is both static and final has only one piece of storage that cannot be changed. Feedback When using final with object references rather than primitives, the meaning gets a bit confusing. With a primitive, final makes the value a constant, but with an object reference, final makes the reference a constant. Once the reference is initialized to an object, it can never be changed to point to another object. However, the object itself can be modified; Java does not provide a way to make any arbitrary object a constant. (You can, however, write your class so that objects have the effect of being constant.) This restriction includes arrays, which are also objects.

Ну и дальше - там много про него интересного