Checking for a valid pointer

Question

I have this vector of pointers

std::vector<Connection *> List;

typedef struct {
    int Initialized;
....
} Connection;

My program is core dumping somewhere in these 5 lines. What could be the problem?

1 for ( size_t i = 0; i < List.size(); i++ ) { 
2       if ( List[i]->Initialized ) {
3           counter++ ;
4       }
5} /* for() */`

List[i] is pointing to some garbage location. so when you access List[i]->Initialized, it core dumps. Can I check for NULL here to prevent the core dump? My understanding is checking for NULL will not work as the pointer can be pointing to garbage and still be valid. So can I add some check before line 2 here, to prevent the core dump?
The List.size() has a huge number,so the for loop never ends??

Am I missing some other scenarios here? we don't know what is causing this issue, so can't reproduce it. For some reason I am unable to use gdb or dbx on this system.

You cannot check for invariants you failed to establish. Only depend on some variable being initialized after you did the deed. — Deduplicator, Oct 28 '14 at 20:25
At some point you are pushing garbage into the vector... don't do that! — cdhowie, Oct 28 '14 at 20:28
Maybe use [std::shared_ptr](http://en.cppreference.com/w/cpp/memory/shared_ptr) i.e. `std::vector>` — Basile Starynkevitch, Oct 28 '14 at 20:29
Please consider http://stackoverflow.com/questions/6500313/why-should-c-programmers-minimize-use-of-new — sfrehse, Oct 28 '14 at 20:44
Try to check that code with valgrind for any invalid data. Just write a small test case and check that with valgrind: http://valgrind.org/gallery/linux_mag.html — sfrehse, Oct 28 '14 at 21:18

score 2 · Answer 1 · answered Oct 28 '14 at 20:28

So can I add some check before line 2 here, to prevent the core dump?

No, you can't check whether a pointer is valid. The way to avoid dereferencing invalid pointers is to make sure that, at every point in your code, you already know which pointers are valid and which are invalid. This may involve some combination of:

Not inserting invalid pointers into the container in the first place
Ensuring that any pointers that become invalid are removed from the container before or immediately after this occurs

The List.size() has a huge number,so the for loop never ends??

This would not cause a core dump.

Another possibility is that your code has some undefined behaviour so that List's memory becomes corrupted before the loop is entered.

You can use a debugger such as gdb to examine the core file and determine which instruction caused the core dump.

for some reason I am not able to use a debugger on this system. — user1549994, Oct 28 '14 at 20:42

sfrehse · Answer 2 · 2014-10-28T20:41:14.637

1

One may initialize that particular underlying data structure with a constructor set initialized to the appropriate value.

Defining a container storing a pointer capture by a smart-pointer:

std::vector < std::shared_ptr < Connection > > list

Filling the vector is done by, e.g.,

list.push_back ( std::make_shared < Connection > ( /* arg1, arg2, ... */ );

Finally, you can simply check whether the smart-pointer of an indexn i is valid.

for ( ... )  {   
   if ( List[i] ) {
   }
}

edited Oct 28 '14 at 20:41

answered Oct 28 '14 at 20:28

sfrehse

1,062
9
22

This is still going to probably-crash if `List[i]` is an uninitialized pointer. – cdhowie Oct 28 '14 at 20:36
@cdhowie You are right, but my answer was before the question was complete. – sfrehse Oct 28 '14 at 20:38

Checking for a valid pointer

2 Answers2