Инициализация полей структур

@Соколиный глаз · Регистрация: 25.07.2014

Насколько знаю, у экземпляров классов поля всегда инициализируются значениями по умолчанию перед тем как в дело вступает конструктор. Почему у структур для инициализации полей используется конструктор по умолчанию для этих целей?

@Элд Хасп · 11.10.2018, 16:33

Сообщение от Соколиный глаз

у экземпляров классов поля всегда инициализируются значениями по умолчанию перед тем как в дело вступает конструктор. Почему у структур для инициализации полей используется конструктор по умолчанию для этих целей?

А как Вы проверили это утверждение? Вы же не можете для структуры создать свой конструктор по умолчанию. И проверить до него происходит инициализация или он сам инициализирует.

@Соколиный глаз · 11.10.2018, 16:35 **[ТС]**

Сообщение от Элд Хасп

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

Если я не могу, то есть на то причины. Логично было бы считать, что именно в нем происходит инициализация полей, иначе зачем он нужен? (Если ошибаюсь, поправьте.)

@Элд Хасп · 11.10.2018, 16:43

Сообщение от Соколиный глаз

Если я не могу, то есть на то причины. Логично было бы считать, что именно в нем происходит инициализация полей, иначе зачем он нужен? (Если ошибаюсь, поправьте.)

Логичнее считать, что после него значения полей инициализированы, а делает это он сам или до него это происходит - разницы нет.

Добавлено через 5 минут

Сообщение от Соколиный глаз

Если я не могу, то есть на то причины.

Причина одна - это запрещено самим языком. Потому что, при многих схожестях структуры и класса - есть принципиальное их отличие. Структура - это ЗНАЧИМЫЙ тип, класс - это ССЫЛОЧНЫЙ тип. Структуры передаются по значению, объекты класса - по ссылке. Если вмешаться в работу конструктора по умолчания для структуры, то могут быть проблемы при создании передаваемой как значения структуры.

@OwenGlendower · 11.10.2018, 16:53

Сообщение от Соколиный глаз

Логично было бы считать, что именно в нем происходит инициализация полей, иначе зачем он нужен?

Необязательно. Конструктор по умолчанию структуры может вообще не вызываться. Например при выделении памяти под массив. Но элементы тем не менее получают значения по умолчанию. Значит инициализация происходит до конструктора.

@КОП · 11.10.2018, 16:59

Сообщение от OwenGlendower

Конструктор по умолчанию структуры может вообще не вызываться

тогда возникает вопрос, какая разница вызовется он или нет? и в чем тогда смысл его вызова, если он опционален?

@OwenGlendower · 11.10.2018, 17:18

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

@kolorotur · 11.10.2018, 17:20

Сообщение от Соколиный глаз

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

Это утверждение верно не только для структур, но и для классов.

Сообщение от Соколиный глаз

Почему у структур для инициализации полей используется конструктор по умолчанию для этих целей?

Потому что точно так же и у классов

Сообщение от КОП

какая разница вызовется он или нет? и в чем тогда смысл его вызова, если он опционален?

Вот поэтому дефолтный конструктор в структуре и нельзя переопределить: структуру можно создать и без его вызова, в отличие от класса.

@КОП · 11.10.2018, 17:21

начал копать, оказывается new A() заменяется на default(A), конструктор там (вроде как) не вызывается, но тогда если его переопределить, то вызовется переопределенный конструктор или default(A)?

предупреждая вопросы про переопределять (надеюсь актуальная инфа в статье)
https://codeblog.jonskeet.uk/2... structors/

@kolorotur · 11.10.2018, 17:23

Сообщение от КОП

но тогда если его переопределить, то вызовется переопределенный конструктор или default(A)?

А вы попробуйте для начала его переопределить

Узнаете о себе много нового от компилятора!

@Соколиный глаз · 11.10.2018, 17:27 **[ТС]**

Потому что точно так же и у классов

Значит инициализация происходит до конструктора.

Что-то не то...

Окончательный ответ как я понимаю таков: поля классов и структур инициализируются до вызова конструктора значениями по умолчанию.

Добавлено через 1 минуту

Вот поэтому дефолтный конструктор в структуре и нельзя переопределить: структуру можно создать и без его вызова, в отличие от класса.

Если я явно определяю конструктор с одним и более параметров в структуре, то также как и в классе конструктор по умолчанию не создается?

