А именно:

template < class Char = char, class Allocator = std::allocator< Char > >
void foo()
{
   Allocator al;
   Char * c = al.allocate( 10 ); // Трамтарарам 
}

И так допустим в методе allocate произошла ошибка и память не может быть выделена.
Могу ли я зашиться на то что обязательно должно кинуться bad_alloc или всегда стоит
проверять еще и указатель на равенство NULL ?