Что возвращает конструктор?

@Vanconts · Регистрация: 08.08.2019

Студворк — интернет-сервис помощи студентам

Что возвращает конструктор?
Читал что если написать myclass() ; (myclass это созданный класс), то создаётся безымянный объект, но как-то странно звучит, если это правда можно подробнее?

IGPIGP · 01.11.2019, 21:59

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

IGPIGP, IGPIGP,
Выше ведь я привёл код, на rextester. Можете раскомментировать конструктор и скомпилировать

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

C++
1
Struct(int a_=123):a(a_){ cout<<"\nStruct()\n";}

Он работает и я о нём говорил.

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

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

Доказать такое утверждение - тривиальнейшая задача, ибо это базовые факты из спецификации языка. "Подозревать" вы можете сколько угодно, но поведение процесса инициализации подробно специфицировано в соответствующих разделах стандарта языка. Тут ничего не нужно "доказывать".

Вы можете доказать на конкретном компиляторе, что он реализует данную спецификацию? Я верю что она присутствует.
TheCalligrapher, я преклоняюсь перед вашими знаниями, но некоторая категоричность слегка смущает. То есть, "...совершенно ни какого отношения не имеет...", "совершенно неверно" ... Совершенство вещь недостижимая. Но я вас понял. Спасибо.

@_stanislav · 01.11.2019, 22:07

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

В этом случае была выполнена value-инициализация без участия конструктора

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

@TheCalligrapher · 01.11.2019, 22:17

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

Вы можете доказать на конкретном компиляторе, что он реализует данную спецификацию?

Это как это?

Какой компилятор С++ ни возьми, какое поведение ни рассмотри, всегда можно будет сказать: "Я не верю, что этот компилятор реализует стандарт языка С++. Я верю, что на самом деле внутри компилятора бегают инопланетные зеленые гномики, которые все делают по-своему, а на стандарт им глубоко плевать. Да, внешнее поведение совпадает со стандартным, но внутри эти гномики все сделали по-своему. У них там не только конструкторы есть, но и шмустракторы, и кергукторы. Я в это верю."

Каким образом вы мне предлагаете доказывать, что это не так? Это невозможно доказать. Более того, вполне возможно, что внутри какого-то компилятора действительно бегают зеленые гномики с шмустракторами и кергукторами. И такой компилятор даже будет конформным, если внешнее поведение сгенерированного им кода соответствует стандарту языка.

Но к чему это здесь? Мы здесь говорим не о том, как ведут себя воображаемые инопланетные компиляторы, а о языке С++ как таковом. Что там творится внутри компиляторов - не имеет никакого значения и к теме никак не относится.

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

некоторая категоричность слегка смущает

Это не моя категоричность. Это формальная категоричность спецификации языка. И направлена эта категоричность исключительно на теории о зеленых гномиках. Просто потому, что они тут совершенно не нужны.

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

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

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

Ну как вы сами знаете, в С++ испокон веков существует архиважный водораздел между тривиальными классами типа POD (plain old data, выражаясь устаревшей терминологией), и "нетривиальными" классами (с виртуальными методами, нетривиальными полями и/или базами и т.п.)

В POD классах, являющихся фактически аналогом голых сишных структур, конструктор по умолчанию тривиален, т.е. существует чисто концептуально. Он ничего не делает и никакого кода не порождает. Физически его не существует. А номинальное его существование нужно лишь для упрощения формального изложения в тексте стандарта языка. Текст становится намного проще.

А как только речь заходит о "нетривиальных" классах, то вы сами уже ответили на свой вопрос: да, неявный конструктор будет вызывать конструкторы баз и полей класса (которые не обязательно "бесполезны"), а также выполнять такие внутренние инициализации, как инициализация указателя на VMT.

@_stanislav · 02.11.2019, 11:56

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

В POD классах, являющихся фактически аналогом голых сишных структур, конструктор по умолчанию тривиален, т.е. существует чисто концептуально. Он ничего не делает и никакого кода не порождает. Физически его не существует. А номинальное его существование нужно лишь для упрощения формального изложения в тексте стандарта языка. Текст становится намного проще.

конкретней, он нужен что бы можно было инициализировать вектора и массивы?, потому что компилятору нужно его дернуть, перед созданием объекта, он конечно может этого и не делать (в отношениях pod), но по стандарту наверное должен? (это про гномиков зеленых)

@Vanconts · 02.11.2019, 13:21 **[ТС]**

IGPIGP,

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

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
struct Struct
{
 Struct(){cout<<"\nStruct()\n";}
 Struct &operator=(const Struct &rhs)
 {
 cout<<"\nStruct &operator(const Struct &rhs)\n";
 return *this;
 }
 Struct(const Struct &rhs){cout<<"\n Struct(const Struct &rhs)\n";}
};
int main()
{
 Struct st=Struct();
 
//Struct st;
}