@КОП · 11.10.2018, 17:27

Сообщение от kolorotur

А вы попробуйте для начала его переопределить
Узнаете о себе много нового от компилятора!

в приведенной статье вроде получилось. То есть если я использую reference.dll сначала с дефолтным конструктором, который c# переведет в default(a), а потом заменю dll на ту в которой есть переопределенный конструктор, то какое мне поведение ожидать без перекомпиляции c# кода?

@kolorotur · 11.10.2018, 17:37

Сообщение от КОП

в приведенной статье вроде получилось.

В приведенной статье не переопределяется конструктор по умолчанию.

@КОП · 11.10.2018, 17:40

Сообщение от kolorotur

В приведенной статье не переопределяется конструктор по умолчанию.

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

@Соколиный глаз · 11.10.2018, 17:47 **[ТС]**

Сообщение от Соколиный глаз

Если я явно определяю конструктор с одним и более параметров в структуре, то также как и в классе конструктор по умолчанию не создается?

Жду ответа...

@kolorotur · 11.10.2018, 17:53

Сообщение от КОП

тогда можете пояснить что там происходит?

Конструктор по умолчанию у структур есть всегда, вне зависимости от того, определен ли конструктор с параметрами.
Конструктор по умолчанию так же невозможно определить явно — это будет ошибкой компиляции.

Сообщение от Соколиный глаз

Жду ответа...

Цитируйте ответ кнопкой "цитата", пожалуйста — тогда приходит уведомление, что кто-то в теме обратился.
Иначе легко пропустить сообщения.

Сообщение от Соколиный глаз

поля классов и структур инициализируются до вызова конструктора значениями по умолчанию.

Да.

Сообщение от Соколиный глаз

Если я явно определяю конструктор с одним и более параметров в структуре, то также как и в классе конструктор по умолчанию не создается?

Нет, конструктор по умолчанию у структуры есть всегда.

@Соколиный глаз · 11.10.2018, 18:00 **[ТС]**

Сообщение от kolorotur

Нет, конструктор по умолчанию у структуры есть всегда.

А что располагается внутри этого конструктора, если поля инициализируются до его вызова?

@Элд Хасп · 11.10.2018, 18:01

Сообщение от Соколиный глаз

Жду ответа...

Он уже создан, до того как Вы определили свой конструктор. И убрать, скрыть его нельзя.

Добавлено через 51 секунду

Сообщение от Соколиный глаз

А что располагается внутри этого конструктора, если поля инициализируются до его вызова?

То же самое что и в безпараметрическом конструкторе класса.

@Соколиный глаз · 11.10.2018, 18:02 **[ТС]**

Сообщение от Элд Хасп

То же самое что и в безпараметрическом конструкторе класса.

То есть?

@Элд Хасп · 11.10.2018, 18:06

То есть в пользовательском смысле, он пустой.

Добавлено через 1 минуту

C#

1	public MyStruct () {}

@КОП 1106 / 778 / 218 Регистрация: 15.08.2010 Сообщений: 2,157
	11.10.2018, 17:27	12
	Сообщение от kolorotur А вы попробуйте для начала его переопределить Узнаете о себе много нового от компилятора! в приведенной статье вроде получилось. То есть если я использую reference.dll сначала с дефолтным конструктором, который c# переведет в default(a), а потом заменю dll на ту в которой есть переопределенный конструктор, то какое мне поведение ожидать без перекомпиляции c# кода? 0

@kolorotur 14582 / 11008 / 2903 Регистрация: 17.09.2011 Сообщений: 18,530
	11.10.2018, 17:37	13
	Сообщение от КОП в приведенной статье вроде получилось. В приведенной статье не переопределяется конструктор по умолчанию. 0

@Соколиный глаз Alvin Seville 332 / 265 / 131 Регистрация: 25.07.2014 Сообщений: 4,537 Записей в блоге: 9
	11.10.2018, 17:47 [ТС]	15
	Сообщение от Соколиный глаз Если я явно определяю конструктор с одним и более параметров в структуре, то также как и в классе конструктор по умолчанию не создается? Жду ответа... 0

@Соколиный глаз Alvin Seville 332 / 265 / 131 Регистрация: 25.07.2014 Сообщений: 4,537 Записей в блоге: 9
	11.10.2018, 18:02 [ТС]	19
	Сообщение от Элд Хасп То же самое что и в безпараметрическом конструкторе класса. То есть? 0

