Interesting C/C++ interview questions

[Vovka]

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

Так ведь объявление типа через струцт не запрещает наследование.

Оно объясняет смысл данного элемента данных.
99% что никому не прийдет в голову наследоваться от струцт в дальнейшем

Неужели нельзя "запечатать" класс собственными средствами С++? Не верю.

А как интересно? Можно конечно не использовать виртуальных функций и протецтед членов (о чем уже упоминалось) и тогда от наследования не будет особого толку, хотя сама возможность и будет присутствовать.
Как запретить наследование от данного класса - разве что сделать все конструкторы приватными и создавать обьекты статической функцией?

На самом деле, даже не наследование запрещать надо, а удаление через указатель на базовый класс.

А для этого достаточно сделать _невитруальный_ деструктор протецтед.

Ну все, дожились. За что боролись, на то и напоролись. Страуструп думал-думал всюночь, наверное. Придумал. Пришел Вовка и все почикал. Ееее... Есь такой хороший язык - С называется или Ява - там тоже много чего почикано. Рекомендую.

Пошто имя трупово всуе употребляете?

В с чем несогласны-то?
Действительно, наследовать от класса с невиртуальным деструктором можно. Удалять через указатель на базовый - нельзя. Для того, чтобы это предотвратить - делаем деструктор базового класса protected. Чего тут неясно?

[WPooh]

Оооо..! Теперь мне понятно, что вам неправильно понятно. Виртуальный класс - ну и ? Наследовать то я все равно могу. Да, нельзя сделать обьект оф деривед класс ЕСЛИ КАК МИНИМУМ 1 ОБЙЕКТ парента УЖЕ присутствует в системе. Но ето НИКАК не запрещает мне наследовать свои классы.

Нет в C++ ключевого слова sealed, это не C#. Насколько я знаю, не подразумевался Страуструпом обрыв цепочки наследования при разработке C++. Поправьте меня, если я не прав.
Поэтому, вы можете сколько угодно наследоваться от какого угодно класса. Экземпляр получить можете не всегда. Иногда это имеет смысл, иногда - нет.
Мой комментарий касался того, что объект не сможет быть сконструирован.
То есть, как ответ на:

Шо-шо? А если самому попробовать откомпилить и переменную создать?

Мне расскажите как работает - мне непонятно. Ни сразу, ни потом.

Идет за ответ?

Да, нельзя сделать обьект оф деривед класс ЕСЛИ КАК МИНИМУМ 1 ОБЙЕКТ парента УЖЕ присутствует в системе.

Объект родителя тут при чем? Вот тут уж мне не понятно. Мы про паттерн single instance говорим? Объясните мысль, пожалуйста.

[Yuri_p33]

цласс Финал
{
протецтед:
Финал(инт) {}
};

цласс МыСеаледЦласс: привате виртуал Финал
{
публиц:
МыСеаледЦласс(): Финал(0) {};
/* ыоур цоде */
};

цласс МыДериведЦласс: публиц МыСеаледЦласс
{
};[/code]
Хотя этот код скомпилируется, при попытке создать переменную типа МыДериведЦласс компилятор пошлет нас подальше. Говорят, такой вопрос даже на интервью бывает

Шо-шо? А если самому попробовать откомпилить и переменную создать?

Пробовал на VC++.NET и ранее на VC++ 6. Работает (т.е. не работает )

Code: Select all

int _tmain(int argc, _TCHAR* argv[])
{
   MyDerivedClass a; //Error C2512: 'Final::Final' : no appropriate default constructor available
   return 0;
}

А на каком компиляторе у вас это работает?

[TLK]

Class can be specifically designed to be derived and still leave long healthy life without virtual destructor. And often live well without any destructor at all.
The first example is "pure" interface definition.

This particular example is when the destructor MUST be virtual. (No, I am not a proponen of writing virtual anything by default).

I actually disagree that it "MUST" automatically.
Sometimes it is still not necessary.

Take a look at IUnknown defition its the most basic root interface in COM.
Declared in unknwn.h
No virtual destructor. Of course maybe COM can be considered as a "special case" because in COM we do not "delete" objects but still...

[A. Fig Lee]

В с чем несогласны-то?
Действительно, наследовать от класса с невиртуальным деструктором можно. Удалять через указатель на базовый - нельзя. Для того, чтобы это предотвратить - делаем деструктор базового класса протецтед. Чего тут неясно? :паин1:

Дык, полиморфизм - неотьемлемая часть языка. То, что вы предлагаете - кастрирование. ИМХО.

[A. Fig Lee]

Объясните мысль, пожалуйста.

Обьясняю: ошибся. сорри... И Плейшнер вывалился из окна.

[A. Fig Lee]

А на каком компиляторе у вас это работает?

Nashel oshibku.

[отточие]

Code: Select all

class Final 
{ 
protected: 
   Final(int) {} 
}; 

class MySealedClass: private virtual Final 
{ 
public: 
   MySealedClass(): Final(0) {}; 
   /* your code */ 
}; 

class MyDerivedClass: public MySealedClass 
{ 
};

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

