В рейтинге участвует:

групп:

каналов:

Виртуальный сервер на SSD - недорого!

Аренда выделенных и виртуальных серверов (VDS/VPS), хостинг, аренда IP-адресов, администрирование, круглосуточная поддержка

qwarta.ru подробнее

Резервное копирование с проверкой на вирусы!!!

Удобный сервис создания резервных копий на любой сервер сети интернет. Отслеживайте изменения, проверяйте на вирусы. Надежно защитите свой бизнес!

go.backupland.com

Выбираете сервер? Любая конфигурация на заказ!

Аренда физических серверов любых конфигураций под любые запросы - 1С бухгалтерия, игровые сервера, нагруженные проекты, интернет-магазины!

qwarta.ru подробнее

Size: a a a

pro.cxx

3918 membersпожаловаться на группу
2020 August 17

A

Alex in pro.cxx
Anton Lashkov
Дефолтный конструктор B компилятор добавляет в hpp, в нем вызывается конструктор unique_ptr, а в нем создается делетер. Тип неполный - ошибка.
Хммм, вот теперь начинает вырисовываться. А в месте инстанциации делетера инстанциируется и обращение к деструктору А, поэтому конструирование unique_ptr и требует complete type?
источник
11:24пожаловаться#1

AT

Andrew Titov in pro.cxx
Но ведь на этапе компоновки деструктор всё равно найдётся, не?
источник
11:25пожаловаться#2

A

Alex in pro.cxx
да, но до этого этапа не доходит, это ошибка именно компиляции
источник
11:25пожаловаться#3

AK

Andrei K in pro.cxx
Alex
Прочитал, спасибо, но мне это ничего не объяснило
Место в котором создаётся дефолтный конструктор для класса B — это файл b.hpp. Дефолтный конструктор класса B должен сконструировать юник_птр. Чтобы сконструировать юник_птр, требуется определение типа A, поскольку из него нужен деструктор.
источник
11:26пожаловаться#4

AT

Andrew Titov in pro.cxx
А почему добавление конструктора B как-то влияет на A?
источник
11:26пожаловаться#5

AK

Andrei K in pro.cxx
Andrew Titov
А почему добавление конструктора B как-то влияет на A?
Потому что ОПРЕДЕЛЕНИЕ конструктора  B по дефолту находится в b.hpp, где класс А не определён.
источник
11:27пожаловаться#6

AT

Andrew Titov in pro.cxx
А где он найдётся в b.cpp?!
источник
11:27пожаловаться#7

A

Alex in pro.cxx
Andrew Titov
А где он найдётся в b.cpp?!
а туда он включен, в b.cpp тип А полный
источник
11:27пожаловаться#8

AK

Andrei K in pro.cxx
Добавление конструктора И перенос его в b.cpp делаёт всё валидным, потому что в b.cpp A уже определён.
источник
11:27пожаловаться#9

A

Alex in pro.cxx
Andrei K
Добавление конструктора И перенос его в b.cpp делаёт всё валидным, потому что в b.cpp A уже определён.
Но деструктор В всё равно тоже должен быть в .срр? Или только конструктор?
источник
11:28пожаловаться#10

AK

Andrei K in pro.cxx
Так-то просто конструктор добавить в b.hpp не помогло бы. Поинт в том, чтобы определить его там, где A определено.
источник
11:28пожаловаться#11

AK

Andrei K in pro.cxx
Alex
Но деструктор В всё равно тоже должен быть в .срр? Или только конструктор?
По-моему тоже в b.cpp
источник
11:28пожаловаться#12

AK

Andrei K in pro.cxx
Иначе опять в main.cpp получится incomplete type по той же самой причине.
источник
11:29пожаловаться#13

A

Alex in pro.cxx
Andrei K
Иначе опять в main.cpp получится incomplete type по той же самой причине.
да, эксперимент подтверждает, хотя я теперь снова не уверен, что понял) Если вызов деструктора А инстанциируется в делетере, который инстанциируется в конструкторе, то не должен ли деструктор уже быть до лампочки?
источник
11:31пожаловаться#14

AT

Andrew Titov in pro.cxx
Alex
а туда он включен, в b.cpp тип А полный
Ух... теперь понял.

Зря ты #include изначально не дописал. :)
источник
11:31пожаловаться#15

A

Alex in pro.cxx
но я быстро исправился! Это просто опечатка, по задумке он там быть обязан
источник
11:32пожаловаться#16

A

Alex in pro.cxx
Спасибо всем за объяснения
источник
11:33пожаловаться#17

AT

Andrew Titov in pro.cxx
Alex
да, эксперимент подтверждает, хотя я теперь снова не уверен, что понял) Если вызов деструктора А инстанциируется в делетере, который инстанциируется в конструкторе, то не должен ли деструктор уже быть до лампочки?
Так в b.hpp всё ещё нет ~A.
источник
11:36пожаловаться#18

A

Alex in pro.cxx
именно в этом и смысл, чтобы его там не было)
источник
11:36пожаловаться#19

A

Alex in pro.cxx
иначе можно вообще не напрягаться с forward declaration
источник
11:36пожаловаться#20