@Соколиный глаз Alvin Seville 332 / 265 / 131 Регистрация: 25.07.2014 Сообщений: 4,537 Записей в блоге: 9
		1
	Инициализация полей структур 11.10.2018, 16:00. Просмотров 2391. Ответов 45 Метки нет (Все метки) Насколько знаю, у экземпляров классов поля всегда инициализируются значениями по умолчанию перед тем как в дело вступает конструктор. Почему у структур для инициализации полей используется конструктор по умолчанию для этих целей? 0

@Элд Хасп Модератор 7992 / 5591 / 1622 Регистрация: 21.04.2018 Сообщений: 16,728 Записей в блоге: 2
	11.10.2018, 16:33	2
	Сообщение от Соколиный глаз у экземпляров классов поля всегда инициализируются значениями по умолчанию перед тем как в дело вступает конструктор. Почему у структур для инициализации полей используется конструктор по умолчанию для этих целей? А как Вы проверили это утверждение? Вы же не можете для структуры создать свой конструктор по умолчанию. И проверить до него происходит инициализация или он сам инициализирует. 0

@Соколиный глаз Alvin Seville 332 / 265 / 131 Регистрация: 25.07.2014 Сообщений: 4,537 Записей в блоге: 9
	11.10.2018, 16:35 [ТС]	3
	Сообщение от Элд Хасп Вы же не можете для структуры создать свой конструктор по умолчанию. Если я не могу, то есть на то причины. Логично было бы считать, что именно в нем происходит инициализация полей, иначе зачем он нужен? (Если ошибаюсь, поправьте.) 0

@Элд Хасп Модератор 7992 / 5591 / 1622 Регистрация: 21.04.2018 Сообщений: 16,728 Записей в блоге: 2
	11.10.2018, 16:43	4
	Сообщение от Соколиный глаз Если я не могу, то есть на то причины. Логично было бы считать, что именно в нем происходит инициализация полей, иначе зачем он нужен? (Если ошибаюсь, поправьте.) Логичнее считать, что после него значения полей инициализированы, а делает это он сам или до него это происходит - разницы нет. Добавлено через 5 минут Сообщение от Соколиный глаз Если я не могу, то есть на то причины. Причина одна - это запрещено самим языком. Потому что, при многих схожестях структуры и класса - есть принципиальное их отличие. Структура - это ЗНАЧИМЫЙ тип, класс - это ССЫЛОЧНЫЙ тип. Структуры передаются по значению, объекты класса - по ссылке. Если вмешаться в работу конструктора по умолчания для структуры, то могут быть проблемы при создании передаваемой как значения структуры. 0

@OwenGlendower Супер-модератор 12661 / 10367 / 4319 Регистрация: 17.03.2014 Сообщений: 20,875 Записей в блоге: 1
	11.10.2018, 16:53	5
	Сообщение от Соколиный глаз Логично было бы считать, что именно в нем происходит инициализация полей, иначе зачем он нужен? Необязательно. Конструктор по умолчанию структуры может вообще не вызываться. Например при выделении памяти под массив. Но элементы тем не менее получают значения по умолчанию. Значит инициализация происходит до конструктора. 0

@КОП 1106 / 778 / 218 Регистрация: 15.08.2010 Сообщений: 2,157
	11.10.2018, 16:59	6
	Сообщение от OwenGlendower Конструктор по умолчанию структуры может вообще не вызываться тогда возникает вопрос, какая разница вызовется он или нет? и в чем тогда смысл его вызова, если он опционален? 0

@OwenGlendower Супер-модератор 12661 / 10367 / 4319 Регистрация: 17.03.2014 Сообщений: 20,875 Записей в блоге: 1
	11.10.2018, 17:18	7
	КОП, я пытался описать ситуацию с точки зрения логики. По факту конструктора по умолчанию у структуры нет и правила языка запрещают его объявлять. 0

