В первом случае – мы будем использовать только одну из копий объекта A. Вторая
копия у нас просто «повиснет» и программа в целом может работать неверно, т.к.
класс B ничего не знает о том, что его предок не используется. Т.е. вторая копия
подобъекта A никак не будет использоваться, но будет занимать память. Во втором
варианте – просто выполняется дублирование операций, и как следствие возникает
необходимость поддерживать синхронность обоих подобъектов типа A. Это плохой
стиль и рассадник всевозможных ошибок.

template <class Elem, class Tr = char_traits<Elem> >
   class basic_istream
      : virtual public basic_ios<Elem, Tr>

struct B
{ int x,y;
};
struct D
{ B B;
  int z;
};

предмет мебели
 предмет мебели, на котором сидят
  кресло

class Final;

class FinalHelper
{
friend class Final;
private:
    FinalHelper() { }
};

class Final: public SomeInterface, virtual private FinalHelper
{
    . . .
};

class Error: public Final // не-не
{
    . . .
};

E>Конструктор виртуальной базы зовётся из самого выведенного объекта. Если не понятно почему это так, то могу объяснить (глупый ответ "по стандарту" )

class Final;

class FinalHelper
{
friend class Error;
friend class Final;
private:
    FinalHelper() { }
};

class Final:  virtual private FinalHelper
{
};

class Error: public Final // не-не
{
};
Error ee;

RO>class Final;

RO>class FinalHelper
RO>{
RO>friend class Final;
RO>private:
RO>    FinalHelper() { }
RO>};

RO>class Final: public SomeInterface, virtual private FinalHelper
RO>{
RO>    . . .
RO>};

RO>class Error: public Final // не-не
RO>{
RO>    . . .
RO>};
RO>

template<typename T> class a{ friend class T;}

template<typename T>
struct type2type{ typedef T type; };

template<typename T>
class final;

template<typename T>
class final_helper
{
  friend class type2type< final<T> >::type;
  friend class type2type< T >::type;
private:
  final_helper(){};
};

template<typename T>
class final: virtual public final_helper< T >{};

class a: final<a>{};
class b: public a{};

void main()
{
  a aa;
  b bb; // error: К сожалению ошибку выдаст только при попытке создать объект, но все же лучше чем ничего
}

>Кстати где-то читал, что данную конструкцию нельзя создать на шаблонах, т.к. конструкция

template<typename T> class a{ friend class T;}

не соответствует стандарту. Вот пример который вроде не противоречит стандарту:

>template<typename T>
>struct type2type{ typedef T type; };

>template<typename T>
>class final;

>template<typename T>
>class final_helper
>{
>  friend class type2type< final<T> >::type;
>  friend class type2type< T >::type;
>private:
>  final_helper(){};
>};

>template<typename T>
>class final: virtual public final_helper< T >{};

>class a: final<a>{};
>class b: public a{};
>void main()
>{
>  a aa;
>  b bb; // error: К сожалению ошибку выдаст только при попытке создать объект, но все же лучше чем ничего
>}
>