3

I have a n X 2 matrix stored in a text file as it is. I try to read it in C++

nb_try=0;
fin>>c_tmp>>gamma_tmp;
while (!fin.eof( ))      //if not at end of file, continue reading numbers
{
  // store
  cs_bit.push_back(c_tmp);
  gammas_bit.push_back(gamma_tmp);
  nb_try++;

  // read
  fin>>c_tmp;
  assert(!fin.fail( )); // fail at the nb_try=n   
  if(fin.eof( ))break;
  fin>>gamma_tmp; // get first number from the file (priming the input statement)
  assert(!fin.fail( ));    

}

The first assert failes, i.e. fin.fail( ) is true, when nb_try==n, which happens when it tries to read the first number which does not exist. But how come fin.eof( ) is not true after reading the last number? Does it mean it becomes true only when reading the first number that does ot exist? Also is it true that fin.fail( ) and fin.eof( ) are becoming true at the same time?

Thanks and regards!

3 Answers 3

18

This is the wrong way to read a file:

while (!fin.eof( ))
{
      // readLine;
      // Do Stuff
}

The standard pattern is:

while(getlineOrValues)
{
    // Do Stuff
}

So looking at your code quickly I think it would be asier to write it as:

while(fin>>c_tmp>>gamma_tmp)
{
    // loop only eneterd if both c_tmp AND gamma_tmp
    // can be retrieved from the file.

    cs_bit.push_back(c_tmp);
    gammas_bit.push_back(gamma_tmp);
    nb_try++;   
} 

The problem is that EOF is only true AFTER you try and read past it. Having no character left in the file to read is not the same as EOF being true. So you read the last line and get values and there is nothing left to read, but EOF is still false so the code re-enter the loop. When it tries and read the c_tmp then EOF gets triggered and your asserts go pear shaped.

The solution is to put the read as the while condition. The result of doing the read is the stream. But when a stream is used in a boolean context (such as a while condition) it is converted into a type that can be used as like a bool (Technically it is a void* but thats not important).

11
  • Thanks! when exactly fin.eof() becomes true? After reading the last number in the file or after trying to read the first number which does not exist? Same question for fin.fail()?
    – Tim
    Sep 29, 2009 at 19:16
  • 2
    EOF is true when you try and read past the EOF. Reading upto the end of file does not change the state. So EOF becomes true when you read the first value that does not exist past the end of file. Sep 29, 2009 at 19:18
  • Thanks again! this clarify EOF. For ifstream::fail(), does it become true when first reading past the end of the file just as eof() does? In my example, it seems to be true. But I learned from cplusplus.com/reference/iostream/ios/fail that "The function returns true if either the failbit or the badbit is set. At least one of these flags is set when some error other than reaching the End-Of-File occurs during an input operation". Does it say fail() doesn't become true only because EOF occurs?
    – Tim
    Sep 29, 2009 at 20:54
  • ifstream::fail() doesn't imply eof, see here for an explanation of the state flags: cplusplus.com/reference/iostream/ios_base/iostate Sep 29, 2009 at 21:56
  • The fail bit is set if the last operation failed. In this case the fail and eof will become true at the same time. But this does not imply that fail and eof are the same thing. Note the fail will be set if you try and read a non numeric string into an int variable with operator >> etc. At this point the fail bit is true but eof is still false. Sep 29, 2009 at 22:06
5

IIRC, the eofbit doesn't get set until you actually try to read past the end of the file. That is, once you reach the end of the file, you have to read one more time before that flag will be set.

0
0

If the text file contains this sequence, without quotes, "12345 67890", then #3 will return false, but #4 will return true because there is no whitespace after the last number:

int i;
bool b;

fin >> i;

b = fin.fail();  // 1
b = fin.eof();   // 2

fin >> i;

b = fin.fail();  // 3
b = fin.eof();   // 4

fin >> i;

b = fin.fail();  // 5
b = fin.eof();   // 6

However, if the sequence is "12345 6789 " (note the space after the last number), then #3 and #4 will both return false, but #5 and #6 will return true.

You should check for both, eof() and fail() and if both are true, you have no more data. If fail() is true, but eof() is false, there's a problem with the file.

1
  • I tried the first case, and it is not correct that "#4 will return true".
    – Tim
    Sep 30, 2009 at 1:31

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.