Protected abstract virtual base pure virtual private destructor

@ITcrusader · Регистрация: 12.02.2013

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

Хай, all)
Вопрос не для начинающих и дурацкий) В разделе для экспертов публиковать не стал, чтобы не засорять его)

Наткнулся тут на веселую штуку:

If you think C++ is not overly complicated, just what is a «protected abstract virtual base pure virtual private destructor», and when was the last time you needed one? – Tom Cargill (1990)

По-русски (надеюсь, нормально на русский перевел):
Если вы не считаете C++ излишне сложным, скажите, что такое «закрытый чисто виртуальный деструктор защищенного абстрактного виртуального базового класса», и когда последний раз вы нуждались в нем? – Том Каргилл (1990)

Вот это вот так выглядит:

C++
1
2
3
4
5
6
7
8
9
class Base  {
private:
    virtual ~Base() = 0;
};
 
class Derived: protected virtual Base   
{   
 
};

Кому-нибудь доводилось использовать подобную штуку?) Если да, я был бы рад узнать, в каком контексте. Может, эта конструкция с практической точки зрения вообще не аппликабельна. Я еще не успел поразмыслить над этим)

@ForEveR · 07.04.2015, 11:21

ITcrusader, Этот же вопрос на стеке: http://stackoverflow.com/quest... destructor

Добавлено через 7 минут
Наверное единственный вариант который можно предложить сходу:

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
class Base  {
private:
    friend class Derived;
    virtual ~Base() = 0;
};
 
Base::~Base() {}
 
class Derived: protected virtual Base   
{
};
 
int main()
{
   Derived d;
}

Но это вмеру бессмысленно.

@Kastaneda · 07.04.2015, 12:08

Это похоже (не похоже, а так и есть

) на одну из тех вещей, которые можно написать на С++ (зная его на достаточном уровне), но при этом они не имеют практической ценности.
Постарался придумать пример

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
class Base  {
private:
    friend class Derived1;
    friend class Derived2;
    friend class SuperDerived;
    virtual ~Base() = 0;
};
 
int *ptr = new int;
 
Base::~Base() {delete ptr;}
 
class Derived1 : protected virtual Base   
{
};
 
class Derived2 : protected virtual Base   
{
};
 
class SuperDerived: Derived1, Derived2
{
};
 
int main()
{
    SuperDerived d;
}

Что нам это все дает
1. Мы не можем создать объект Base
2. Мы не можем унаследоваться от Base если явно не указали этого в самом Base
3. Мы корректно очищаем ptr (т.е. не получаем "double free or corruption (fasttop)" в рантайме)
4. Может еще что-то, не могу придумать

Вобщем-то тоже самое можно сделать по-другому, более понятно)

Croessmah · 07.04.2015, 13:22

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

2. Мы не можем унаследоваться от Base если явно не указали этого в самом Base

Я об этом же хотел написать, но вот что меня напрягло.

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
#include <iostream>
 
class Base  {
private:
    friend class Locker;
    virtual ~Base() = 0;
};
 
Base::~Base() {}
 
class Locker: protected virtual Base
{
};
 
class DerLocker : public Locker
{
    //DerLocker() : Locker() {}
} ;
 
 
int main()
{
   Locker l;
   //DerLocker d;
}

Стоит убрать хоть один из комментариев - ошибка компиляции без вариантов.

При этом, если оставить комментарии, то нормально компилируется:
vc++ http://rextester.com/VNUC49025
gcc 4.9.2 http://ideone.com/hbq90L
gcc 4.3.2 http://ideone.com/dNdPze

Но с теми же комментариями в rextester с gcc ошибка:
gcc 4.8.2 http://rextester.com/JGCRP29800
Без опции -std=c++11 компилируется нормально
http://rextester.com/EWRU92846
Но в

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

Том Каргилл (1990)

1990 году о C++11 еще не мечтали...

Что Я Делаю Не Так?
Может что напутал с просонья...

Ilot · 07.04.2015, 13:31

Только сегодня читал нечто подобное у Саттера. Может быть в этом причина?

Croessmah · 07.04.2015, 13:37

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

Стоит убрать хоть один из комментариев - ошибка компиляции без вариантов.

а, нет, если убрать комментарий

