150 likes | 161 Views
This overview explains the major memory segments in C++, including stack, heap, and code. It discusses the differences from Java, memory lifetimes, and potential errors in memory initialization and lifetime management.
E N D
Overview • 4 major memory segments • Global: variables outside stack, heap • Code (a.k.a. text): the compiled program • Heap: dynamically allocated variables • Stack: parameters, automatic and temporary variables • Key differences from Java • Destructors of automatic variables called when stack frame where declared pops • No garbage collection: program must explicitly free dynamic memory • Heap and stack use varies dynamically • Code and global use is fixed • Code segment is “read-only” stack heap code global
int g_default_value = 1; int main (int argc, char **argv) { Foo *f = new Foo; f->setValue(g_default_value); delete f; return 0; } void Foo::setValue(int v) { this->m_value = v; } Illustrating C++ Memory crt0 stack main Foo *f Foo *this int v Foo: setValue m_value heap code global g_default_value
int g_default_value = 1; int main (int argc, char **argv) { Foo *f = new Foo; f->setValue(g_default_value); delete f; return 0; } void Foo::setValue(int v) { this->m_value = v; } Illustrating C++ Memory stack Foo *f Foo *this int v m_value heap code global g_default_value
Temporary variables Are scoped to an expression, e.g., a = b + 3 * c; Automatic (stack) variables Are scoped to the duration of the function in which they are declared Dynamically allocated variables Are scoped from explicit creation (new) to explicit destruction (delete) Global variables Are scoped to the entire lifetime of the program Includes static class and namespace members May still have initialization ordering issues (Singleton Pattern) Member variables Are scoped to the lifetime of the object within which they reside Depends on whether object is temporary, automatic, dynamic, or global Lifetime of a pointer/reference can differ from the lifetime of the location to which it points/refers Memory, Lifetimes, and Scopes
#include <iostream> using namespace std; int main (int, char *[]) { int * i = new int; // any of these can throw bad_alloc int * j = new int (3); int * k = new int[*j]; int * l = new int[*j]; for (int m = 0; m < *j; ++m) { l[m] = m; } delete i; delete j; delete [] k; delete [] l; return 0; } Dynamic Allocation and De-allocation Array vs. single instance new Fill in array values with loop Array vs. single instance delete
int main (int argc, char **argv) { Foo f; Foo *p = &f; Foo &r = f; delete p; return 0; } Multiple aliases for same object f is a simple alias, the object itself p is a variable holding a pointer r is a variable holding a reference What happens when we call delete on p? Destroy a stack variable (may get a bus error there if we’re lucky) If not, we may crash in destructor of f at function exit Or worse, a local stack corruption that may lead to problems later Problem: object destroyed but another alias to it was then used A Basic Issue: Aliasing Foo &r Foo f Foo *p
int main(int argc, char **argv) { Foo *f; cout << f->value() << endl; for (int i; i < argc; ++i) cout << argv [i] << endl; return 0; } Heap and stack memory is not initialized for us in C++ Get whatever was out in memory Unless we initialize it ourselves So we should always do so What happens when we dereference pointer f? If we’re lucky, a program crash If not, we get bad output Or worse, a local over-write, leading to problems later Is there anything else wrong with this code? Memory Initialization Errors
int main(int argc, char **argv) { Foo *f; cout << f->value() << endl; for (int i; i < argc; ++i) cout << argv [i] << endl; return 0; } Heap and stack memory is not initialized for us in C++ Get whatever was out in memory Unless we initialize it ourselves So we should always do so What happens when we dereference pointer f? If we’re lucky, a program crash If not, we get bad output Or worse, a local over-write, leading to problems later Is there anything else wrong with this code? Memory Initialization Errors
Foo *bad() { Foo f; return &f; } Foo &alsoBad() { Foo f; return f; } Foo mediocre() { Foo f; return f; } Foo * better() { Foo *f = new Foo; return f; } Automatic variables Are destroyed on function return But in bad, we return a pointer to a variable that no longer exists Reference from also_bad similar Like an un-initialized pointer What if we returned a copy? Ok, we avoid the bad pointer, and end up with an actual object But we do twice the work (why?) And, it’s a temporary variable (more on this next) We really want dynamic allocation here Memory Lifetime Errors
Foo mediocre() { Foo f; return f; } Foo * good() { return new Foo; } int main() { Foo *f = &mediocre(); cout << good()->value() << endl; return 0; } Dynamically allocated variables Are not garbage collected But are lost if no one refers to them: called a “memory leak” Temporary variables Are destroyed at end of statement Similar to problems w/ automatics Can you spot 2 problems? One with a temporary variable One with dynamic allocation More Memory Lifetime Errors
int main() { Foo *f = &mediocre(); cout << good()->value() << endl; return 0; } Foo mediocre() { Foo f; return f; } Foo *good() { return new Foo; } Dynamically allocated variables Are not garbage collected But are lost if no one refers to them: called a “memory leak” Temporary variables Are destroyed at end of statement Similar to problems w/ automatics Can you spot 2 problems? One with a temporary variable One with dynamic allocation Key point Incorrect use is the real problem Need to examine and fully understand the details More Memory Lifetime Errors
Double Deletion Errors int main (intargc, char **argv) { Foo *f = new Foo; delete f; ... delete f; return 0; } crt0 stack main Foo *f f heap code global g_default_value
Double Deletion int main (intargc, char **argv) { Foo *f = new Foo; delete f; //do other stuff delete f; return 0; } crt0 stack main Foo *f heap • What could be at this location? • Another heap variable • Could corrupt heap code global g_default_value
Double Deletion int main (intargc, char **argv) { Foo *f = new Foo; delete f; //now call functions… } void baz(Foo * f) { delete f; return 0; } crt0 stack main Foo *f baz heap code global g_default_value
Variables and the pointers and references to them may have different scopes May result in obvious kinds of lifetime errors we saw earlier But may also introduce more subtle issues of aliasing Still can risk destroying an object too soon or too late Card a_card; // stack object Destructor will be implicitly called when a_card is out of scope. Card* card_ptr= new Card; // heap object Requires explicit delete Don’t do these delete &a_card; // delete on a stack object a_card = *(new Card); // using new to get a temporary variable Scopes of Variables vs. References