operator=

С вероятностью 99.99% произойдет вызов b2.a.operator=(b1.a), ибо ничего другого произойти не может.

>С вероятностью 99.99% произойдет вызов b2.a.operator=(b1.a), ибо ничего >другого произойти не может.

может пройзойти просто побитовое копирование

(GCC) 3.4.3 20050314 так не думает. Сейчас стандарта под рукой нету, вечером дома посмотрю :)

Дело в том, что оператор =, конструктор по умалчанию и конструктор копирования __ВСЕГДА__ создаются компилятором (если вы не хотите чтобы они создавались, вам надо перенисти их прототипы в раздел private и не реализовывать их тела). По умалчанию, оператор = вызывает операторы = полей класса.

ISO 14882 говорит

The implicitly-defined copy assignment operator for class X performs
memberwise assignment of its subobjects. The direct base classes of X
are assigned first, in the order of their declaration in the 
case-specifier list, and then the immediate nonstatic data memers of X 
are assigned, in the order in wich they were defined in the class 
definition. Each subobject is assigned in the manner appropriate to its 
type:

- if the subobject is of class type, the copy assignment operator is 
used (as if by explicit qualification; that is, ignoring any possible 
virtual overriding functions in more derived classes);
...

Так как в "b2 = b1" оператор как раз implicitly-defined, то для b2.a 
будет вызван имено оператор копирования.