C++
1
2
3
4
class DerLocker : public Locker
{
    DerLocker() : Locker() {}
} ;

то vc++ нормально компилирует
http://rextester.com/DRM84562
а gcc - нет:
http://rextester.com/JFK38517

@Kastaneda · 07.04.2015, 13:42

сдается мне g++ правильно делает.
Нам нужен не ленивый человек, который в стандарте посмотрит)

Croessmah · 07.04.2015, 13:47

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

сдается мне g++ правильно делает.

А с комментами компилирует (без с++11)

Kastaneda, ты тоже лентяй?

@Kastaneda · 07.04.2015, 13:49

Не по теме:

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

Kastaneda, ты тоже лентяй?

это мягко сказано :)

@ForEveR · 07.04.2015, 14:40

Не должно это по идее компилироваться, ибо:

For each distinct base class that is
specified virtual, the most derived object shall contain a single base class subobject of that type.

Т.к. в Base не указано, что DerLocked friend, то и компилироваться не должно.

Новые блоги и статьи Все статьи Все блоги /
Инструменты COM: Сохранение данный из VARIANT в файл и загрузка из файла в VARIANT bedvit 28.01.2026 Сохранение базовых типов COM и массивов (одномерных или двухмерных) любой вложенности (деревья) в файл, с возможностью выбора алгоритмов сжатия и шифрования. Часть библиотеки BedvitCOM Использованы. . .	Загрузка PNG с альфа-каналом на SDL3 для Android: с помощью SDL_LoadPNG (без SDL3_image) 8Observer8 28.01.2026 Содержание блога SDL3 имеет собственные средства для загрузки и отображения PNG-файлов с альфа-каналом и базовой работы с ними. В этой инструкции используется функция SDL_LoadPNG(), которая. . .	Загрузка PNG с альфа-каналом на SDL3 для Android: с помощью SDL3_image 8Observer8 27.01.2026 Содержание блога SDL3_image - это библиотека для загрузки и работы с изображениями. Эта пошаговая инструкция покажет, как загрузить и вывести на экран смартфона картинку с альфа-каналом, то есть с. . .	Влияние грибов на сукцессию anaschu 26.01.2026 Бифуркационные изменения массы гриба происходят тогда, когда мы уменьшаем массу компоста в 10 раз, а скорость прироста биомассы уменьшаем в три раза. Скорость прироста биомассы может уменьшаться за. . .
Воспроизведение звукового файла с помощью SDL3_mixer при касании экрана Android 8Observer8 26.01.2026 Содержание блога SDL3_mixer - это библиотека я для воспроизведения аудио. В отличие от инструкции по добавлению текста код по проигрыванию звука уже содержится в шаблоне примера. Нужно только. . .	Установка Android SDK, NDK, JDK, CMake и т.д. 8Observer8 25.01.2026 Содержание блога Перейдите по ссылке: https:/ / developer. android. com/ studio и в самом низу страницы кликните по архиву "commandlinetools-win-xxxxxx_latest. zip" Извлеките архив и вы увидите. . .	Вывод текста со шрифтом TTF на Android с помощью библиотеки SDL3_ttf 8Observer8 25.01.2026 Содержание блога Если у вас не установлены Android SDK, NDK, JDK, и т. д. то сделайте это по следующей инструкции: Установка Android SDK, NDK, JDK, CMake и т. д. Сборка примера Скачайте. . .	Использование SDL3-callbacks вместо функции main() на Android, Desktop и WebAssembly 8Observer8 24.01.2026 Содержание блога Если вы откроете примеры для начинающих на официальном репозитории SDL3 в папке: examples, то вы увидите, что все примеры используют следующие четыре обязательные функции, а. . .

Ilot $Эксперт по математике/физике$ 2223 / 1425 / 420 Регистрация: 16.05.2013 Сообщений: 3,642 Записей в блоге: 6
	07.04.2015, 13:31
	Только сегодня читал нечто подобное у Саттера. Может быть в этом причина? Миниатюры 1

@Kastaneda 5232 / 3205 / 362 Регистрация: 12.12.2009 Сообщений: 8,143 Записей в блоге: 2
	07.04.2015, 13:42
	сдается мне g++ правильно делает. Нам нужен не ленивый человек, который в стандарте посмотрит) 0