Struct st = Struct(); ничего не вызывает кроме конструктора ,потому что это аналогично Struct st()?
если сделать вот так :

C++
1
2
Struct st;
st = Struct(); то тут уже все понятно раюотает, создается анонимный объект и прирывнивается

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

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

Несмотря на то, что у класса S есть неявные конструкторы, в выражениях S() и S{ 1, 2 } они никак не задействованы.

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

Croessmah · 02.11.2019, 13:21

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

Struct st()

Это объявление функции.

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

ничего не вызывает кроме конструктора ,потому что это

Одна из форм инициализации в которой лишнее копирование отбрасывается.
Это если совсем по колхозному.

IGPIGP · 02.11.2019, 13:46

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

Какой компилятор С++ ни возьми, какое поведение ни рассмотри, всегда можно будет сказать: "Я не верю, что этот компилятор реализует стандарт языка С++.

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

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

Это невозможно доказать.

Я об этом и говорю.

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

Struct st()?

нет. Croessmah, сказал об этом.

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

Struct st = Struct(); ничего не вызывает кроме конструктора ,потому что

"Потому что" - ключевое словосочетание. Существует куча вещей которые могут называться как copy elision, RVO и пр. вещи которые были реализованы ещё до move. Пока что вам было бы достаточно (имхо) осознать, что такое "потому что" избавляет компилятор от генерации ненужного кода, а систему от его выполнения. В С++ много хвостов связанных с приемственностью (начиная от С и далее, - от версии к версии), которые позволено писать. И не всегда это приятно. Недавно я сам подорвался на том, что использовал std::lower_bound на контейнере, где он не работает как нужно (но работает - гадость такая), а его мембер-функшн set::lower_bound работает именно так как нужно. И никуто не запретил компилировать плохой вариант. Или факт того что кастомные new/delete -статические методы, но можно объявлять как нестатические. И их подпольноя виртуальность. Язык изобилует чудесными местами. Сначала нужно их заметить. Потом запомнить. И в применении и чтении разных источников понять механизм. Хотя некоторые и без этого неплохо обходятся в самых трудных для понимания местах.

@Vanconts · 02.11.2019, 14:09 **[ТС]**

IGPIGP, почему если у нас есть конструктор типа Struct() и Struct(int a) то в первом случае я не могу создать объект Struct obj(), а во втором могу Struct obj(5)?

Добавлено через 2 минуты
Croessmah, а зачем такую форму вообще разрешили? Она используется в каких-то определённых ситуациях в которых обычная Struct obj; не подойдёт?

@Undisputed · 02.11.2019, 15:37

Vanconts,
Почитайте про прототипы функций и попробуйте ответить на вопрос:
Struct obj(); это прототип или создание обьекта типа Struct.

@Vanconts · 02.11.2019, 16:00 **[ТС]**

Undisputed, прочитал и да, действительно, это прототип функции, теперь я понимаю, Вы не знаете случаем для чего нужна форма Class obj = Class()?

Добавлено через 26 секунд
Undisputed, и как объекты создаются без участи конструкторов?

@Undisputed · 02.11.2019, 16:38

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

Вы не знаете случаем для чего нужна форма Class obj = Class()?

Так вы просто создадите временный объект типа Class а затем сконструируете на основе этого временного объекта новый объект (копию временного) obj. Но компиляторы как правило оптимизируют такие выражения и копии создаваться не будет. Потому что

Смысла именно так инициализировать особо нет.

Объект типа Class будет сконструирован напрямую в obj. Для проверки можно скомпилировать код

C++
1
2
3
4
5
6
7
8
9
10
11
12
#include <iostream>
 
struct foo
{
    foo(){std::cout << "Created\n";}
    foo(const foo&){std::cout << "Created copy\n";}
};
 
int main()
{
    foo f = foo();
}

на gcc с флагом -fno-elide-constructors и без него. в первом случае сработает конструктор копирования, во втором - нет.
1) https://rextester.com/SXCO19846
2) https://rextester.com/POS25155

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

и как объекты создаются без участи конструкторов?

конструктор это всего лишь часть процесса инициализации
если инициализация прошла успешно - значит объект сформирован
в некоторых случаях как вот тут
Что возвращает конструктор?
вызов конструктора для успешной инициализации не требуется

и вообще все это формальности... конструктор, деструктор...
под капотом это всего лишь "гонение" в регистры данных и выполнение машинных команд
процессор даже не знает ни о каких конструкторах

Добавлено через 1 минуту
поэтому не нужно удивляться тому что объекты могут быть сформированы без участия конструкторов

IGPIGP · 02.11.2019, 16:39

del

