Проверка на окончание файла

#include <iostream>
#include <fstream>
#include <typeinfo>
#include <cstdlib>
using namespace std;
 
const int size = 100;
enum typeenum{ tmanager, tscientist, tlaborer };
///////////////////////////////////////////////////////////////////////////
class employe
{
protected:
    char name[ 10 ];
    int numb;
    static employe* array[ size ];
    static int n;
public:
    /*----------------------------------------------------------*/
    virtual void input( )
    {
        cin.ignore(10,'\n');
        cout<<"Введите имя: "; cin >> name;
        cout<<"Введите номер: "; cin >> numb;
    }
    /*----------------------------------------------------------*/
    virtual void output( )
    {
        cout << "Имя: " << name << endl;
        cout << "Номер: " << numb << endl;
    }
 
    virtual typeenum type_det( );
    static void add( );
    static void display( );
    static void writef( );
    static void readf( );
};
 employe* employe :: array[ size ];
int employe :: n = 0;
///////////////////////////////////////////////////////////////////////////
class manager : public employe
{
private:
    char title[ 20 ];
    double dues;
public:
    void input( )
    {
        employe :: input( );
        cout<<"Введите титул: "; cin >> title;
        cout<<"Введите налоги: "; cin >> dues;
    }
    void output( )
    {
        cout<<"------------------------------------------------------"<<endl;
        employe :: output( );
        cout<<"Титул: "<< title <<endl;
        cout<<"Налог: "<<dues <<endl;
        cout<<"------------------------------------------------------"<<endl;
    }
};
///////////////////////////////////////////////////////////////////////////
class scientist : public employe
{
private:
    int pubs;
public:
    void input( )
    {
        employe :: input( );
        cout<<"Введите число публикаций: "; cin >> pubs;
    }
    void  output( )
    {
        cout<<"------------------------------------------------------"<<endl;
        employe :: output( );
        cout<<"Публикаций: " << pubs <<endl;
        cout<<"------------------------------------------------------"<<endl;
    }
};
///////////////////////////////////////////////////////////////////////////
class laborer : public employe
{
public:
    void input( )
    { employe :: input( ); }
    void output( )
    {
        cout<<"------------------------------------------------------"<<endl;
        employe :: output( );
        cout<<"------------------------------------------------------"<<endl;
    }
};
///////////////////////////////////////////////////////////////////////////
 
   /*----------------------------------------------------------*/
    typeenum employe :: type_det( )
    {
        if( typeid(*this) == typeid(manager) )
        { return tmanager; }
        else if( typeid(*this)==typeid(scientist) )
        { return tscientist; }
        else if( typeid(*this)==typeid(laborer) )
        { return tlaborer; }
        else
        {cerr <<"Неправильный тип работника" <<endl; exit( 0 ); }
    }
    /*----------------------------------------------------------*/
    void employe :: add( )
    {
 
        char ch;
        cout << "m - добавить менеджера" << endl
             << "s - добавить ученого" << endl
             << "l - добавить рабочего" << endl
             << "Ваш выбор: "; cin >> ch;
        switch( ch )
        {
        case 'm': array[ n ] = new manager; break;
        case 's': array[ n ] = new scientist; break;
        case 'l': array[ n ] = new laborer; break;
        default: cout<<"Неизвестное значение"<<endl; exit( 1 );
        }
        array[ n++ ] -> input( );
    }
    /*----------------------------------------------------------*/
    void employe :: display( )
    {
 
        for( int i = 0; i < n; i++ )
        {
            switch( array[ i ] -> type_det( ) )
            {
            case tmanager: cout << "Менеджер: " <<endl; break;
            case tscientist: cout << "Ученый: " <<endl; break;
            case tlaborer: cout << "Рабочий: " <<endl; break;
            }
            array[ i ] -> output( );
        }
    }
    /*----------------------------------------------------------*/
    void employe :: writef( )
    {
 
        int ofsize;
        cout<<"Идет запись..."<<endl;
        ofstream file;
        typeenum type;
        file.open( "bigfile.dat", ios :: trunc | ios :: binary   );
        if( !file )
        { cout <<"Ошибка открытия файла! " <<endl; exit( 1 ); }
 
        for( int i = 0; i < n; i++ )
        {
            type = array[ i ] -> type_det( );
 
            file.write( (char*)&type, sizeof( type ) );
            switch( type )
            {
            case tmanager: ofsize = sizeof( manager ); break;
            case tscientist: ofsize = sizeof( scientist ); break;
            case tlaborer: ofsize = sizeof( laborer ); break;
            }
 
            file.write( (char*)(array[ i ]), ofsize );
 
            if( !file )
            { cout <<"Ошибка записи в файл! " <<endl; exit( 1 ); }
        }
        file.close( );
    }
    /*----------------------------------------------------------*/
    void employe :: readf( )
    {
 
        int ofsize;
        typeenum type;
        ifstream fileIN;
        fileIN.open( "bigfile.dat", ios :: binary );
        if( !fileIN )
        { cout <<"Ошибка открытия файла! " <<endl; exit( 1 ); }
 
        n = 0;
        while( true )
        {
           fileIN.read( (char*)&type, sizeof( type ) );
 
          if( fileIN.eof( ) )
          { break; }
 
           if( !fileIN )
           { cout<<"Ошибка чтения типа "<<endl; exit( 0 ); }
 
           switch( type )
           {
           case tmanager: array[ n ] = new manager; ofsize = sizeof( manager ); break;
           case tscientist: array[ n ] = new scientist; ofsize = sizeof( scientist ); break;
           case tlaborer: array[ n ] = new laborer; ofsize = sizeof( laborer ); break;
           }
           fileIN.read( (char*)array[ n ], ofsize );
           if( !fileIN )
           { cout<<"Ошибка чтения файла "<<endl; exit( 1 ); }
 
           n++;
 
        }
        cout<<"Идет чтение "<< n << " работников"<<endl;
        fileIN.close( );
    }
 
///////////////////////////////////////////////////////////////////////////
int main( )
{setlocale( LC_ALL,"rus" );
 
 
char ch;
while( true )
{
   cout << "a - добавить объект" << endl
        << "d - вывести на экран" << endl
        << "w - записать в файл" << endl
        << "r - прочитать из файла" << endl
        << "e - выход из программы" << endl
        << "Ваш выбор: "; cin >> ch;
   switch( ch )
   {
   case 'a' : employe :: add( ); break;
   case 'd' : employe :: display( ); break;
   case 'w' : employe :: writef( ); break;
   case 'r' : employe :: readf( ); break;
   case 'e' : cout << "Программа завершена"<<endl; exit( 1 ); break;
   default: cout << "Введено неверное значение"<<endl; exit( 1 );
   }
}
 
return 0;
}