Создаётся объект на стеке, хотя конструкторы удалены

Алексей1153 · Регистрация: 11.10.2019

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

Вот такой пример.
Вроде бы все конструкторы удалены, а объект всё равно создаётся на стеке, если указать инициализатор {}

попробовал на 14 и 17 стандартах - прокатывает (непонятно, почему).
А на 11 и 20+ не работает, как и ожидается

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
#include <iostream>
 
struct A
{
    int i=42;
    
    A()=delete;
    
    A(const A&)=delete;
    A(A&&)=delete;
    A& operator=(const A&)=delete;
    A& operator=(A&&)=delete;
    ~A()=default;
};
 
int main()
{
    A r{};//ок!
 
    std::cout<<r.i;
 
    //new A{}; //а тут ошибка, как и ожидается
}

Почему так происходит?

@DrOffset · 03.07.2024, 13:17

Не по теме:

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

@SmallEvil · 03.07.2024, 20:08

Нужно изучать подробности, раньше сталкивался...
В С++ 11 не работает именно из-за дефолтной инициализации переменной члена класа.

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

An aggregate is ... class types that has

Ограничение для с++11

no default member initializers
(since C++11)
(until C++14)

Дозволяется для с++14/17, проходит условия ниже :

no user-provided, inherited, or explicit constructors (since C++11) (until C++20)
no private or protected direct(since C++17) non-static data members
no base classes (until C++17)
no virtual base classes
no private or protected direct base classes (since C++17)
no virtual member functions

Алексей1153 · 03.07.2024, 20:37 **[ТС]**

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

no user-provided, inherited, or explicit constructors

ну как это ноу?
А вот это?

Сообщение от Алексей1153

A()=delete;

Сообщение от Алексей1153

A(const A&)=delete;

Сообщение от Алексей1153

A(A&&)=delete;

@SmallEvil · 03.07.2024, 20:59

Сообщение от Алексей1153

А вот это?

Ну видимо это не user-defined.
На cppref я такого не нашел, в стандарте копаться не буду, по этой теме, мне достаточно.

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

C++
1
2
    // user-defined constructor
    A(){};

@zayats80888 · 03.07.2024, 21:03

Сообщение от Алексей1153

А вот это?

Эти не считаются user-provided.
С с++11 до с++14 default member initializers ограничивают (о чем уже написали).
А начиная с с++20 ограничение на user-declared конструкторы.

Алексей1153 · 03.07.2024, 21:03 **[ТС]**

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

defined

- это когда юзер сделал свой конструктор

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

no user-provided

а provided - это, я так понимаю, юзер что угодно сделал - определил или удалил

@zayats80888 · 03.07.2024, 21:04

Сообщение от Алексей1153

а provided - это, я так понимаю, юзер сто угодно сделал - определил или удалил

Не, https://en.cppreference.com/w/... _functions

@Fulcrum_013 · 03.07.2024, 21:07

Сообщение от Алексей1153

ну как это ноу?

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

Алексей1153 · 03.07.2024, 21:10 **[ТС]**

Fulcrum_013, а если полей совсем нет, что будем приватить?

Добавлено через 44 секунды
zayats80888, я так понимаю, в 14 и 17 комиссия чуток накосячила, а в 20 исправила?

@zayats80888 · 03.07.2024, 21:13

Не по теме:

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

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

Агрегатная инициализация к конструкторам не имеет отношения.

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

Сообщение от Алексей1153

я так понимаю, в 14 и 17 комиссия чуток накосячила, а в 20 исправила?

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

Алексей1153 · 03.07.2024, 21:19 **[ТС]**

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

который в реальности не встретишь

я внезапно встретил так: понадобилось при выходе из скоупа совершать некоторое действие над глобальными данными (то есть, в конструкторе ничего не нужно, полей никаких не нужно). В деструкторе класса A оно совершается. Я, как законопослушный гражданин, коли уж есть деструктор, доделал правило пяти. Затем стал вспоминать, нужен ли при этом конструктор по умолчанию. Ну, вроде как нужен. А дай-ка я попробую без конструктора по умолчанию. А оно - работает! У меня 17-й стандарт.
Из интересу удалил конструктор - всё равно работает с инициализатором {}

я конструктор то сделал, чтобы потом не стрельнуло

Но нужно понять, что это было

@zayats80888 · 03.07.2024, 21:22

Не по теме:

Сообщение от Алексей1153

Затем стал вспоминать, нужен ли при этом конструктор по умолчанию.

Ну а я, как законопослушный гражданини, всегда его "дефолтил", если "удалял" другие (во всяких там non-copyable базах, и пр.)

Алексей1153 · 03.07.2024, 21:53 **[ТС]**

Не по теме:

zayats80888, я задефолтил ) В первом посте удаление - это для демонстрации "проблемы"

@zayats80888 · 03.07.2024, 22:07

Алексей1153, кстати ошибка для new-expression это баг. У тебя на gcc она выскакивала?

Алексей1153 · 03.07.2024, 22:19 **[ТС]**

zayats80888, да

Добавлено через 9 минут
короче, "во многой мудрости много печали"

Всё ж таки stateless. А мне оттуда только деструктор нужен

C++
1
2
3
4
5
6
struct A
{
    ~A()
    {
    }
};

@Fulcrum_013 · 03.07.2024, 22:33