@Vanconts · 02.11.2019, 16:46 **[ТС]**

Undisputed, как называется эта тема с инициализации? Хочу почитать

@Undisputed · 02.11.2019, 16:51

Vanconts,
это большая тема т.к есть разные виды инициализации и зависимости от того что именно вам нужно тема может называться по разному.
https://habr.com/ru/company/jugru/blog/469465/
вот здесь можете почитать по поводу инициализаций

@_stanislav · 02.11.2019, 16:56

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

как называется эта тема с инициализации? Хочу почитать

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

@Vanconts · 02.11.2019, 17:24 **[ТС]**

_stanislav, Тоесть мне лучше пока тчо просто понять что Struct st = Struct() это равносильно Struct st и пока что дальше не лезть?

@_stanislav · 02.11.2019, 17:36

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

это равносильно Struct st и пока что дальше не лезть?

думаю да

@TheCalligrapher · 02.11.2019, 19:10

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

TheCalligrapher,
как объекты могут создаваться без участи конструкторов?

??? На третей страницы темы вы вдруг решили задать вопрос, который разжевывался три станицы?

Объекты без участия конструктора создаются так, как написано в стандарте языка. В стандарте языка описывается масса способов инициализации без участия конструктора. Я привел явный пример в сообщении номер 36:

https://www.cyberforum.ru/post13955891.html

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

IGPIGP · 02.11.2019, 19:16

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

Объекты без участия конструктора создаются так

TheCalligrapher, я написал простой класс и провел uniform initialization одного объекта. MinGW64 release. Интересно, что размер кода не изменился когда я добавил конструктор с параметром.

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
#include <iostream>
#include <string>
using namespace std;
struct TestHaveCtorOrNot
{
  string  s;
  // exe 785 kb
  //if uncomment next string the size of exe file remains 785 kb
  //TestHaveCtorOrNot(const char* c_string):s(c_string){}
};
 
int main()
{
TestHaveCtorOrNot tst
{
//(
    " Strings are objects that represent sequences of characters.\
The standard string class provides support for such objects with an interface\
 similar to that of a standard container of bytes, but adding features specifically\
 designed to operate with strings of single-byte characters.\
The string class is an instantiation of the basic_string class \
template that uses char (i.e., bytes) as its character type, with\
 its default char_traits and allocator types (see basic_string for\
 more info on the template).\
Note that this class handles bytes independently of the encoding\
 used: If used to handle sequences of multi-byte or variable-length\
  characters (such as UTF-8), all members of this class (such as\
 length or size), as well as its iterators, will still operate in\
 terms of bytes (not actual encoded characters)."
//)
}
//nothing changes when {} to () changed in a mode with defined default ctor
;
cout<<tst.s<<endl;
    return 0;
}

То есть код должен быть одинаков, хотя побитово я не сравнивал файлы) Может я не то делаю?

@TheCalligrapher · 02.11.2019, 19:40

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

Интересно, что размер кода не изменился когда я добавил конструктор с параметром.

Это говорит лишь о том, что бесконструкторная агрегатная инициализация, которая выполняется в исходном варианте кода, порождает в итоге точно такой же код, как и вариант с явным конструктором. Поэтому ничего и не изменилось. То есть ничего примечательного в том, что "размер кода не изменился" нет. Мне совершенно не понятно, что и как вы собирались протестировать этим кодом и почему вы ожидали, что даст вам возможность что-то продемонстрировать.

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

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

Может я не то делаю?

У вас наблюдаются какие-то странные ожидания того, что абстрактные, чисто концептуальные различия в поведении кода выльются в разный сгенерированный код. С чего бы это вдруг?

Вот таком коде

C++
1
2
3
4
5
S a = { 42, 123 };
 
S b;
b.x = 42;
b.y = 123;

содержится масса бросающихся в глаза абстрактных концептуальных различий между способами "инициализации" a и b. Но никого, надеюсь, не удивит, если код в обоих случаях компилятор сгенерирует одинаковый? Наоборот, все скорее ожидают одинакового кода в таких случаях.

Почему же вы ожидаете каких-то отличий в ваших вариантах?

