Размер объекта пустого класса

За одним исключением, в С++ размер всех объектов больше 0. Размер объекта пустого класса равен 1му байту. Это реализовано затем, чтобы адрес каждого объекта был отличным от адреса любого другого объекта.

Код для примера:

class Empty { };

    void f()
    {
        Empty a, b;
        if (&a == &b) cout << "если данная строка выведена на экран, то есть ошибка в работе компилятора";

        Empty* p1 = new Empty;
        Empty* p2 = new Empty;
        if (p1 == p2) cout << "если данная строка выведена на экран, то есть ошибка в работе компилятора";
    }    

Собственно, исключение: размер пустого базового класса в классе-наследнике может быть (и скорее всего будет) равен 0.

struct X : Empty {
		int i;
		// ...
	};

	void f(X* p)
	{
		void* p1 = p;
		void* p2 = &p->i;
		if (p1 == p2) cout << оптимизация пустого базового класса сработала";
	}