Шо-шо? А если самому попробовать откомпилить и переменную создать?

Пробовал на VC++.NET и ранее на VC++ 6. Работает (т.е. не работает )

Code: Select all

int _tmain(int argc, _TCHAR* argv[])
{
   MyDerivedClass a; //Error C2512: 'Final::Final' : no appropriate default constructor available
   return 0;
}

А на каком компиляторе у вас это работает?

Code: Select all

int main(int argc, char **argv, char **envp)
{
    MyDerivedClass a;
    exit(0);
}

gcc/Solaris: "Работает (т.е. не работает )" (c)

Code: Select all

  gcc hello.cpp
  hello.cpp: In method `MyDerivedClass::MyDerivedClass()':
  hello.cpp:22: no matching function for call to `Final::Final ()'
  hello.cpp:7: candidates are: Final::Final(int)
  hello.cpp:8:                 Final::Final(const Final &)

GreenHills standard C++ : "Работает (т.е. не работает )" (c)

Code: Select all

  "C:\GHS\MyProjects\Project2\src\hello.cpp", line 17: error: no default
            constructor exists for class "Final"
    class MyDerivedClass: public MySealedClass 
                               ^
            detected during implicit generation of
                      "MyDerivedClass::MyDerivedClass()" at line 22
  Error: build failed
  Build terminated
  Build failed

GreenHills Embedded C++: Stupid test, as Embedded C++ does not support multiple or virtual inheritance, but nevertheless...
"Работает (т.е. не работает )" (c)

Code: Select all

  "C:\GHS\MyProjects\Project2\src\hello.cpp", line 10: error: Embedded C++ does
            not support multiple or virtual inheritance
    class MySealedClass: private virtual Final 
                         ^
  "C:\GHS\MyProjects\Project2\src\hello.cpp", line 17: error: no default
            constructor exists for class "Final"
    class MyDerivedClass: public MySealedClass 
                                 ^
            detected during implicit generation of
                      "MyDerivedClass::MyDerivedClass()" at line 22
  Error: build failed
  Build terminated
  Build failed

[Vovka]

В с чем несогласны-то?
Действительно, наследовать от класса с невиртуальным деструктором можно. Удалять через указатель на базовый - нельзя. Для того, чтобы это предотвратить - делаем деструктор базового класса протецтед. Чего тут неясно? :паин1:

Дык, полиморфизм - неотьемлемая часть языка. То, что вы предлагаете - кастрирование. ИМХО.

Бог с вами, я, да чтоб предлагал _такое_?!

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

[WPooh]

Обьясняю: ошибся. сорри... И Плейшнер вывалился из окна.

Ничего, бывает.

[шпиён]

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

В том-то и дело, что исходно вопрос был про дестрактор в небазовом законченном классе, предназначенным для эксплуатации as is, без наследования. protected destructor сделает такой класс непригодным к эксплуатации по основному пути.

[Big Cheese]

Неужели нельзя "запечатать" класс собственными средствами С++? Не верю.

А как интересно? Можно конечно не использовать виртуальных функций и protected членов (о чем уже упоминалось) и тогда от наследования не будет особого толку, хотя сама возможность и будет присутствовать.
Как запретить наследование от данного класса - разве что сделать все конструкторы приватными и создавать обьекты статической функцией?

Примерно так:

Code: Select all

class Final
{
protected:
   Final(int) {}
};

class MySealedClass: private virtual Final
{
public:
   MySealedClass(): Final(0) {};
   /* your code */
};

class MyDerivedClass: public MySealedClass
{
};

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

После добавления явного вызова Final(0) в конструктор MyDerivedClass все компилируется и работает (VC++):

Code: Select all

class Final 
{ 
protected: 
   Final(int) {} 
}; 

class MySealedClass: private virtual Final 
{ 
public: 
   MySealedClass(): Final(0) {}; 
   /* your code */ 
}; 

class MyDerivedClass: public MySealedClass 
{ 
public:
   MyDerivedClass() : Final(0) {}
};

int main(int argc, char* argv[])
{
   MySealedClass cc;
   MyDerivedClass c;
   return 0;
}

[8K]

А зачем virtual? Мемберов же нет кроме конструктора.
---------------
Похоже, глупость написал. Пойду Страуструпа читать.

[Yuri_p33]

После добавления явного вызова Final(0) в конструктор MyDerivedClass все компилируется и работает (VC++)

Да, есть такая бяка
Попробуем по другому:

Code: Select all

class Final 
{ 
private: 
   Final(int) {}
friend class MySealedClass;
}; 

class MySealedClass: private virtual Final 
{ 
public: 
   MySealedClass(): Final(0) {}; 
   /* your code */ 
}; 

class MyDerivedClass: public MySealedClass 
{ 
public:
   MyDerivedClass(): Final(0) {}; //Error - can't access private member
};

int _tmain(int argc, _TCHAR* argv[])
{
   MySealedClass s;
   MyDerivedClass a;
   return 0;
}

Только кривовато это
Мнения?

[Yuri_p33]

А зачем virtual? Мемберов же нет кроме конструктора.

Что бы изменить порядок вызовов конструкторов.