Новые блоги и статьи Все статьи Все блоги /
сукцессия 31: модель микоризы - это модель ещё нескольких явлений, социальных и экономических anaschu 18.07.2026 Теория «Всего»: апдейт v1. 1. 2 — 28‑мерное ядро стабилизировано Коллеги, фиксирую разбор инженерных правок и их изоморфную проекцию на экономику, меметику и половой отбор. Модель теперь не. . .	сукцессия 30. Массив проверяющих друг друга моделей anaschu 18.07.2026 Архитектура сети взаимопроверяющих моделей микоризной сукцессии (v2. 0) Развитие тензорного ОДУ-ядра и создание кросс-платформенного калибровочного полигона Уважаемые коллеги! В продолжение. . .	Грибы - это женщины, деревья - это мужчины. Анти инь янь для союза мужчины и женщины. anaschu 18.07.2026 ГЛАВНЫЙ НАУЧНО-ФИЛОСОФСКИЙ ВЫВОД: Сексуально-Репродуктивный Капитализм против Государства Моногамии Коллеги, мы вышли на финишную прямую 20-мерного ОДУ-моделирования вековой сукцессии (ветка. . .	Текстовый слайдер с нумерацией страниц и кроссбраузерность. russiannick 18.07.2026 Один мой друг написал текстовый слайдер с нумерацией страниц. Сегодня я расскажу как он умудрился подружить его с кроссбраузерностью. Очевидно сложно угодить с шириной каждому браузеру. Один крадет. . .
Грибы - это мемы, дерево - это человек. Применение микоризной модели к теории меметики Докинза. anaschu 18.07.2026 Меметический изоморфизм теории «всего»: Грибная сукцессия как модель эволюции идей Докинза Базовый код системы ОДУ микоризной сукцессии описывает не просто биологию, а универсальную. . .	Грибы - это корпорации, деревья - это государства. Механизм массонского захвата власти anaschu 18.07.2026 Макроэкономический изоморфизм теории «всего»: Грибная сукцессия как модель транснационального капитализма Базовый код системы ОДУ микоризной сукцессии описывает не просто биологию, а. . .	Расчёт периметра прямоугольника по координатам вершин Maks 18.07.2026 Решение задачи по прикладной информатике средствами 1С. Задача: Вычислить периметр прямоугольника, заданного координатами своих вершин на плоскости. Решение: Создан документ со следующими. . .	Подсчёт частоты трёхбуквенных слов в тексте Maks 18.07.2026 Решение задачи по прикладной информатике средствами 1С. Задача: Выясните, сколько раз в предложенном тексте встречается каждое трехбуквенное слово. Решение: Создан документ с единственным. . .

@Vanconts 4 / 3 / 1 Регистрация: 08.08.2019 Сообщений: 238

	Что возвращает конструктор? 31.10.2019, 23:35. Показов 13166. Ответов 69 Метки нет (Все метки) Что возвращает конструктор? Читал что если написать myclass() ; (myclass это созданный класс), то создаётся безымянный объект, но как-то странно звучит, если это правда можно подробнее? 0

@Vanconts 4 / 3 / 1 Регистрация: 08.08.2019 Сообщений: 238
	02.11.2019, 14:09 [ТС]
	IGPIGP, почему если у нас есть конструктор типа Struct() и Struct(int a) то в первом случае я не могу создать объект Struct obj(), а во втором могу Struct obj(5)? Добавлено через 2 минуты Croessmah, а зачем такую форму вообще разрешили? Она используется в каких-то определённых ситуациях в которых обычная Struct obj; не подойдёт? 0

@Undisputed 901 / 478 / 93 Регистрация: 10.06.2014 Сообщений: 2,700
	02.11.2019, 15:37
	Vanconts, Почитайте про прототипы функций и попробуйте ответить на вопрос: Struct obj(); это прототип или создание обьекта типа Struct. 0

@Vanconts 4 / 3 / 1 Регистрация: 08.08.2019 Сообщений: 238
	02.11.2019, 16:00 [ТС]
	Undisputed, прочитал и да, действительно, это прототип функции, теперь я понимаю, Вы не знаете случаем для чего нужна форма Class obj = Class()? Добавлено через 26 секунд Undisputed, и как объекты создаются без участи конструкторов? 0

IGPIGP Комп_Оратор) $Эксперт по математике/физике$ 9007 / 4708 / 630 Регистрация: 04.12.2011 Сообщений: 14,003 Записей в блоге: 16
	02.11.2019, 16:39
	del 0

@Vanconts 4 / 3 / 1 Регистрация: 08.08.2019 Сообщений: 238
	02.11.2019, 16:46 [ТС]
	Undisputed, как называется эта тема с инициализации? Хочу почитать 0

@Undisputed 901 / 478 / 93 Регистрация: 10.06.2014 Сообщений: 2,700
	02.11.2019, 16:51
	Vanconts, это большая тема т.к есть разные виды инициализации и зависимости от того что именно вам нужно тема может называться по разному. https://habr.com/ru/company/jugru/blog/469465/ вот здесь можете почитать по поводу инициализаций 0

@Vanconts 4 / 3 / 1 Регистрация: 08.08.2019 Сообщений: 238
	02.11.2019, 17:24 [ТС]
	_stanislav, Тоесть мне лучше пока тчо просто понять что Struct st = Struct() это равносильно Struct st и пока что дальше не лезть? 0