Можно ли сделать обязательным вызов конструктора базового класса?

Собственно, вопрос в названии. Хотелось бы, чтобы в конструктор наследника выдавал ошибку, если не вызван какой-либо из конструкторов базового класса.

0

Сообщение от nexen Собственно, вопрос в названии. Хотелось бы, чтобы в конструктор наследника выдавал ошибку, если не вызван какой-либо из конструкторов базового класса.

Если меня память не подводит, то вызов конструктора базового класса происходит всегда при создании класса-наследника. Причем в случае, если явно не указан вызов конструктора базового класса с помощью super(), вызывается конструктор базового класса без аргументов. Если же такого конструктора в базовом классе нет - получаем ошибку.

1

Сообщение от nexen Собственно, вопрос в названии. Хотелось бы, чтобы в конструктор наследника выдавал ошибку, если не вызван какой-либо из конструкторов базового класса.

По умолчанию вызывается дефолтный конструктор базового класса. Если такого нету то нужно определить явно конструктор в дочернем классе , который будет инициализировать поля базового объекта.

1

Divizal, Care, а если я не создаю конструктор по умолчанию класса наследника, могу ли я быть уверен, что вызовуться созданные компилятором дефолтные конструкторы и, таким образом, поля, которые я указывал как: public int x = 10 или public myClass a = new myClass() приобретут указанные значения?

0

Сообщение от nexen public int x = 10 или public myClass a = new myClass()

Если ты инициализируешь поля в не конструктора,то компилятор автоматически перенесет эту инициализацию в конструктор.
то есть такая инициализация как у вас будет произведена в конструкторе.

1

Care, во всех конструкторах, кроме тех, где я это явно прописываю?
Или тут будет дважды выделена память?

0

Сообщение от nexen Care, во всех конструкторах, кроме тех, где я это явно прописываю? Или тут будет дважды выделена память? Java 1 2 3 4 5 6 7 8 9 public class MyClass { public OtherMyClass x = OtherMyClass(10);   public MyClass(int number) { x = new OtherMyClass(number); } }

Тут вы просто два раза инициализируете объект. Сначало public OtherMyClass x = OtherMyClass(10); затем x = new OtherMyClass(number);

0

Сообщение от Care Если ты инициализируешь поля в не конструктора,то компилятор автоматически перенесет эту инициализацию в конструктор. то есть такая инициализация как у вас будет произведена в конструкторе.

вы меня поражаете своими постами )
запустите ка вот этот код

1

Сообщение от mutagen вы меня поражаете своими постами ) запустите ка вот этот код Java 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 /**  * @author mutagen  */ public class InitSequence {       int a = 1;       public InitSequence() {         System.out.println(a);         a = 2;         System.out.println(a);     }       /**      * @param args the command line arguments      */     public static void main(String[] args) {         new InitSequence();     } }

да.... забыл ошибся и тд. Молодец )

0

Сообщение от Care Молодец )

Если уж помогать, хорошо бы для начала самому разобраться.

1

Сообщение от mutagen Если уж помогать, хорошо бы для начала самому разобраться. Не по теме: Обычно я благодарен когда мне указывают на мою ошибку, это облегчает мне жизнь в будущем. Вот тут есть яркий пример форумчанина - Севак, человек на моих глазах за год из новичка путём проб и ошибок стал прилично разбираться в java. Почитайте его посты на досуге, если конечно вас волнует результат.

Вот вы интриган емаё))

0

nexen, если вы переживаете по поводу того, что у объекта будут не инициализированные переменные, то советую внимательно прочитать вот эту статью: http://www.quizful.net/post/ja... ialization Прочитав ее вы будете лучше разбираться в порядке инициализации, в частности:

инициализация полей в месте объявления и в инициализационном блоке происходит до инициализации в конструкторе инициализации полей в месте объявления и в инициализационных блоках выполняются в порядке их объявления в классе инициализация полей базового класса происходит полностью до инициализации производного класса, т.е. сначала выполняются все инициализаторы базового класса, а потом все инициализаторы производного класса.

Что касается вызовов конструкторов базового класса. Пусть у нас есть два класса:
Так вот, когда мы напишем:
то в стеке будет такая вот картина:

1. Child() вызовет super() //<- даже если это слово явно не указано в конструкторе, оно все-равно присутствует в самом начале!
2. Parent() вызовет super()
3. Object() //<- так как все объекты наследуются от этого класса.

Таким образом, у вас при создании любого объекта выполняется подобного вида цепочка вызовов. Единственное тут стоит учесть вот что: пусть у вас есть класс:
Так вот - у этого класса нет конструктора без параметров. И поэтому в конструкторе класса-наследника необходимо явно вызывать super (5), например. Без этого получите ошибку компиляции, если не ошибаюсь (тут поправьте мну если я не прав).

2

Сообщение от nexen Divizal, Care, а если я не создаю конструктор по умолчанию класса наследника, могу ли я быть уверен, что вызовуться созданные компилятором дефолтные конструкторы и, таким образом, поля, которые я указывал как: public int x = 10 или public myClass a = new myClass() приобретут указанные значения?