@kolorotur 14582 / 11008 / 2903 Регистрация: 17.09.2011 Сообщений: 18,530
	11.10.2018, 17:20	8
	Сообщение было отмечено Соколиный глаз как решение Решение Сообщение от Соколиный глаз Насколько знаю, у экземпляров классов поля всегда инициализируются значениями по умолчанию перед тем как в дело вступает конструктор. Это утверждение верно не только для структур, но и для классов. Сообщение от Соколиный глаз Почему у структур для инициализации полей используется конструктор по умолчанию для этих целей? Потому что точно так же и у классов Сообщение от КОП какая разница вызовется он или нет? и в чем тогда смысл его вызова, если он опционален? Вот поэтому дефолтный конструктор в структуре и нельзя переопределить: структуру можно создать и без его вызова, в отличие от класса. 0

@КОП 1106 / 778 / 218 Регистрация: 15.08.2010 Сообщений: 2,157
	11.10.2018, 17:21	9
	начал копать, оказывается new A() заменяется на default(A), конструктор там (вроде как) не вызывается, но тогда если его переопределить, то вызовется переопределенный конструктор или default(A)? предупреждая вопросы про переопределять (надеюсь актуальная инфа в статье) https://codeblog.jonskeet.uk/2... structors/ 0

@kolorotur 14582 / 11008 / 2903 Регистрация: 17.09.2011 Сообщений: 18,530
	11.10.2018, 17:23	10
	Сообщение от КОП но тогда если его переопределить, то вызовется переопределенный конструктор или default(A)? А вы попробуйте для начала его переопределить Узнаете о себе много нового от компилятора! 0

Опции темы

@Соколиный глаз Alvin Seville 332 / 265 / 131 Регистрация: 25.07.2014 Сообщений: 4,537 Записей в блоге: 9
	11.10.2018, 17:27 [ТС]	11
	Потому что точно так же и у классов Значит инициализация происходит до конструктора. Что-то не то... Окончательный ответ как я понимаю таков: поля классов и структур инициализируются до вызова конструктора значениями по умолчанию. Добавлено через 1 минуту Вот поэтому дефолтный конструктор в структуре и нельзя переопределить: структуру можно создать и без его вызова, в отличие от класса. Если я явно определяю конструктор с одним и более параметров в структуре, то также как и в классе конструктор по умолчанию не создается? 0

@КОП 1106 / 778 / 218 Регистрация: 15.08.2010 Сообщений: 2,157
	11.10.2018, 17:40	14
	Сообщение от kolorotur В приведенной статье не переопределяется конструктор по умолчанию. тогда можете пояснить что там происходит? вроде конструктор без параметров у структуры определен и пишет в консоль. 0

@kolorotur 14582 / 11008 / 2903 Регистрация: 17.09.2011 Сообщений: 18,530
	11.10.2018, 17:53	16
	Сообщение от КОП тогда можете пояснить что там происходит? Конструктор по умолчанию у структур есть всегда, вне зависимости от того, определен ли конструктор с параметрами. Конструктор по умолчанию так же невозможно определить явно — это будет ошибкой компиляции. Сообщение от Соколиный глаз Жду ответа... Цитируйте ответ кнопкой "цитата", пожалуйста — тогда приходит уведомление, что кто-то в теме обратился. Иначе легко пропустить сообщения. Сообщение от Соколиный глаз поля классов и структур инициализируются до вызова конструктора значениями по умолчанию. Да. Сообщение от Соколиный глаз Если я явно определяю конструктор с одним и более параметров в структуре, то также как и в классе конструктор по умолчанию не создается? Нет, конструктор по умолчанию у структуры есть всегда. 0

@Соколиный глаз Alvin Seville 332 / 265 / 131 Регистрация: 25.07.2014 Сообщений: 4,537 Записей в блоге: 9
	11.10.2018, 18:00 [ТС]	17
	Сообщение от kolorotur Нет, конструктор по умолчанию у структуры есть всегда. А что располагается внутри этого конструктора, если поля инициализируются до его вызова? 0

@Элд Хасп Модератор 7992 / 5591 / 1622 Регистрация: 21.04.2018 Сообщений: 16,728 Записей в блоге: 2
	11.10.2018, 18:01	18
	Сообщение от Соколиный глаз Жду ответа... Он уже создан, до того как Вы определили свой конструктор. И убрать, скрыть его нельзя. Добавлено через 51 секунду Сообщение от Соколиный глаз А что располагается внутри этого конструктора, если поля инициализируются до его вызова? То же самое что и в безпараметрическом конструкторе класса. 0

Инициализация полей структур

Решение