Алексей1153, Если полей нет то сайз все равно 1 байт. Так что можно дамми байт приватить.
Или обджект пустого класса если уж чтоб точно 0 для [no_unique_address]. Вы никак пытаетесь сделать что то в духе отучения кастомных пропертей от захвата их в auto декларациях?
Можно конструктор кстати заприватить. Ну или запротектить если чилдам надо.

Алексей1153 · 04.07.2024, 08:32 **[ТС]**

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

Вы никак пытаетесь сделать

в посте №12 то, что я хотел сделать. В №16 - вот так и сделаю

вопрос был не про то, что я пытаюсь сделать, а почему работает то, что, вроде бы, не должно работать

@TheCalligrapher · 09.07.2024, 23:33

Сообщение от Алексей1153

Создаётся объект на стеке, хотя конструкторы удалены

Ну, то есть, подытоживая:

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

В С++11 этот класс не является агрегатом из-за инициализатора = 42. В С++14 и С++17 этот класс является агрегатом. Однако начиная с С++20 такой класс опять перестает быть агрегатом (https://www.open-std.org/jtc1/... 1008r1.pdf) уже из-за удаленного конструктора.

Сообщение от Алексей1153

//new A{}; //а тут ошибка, как и ожидается

Оба варианта должны вести себя одинаково. То есть в С++17 тут ошибки быть не должно, но судя по всему это баг GCC: https://gcc.gnu.org/bugzilla/show_bug.cgi?id=94983. В Clang этого бага нет.

Новые блоги и статьи Все статьи Все блоги /
Уведомление о неверно выбранном значении справочника Maks 06.04.2026 Алгоритм из решения ниже реализован на примере нетипового документа "НарядПутевка", разработанного в конфигурации КА2. Задача: уведомлять пользователя, если в документе выбран неверный склад. . .	Установка Qt Creator для C и C++: ставим среду, CMake и MinGW без фреймворка Qt 8Observer8 05.04.2026 Среду разработки Qt Creator можно установить без фреймворка Qt. Есть отдельный репозиторий для этой среды: https:/ / github. com/ qt-creator/ qt-creator, где можно скачать установщик, на вкладке Releases:. . .	AkelPad-скрипты, структуры, и немного лирики.. testuser2 05.04.2026 Такая программа, как AkelPad существует уже давно, и также давно существуют скрипты под нее. Тем не менее, прога живет, периодически что-то не спеша дополняется, улучшается. Что меня в первую очередь. . .	Отображение реквизитов в документе по условию и контроль их заполнения Maks 04.04.2026 Алгоритм из решения ниже реализован на примере нетипового документа "ПланированиеСпецтехники", разработанного в конфигурации КА2. Данный документ берёт данные из другого нетипового документа. . .
Фото всей Земли с борта корабля Orion миссии Artemis II kumehtar 04.04.2026 Это первое подобное фото сделанное человеком за 50 лет. Снимок называют новым вариантом легендарной фотографии «The Blue Marble» 1972 года, сделанной с борта корабля «Аполлон-17». Новое фото. . .	Вывод диалогового окна перед закрытием, если документ не проведён Maks 04.04.2026 Алгоритм из решения ниже реализован на примере нетипового документа "СписаниеМатериалов", разработанного в конфигурации КА2. Задача: реализовать программный контроль на предмет проведения документа. . .	Программный контроль заполнения реквизитов табличной части документа Maks 02.04.2026 Алгоритм из решения ниже реализован на примере нетипового документа "СписаниеМатериалов", разработанного в конфигурации КА2. Задача: 1. Реализовать контроль заполнения реквизита. . .	wmic не является внутренней или внешней командой Maks 02.04.2026 Решение: DISM / Online / Add-Capability / CapabilityName:WMIC~~~~ Отсюда: https:/ / winitpro. ru/ index. php/ 2025/ 02/ 14/ komanda-wmic-ne-naydena/

@DrOffset
	03.07.2024, 13:17
	Не по теме: Хотя я невнимательно прочел вопрос. Пока удалю. 0

Алексей1153 фрилансер 6466 / 5688 / 1131 Регистрация: 11.10.2019 Сообщений: 15,140
	03.07.2024, 21:10 [ТС]
	Fulcrum_013, а если полей совсем нет, что будем приватить? Добавлено через 44 секунды zayats80888, я так понимаю, в 14 и 17 комиссия чуток накосячила, а в 20 исправила? 0

Алексей1153
	03.07.2024, 21:53 [ТС]
	Не по теме: zayats80888, я задефолтил ) В первом посте удаление - это для демонстрации "проблемы" 0

@zayats80888 6352 / 3523 / 1428 Регистрация: 07.02.2019 Сообщений: 8,995
	03.07.2024, 22:07
	Алексей1153, кстати ошибка для new-expression это баг. У тебя на gcc она выскакивала? 0

@Fulcrum_013 2083 / 1575 / 169 Регистрация: 14.12.2014 Сообщений: 13,614
	03.07.2024, 22:33
	Алексей1153, Если полей нет то сайз все равно 1 байт. Так что можно дамми байт приватить. Или обджект пустого класса если уж чтоб точно 0 для [no_unique_address]. Вы никак пытаетесь сделать что то в духе отучения кастомных пропертей от захвата их в auto декларациях? Можно конструктор кстати заприватить. Ну или запротектить если чилдам надо. 0

Создаётся объект на стеке, хотя конструкторы удалены

Решение