Поля приобретут значения вне зависимости от вызова констркутора. Инициализация происходит ДО вызова конструктора. Другое дело, что как только Вы объявили хоть один конструктор - никаких конструкторов по умолчанию компилятор уже не создает. И если Вы где-то в наследниках на это полагаетесь - Вы получите ошибку компиляции. Конструктор с параметрами придется указывать в явном виде - super(...)

1

Сообщение от Skipy Инициализация происходит ДО вызова конструктора.

Что выведет код?

0

Сообщение от efwe Что выведет код? Java 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 class B {     int x = 1;       public B() {         printx();     }       void printx(){         System.out.print(x);     } }   public class A extends B {     int x = 2;       void printx(){         System.out.print(x);     }       public static void main(String[] ars){         new A();     } }

выведет 0 - обьясняю почему,

вы создаёте обьект класса А, значит и проперти х будет его, но перед созданием вы вызываете конструктор парент класса а у того есть метод в конструкторе выводящий проперти х, но так как конструктор парента ещё не завершился, то наше локальное х пока ещё инициализированно по дефолту нулём как примитив. вот когда парент завершился, вот тогда будет инициализировано проперти х и станет 2
слегка модифицируем класс А и всё становится понятно
и завершится инициализация 2-кой ДО окончания конструктора А

в JVM есть приоритет запуска методов, так вот вызов парент конструктора это invokespecial (максимальный приоритет), для того чтобы произвести инициализацию иерархии наследования, а уже потом повалят invokestatic и invokevirtual, ваш вопрос не опровергает Skipy, так как вы использовали чит наследования, в общих случаях инициализация поля именно ДО конструктора )

3

Я не сомневался что Skipy ответит правильно, но всеже инициализация работает не ДО вызова конструктора а после вызова родительского конструктора (если считать что вызов родительского конструктора идет внутри конструктора потомка, как например в вашем примере конструктора класса А).

0

Сообщение от efwe Я не сомневался что Skipy ответит правильно, но всеже инициализация работает не ДО вызова конструктора а после вызова родительского конструктора

Инициализация полей класса идет ДО вызова конструктора ЭТОГО класса. Так понятнее? Соответственно, при иерархии Object -> A -> B имеем последовательность: поля Object, конструктор Object, поля А, конструктор А, поля В, конструктор В.

(если считать что вызов родительского конструктора идет внутри конструктора потомка, как например в вашем примере конструктора класса А).

Он не может идти никак иначе. Вызов родительского конструктора осуществляется только в дочерних конструкторах и всегда первой инструкцией.

1

Сообщение от efwe но всеже инициализация работает не ДО вызова конструктора а после вызова родительского конструктора (если считать что вызов родительского конструктора идет внутри конструктора потомка, как например в вашем примере конструктора класса А).

я же вроде написал приоритетность разных типов вызовов, ок видимо непонятно, попробуем по другому.

итак как же происходит инициализация:
1. конструктор неявно или явно вызывает super() (в том числе и с параметрами) - этот вызов выполняется как invokespecial так как он нужен для того чтобы пройти по иерархии наследования и выполнить линковку текущего класса с методами парентов и абстрактов находящихся над ним.
2. эта линковка продолжается до класса Object и при спуске вниз выполняется оверрид методов и перелинковка
3. для того чтобы начать спуск вниз должно быть выполнено одно условие - должен завершиться парент конструктор.
4. в случае если в иерархии внутри конструктора производится вызов какого либо метода он будет выполнен
5. проперти с одинаковыми именами затеняют паренты если не указывать модификатор super.propertyName
6. любой метод из парента пытающийся получить значение затенённого проперти - получит значение заттеняющего из самого нижнего.
7. до момента завершения конструктора парента собственные проперти инициализированы дефолтным значением в случае примитивов и null в случае объектов.
8. после завершения конструирования иерархии и линковки класс инициализирует собственные проперти
9. выполняются инструкции в конструкторе и конструктор завершается
10. класс находится в консистент стейте и готов к работе

Для более глубокого понимания приколов связанных с приоритетами рекомендую почитать про утечки this в конструкторе, типа такого:

1

Сообщение от mutagen Для более глубокого понимания приколов связанных с приоритетами рекомендую почитать про утечки this в конструкторе

А не порекомендуете что почитать про то что происходит внутри jvm, про всякие invoke* и тд?

0

Сообщение от efwe А не порекомендуете что почитать про то что происходит внутри jvm, про всякие invoke* и тд?

http://zeroturnaround.com/rebe... ethods/#!/
http://docs.oracle.com/javase/... e.doc.html
http://www.javaworld.com/colum... index.html
http://www.artima.com/underthehood/
http://www.oracle.com/technetw... anceTuning
http://www.oracle.com/technetw... 40523.html
http://www.ibm.com/developerwo... ory-linux/

3