Вопрос об интерфейсах

Похоже, что я нашёл самый сложный вопрос для собеседований по C++ - полностью правильного ответа ещё ни разу не слышал, а ведь не junior'ов собеседую...
Звучит он приблизительно так:
Есть такие понятия в ООП как "наследование реализации" и "наследование интерфейса"... Как Вы понимаете "наследование интерфейса" и есть ли оно в C++?

Т.е. вопрос вроде бы простой...
И вот самое странное, что почти у всех кандидатов при ответе обнаруживается некая каша из ключевого слова interface, понятия абстрактного класса, понятия класса реализующего некий интерфейс, собственно понятия интерфейса и иногда даже COM-интерфейса. Т.е. каждый приходит со своими ингридиентами к каше :) В таких условиях ожидать идеально правильного ответа невозможно, зато это позволяет "залезть в голову" кандидату.

Основа вопроса - это базисные вещи в C++, о которых часто просто не задумываются. Потому и ставлю этот вопрос в открытой форме, чтобы понять: что человек знает, как умеет думать и делать выводы из того что уже знает. 

 

А теперь доберёмся до приблизительно правильного ответа как его вижу я.

Итак, суть терминов, которые используются при ответе:
1) Интерфейс(почти классическое определение этого понятия, нагло сцитированное из wikipedia) - это некий перечень всех функций, которые может выполнить элемент, который "соответствует" этому интерфейсу. При этом в понятие "интерфейс" включены сигнатуры функций/методов, но интерфейс не оговаривает способы реализации этих методов. Т.е. интерфейс описывает некую границу, контракт, по которому могут взаимодействовать объекты расположенные по разные стороны от границы.
2) Класс, реализующий интерфейс - это класс, который предоставляет реализацию функций определённых в интерфейсе.
3) Абстрактный родительский класс - это базовый класс, у которого часть функций не реализована(pure virtual) и предоставлена для уточнения в классах-потомках.
4) Ключевое слово interface - это маппинг на ключевое слово struct, причём MS specific маппинг.
5) Понятие COM-интерфейса наиболее близко к понятию интерфейса. Разве, что есть набор обязательных функций, которые надо включать в любой COM-интерфейс, но об этом обычно забывают упомянуть.
 

Из №1 и формулировки вопроса(наследование реализации и наследование интерфейса разделены) получаем, что наследование интерфейса - это механизм языка, который позволит определить условия контракта и никак не повлиять на реализацию.

Можно подумать, что в C++ для получения интерфейса достаточно определить ВСЕ функции в базовом абстрактном классе, как pure virtual(т.е. получить pure abstract class). Но в C++ существуют функции, которые ВСЕГДА есть у класса - это те самые функции, которые часто реализуются компилятором по умолчанию - т.е. мы говорим о конструкторах с деструкторами. А значит, классы-потомки получат от класса-предка реализации этих функций (UPD: тут я не раскрыл мысль: есть конструкторы и деструктор, и класс-потомок вызовет у себя реализацию конструктора/деструктора класса предка не за счёт наследования, а за счет стандарта языка, который гарантирует вызов контруктора/деструктора класса-предка из контруктора/деструктора класса-потомка), - что говорит о том, что мы не получаем в этом случае "наследование интерфейса". :)

Структуры же в C++ также обладают конструкторами и деструкторами, но об этом часто забывают. Т.е. мы снова приходим к выводам из абзаца выше.
 

Как вывод: 

Вот и не осталось средств реализовать в C++ чистое "наследование интерфейса", и есть у нас наследование реализации.

P.S. 

Зачем я задаю такой вопрос? Так структурное понимание интерфейса позволяет хорошо справляться с написанием шаблонов. Это ведь отсутствие возможности предоставить только "наследование интерфейса" и проверку на соответствие интерфейсу было одной из основных причин придумывать такие механизмы как concepts для нового стандарта - понимаю, что сырая вещь, но так жалко что не включили :( .