'new'를 사용하면 왜 메모리 누수가 발생합니까?

'new'를 사용하면 왜 메모리 누수가 발생합니까?

---

먼저 C #을 배웠으며 이제 C ++로 시작합니다. 내가 이해하는 것처럼 newC ++의 연산자 는 C #의 연산자 와 비슷하지 않습니다.

이 샘플 코드에서 메모리 누수의 원인을 설명 할 수 있습니까?

class A { ... };
struct B { ... };

A *object1 = new A();
B object2 = *(new B());

---

무슨 일이야

쓰면 자동 저장 시간을 가진 T t;유형의 객체를 생성합니다 . 범위를 벗어나면 자동으로 정리됩니다.T

쓸 때 동적 저장 시간을 가진 new T()유형의 객체를 생성합니다 . 자동으로 정리되지 않습니다.T

delete정리하려면 포인터를 전달해야 합니다.

그러나 두 번째 예는 더 나쁩니다. 포인터를 참조하지 않고 객체를 복사하는 것입니다. 이렇게하면로 만든 객체에 대한 포인터가 사라 new지므로 원하는 경우에도 삭제할 수 없습니다!

해야 할 일

자동 저장 기간을 선호해야합니다. 새로운 객체가 필요합니다.

A a; // a new object of type A
B b; // a new object of type B

동적 저장 기간이 필요한 경우 할당 된 객체에 대한 포인터를 자동 저장 기간 객체에 저장하면 자동으로 삭제됩니다.

template <typename T>
class automatic_pointer {
public:
    automatic_pointer(T* pointer) : pointer(pointer) {}

    // destructor: gets called upon cleanup
    // in this case, we want to use delete
    ~automatic_pointer() { delete pointer; }

    // emulate pointers!
    // with this we can write *p
    T& operator*() const { return *pointer; }
    // and with this we can write p->f()
    T* operator->() const { return pointer; }

private:
    T* pointer;

    // for this example, I'll just forbid copies
    // a smarter class could deal with this some other way
    automatic_pointer(automatic_pointer const&);
    automatic_pointer& operator=(automatic_pointer const&);
};

automatic_pointer<A> a(new A()); // acts like a pointer, but deletes automatically
automatic_pointer<B> b(new B()); // acts like a pointer, but deletes automatically

This is a common idiom that goes by the not-very-descriptive name RAII (Resource Acquisition Is Initialization). When you acquire a resource that needs cleanup, you stick it in an object of automatic storage duration so you don't need to worry about cleaning it up. This applies to any resource, be it memory, open files, network connections, or whatever you fancy.

This automatic_pointer thing already exists in various forms, I've just provided it to give an example. A very similar class exists in the standard library called std::unique_ptr.

There's also an old one (pre-C++11) named auto_ptr but it's now deprecated because it has a strange copying behaviour.

And then there are some even smarter examples, like std::shared_ptr, that allows multiple pointers to the same object and only cleans it up when the last pointer is destroyed.

---

A step by step explanation:

// creates a new object on the heap:
new B()
// dereferences the object
*(new B())
// calls the copy constructor of B on the object
B object2 = *(new B());

So by the end of this, you have an object on the heap with no pointer to it, so it's impossible to delete.

The other sample:

A *object1 = new A();

is a memory leak only if you forget to delete the allocated memory:

delete object1;

In C++ there are objects with automatic storage, those created on the stack, which are automatically disposed of, and objects with dynamic storage, on the heap, which you allocate with new and are required to free yourself with delete. (this is all roughly put)

Think that you should have a delete for every object allocated with new.

EDIT

Come to think of it, object2 doesn't have to be a memory leak.

The following code is just to make a point, it's a bad idea, don't ever like code like this:

class B
{
public:
    B() {};   //default constructor
    B(const B& other) //copy constructor, this will be called
                      //on the line B object2 = *(new B())
    {
        delete &other;
    }
}

In this case, since other is passed by reference, it will be the exact object pointed to by new B(). Therefore, getting its address by &other and deleting the pointer would free the memory.

But I can't stress this enough, don't do this. It's just here to make a point.

---

Given two "objects":

obj a;
obj b;

They won't occupy the same location in memory. In other words, &a != &b

Assigning the value of one to the other won't change their location, but it will change their contents:

obj a;
obj b = a;
//a == b, but &a != &b

Intuitively, pointer "objects" work the same way:

obj *a;
obj *b = a;
//a == b, but &a != &b

---

Now, let's look at your example:

A *object1 = new A();

This is assigning the value of new A() to object1. The value is a pointer, meaning object1 == new A(), but &object1 != &(new A()). (Note that this example is not valid code, it is only for explanation)

Because the value of the pointer is preserved, we can free the memory it points to: delete object1; Due to our rule, this behaves the same as delete (new A()); which has no leak.

---

For you second example, you are copying the pointed-to object. The value is the contents of that object, not the actual pointer. As in every other case, &object2 != &*(new A()).

B object2 = *(new B());

We have lost the pointer to the allocated memory, and thus we cannot free it. delete &object2; may seem like it would work, but because &object2 != &*(new A()), it is not equivalent to delete (new A()) and so invalid.

---

In C# and Java, you use new to create an instance of any class and then you do not need to worry about destroying it later.

C++ also has a keyword "new" which creates an object but unlike in Java or C#, it is not the only way to create an object.

C++ has two mechanisms to create an object:

• automatic
• dynamic

With automatic creation you create the object in a scoped environment: - in a function or - as a member of a class (or struct).

In a function you would create it this way:

int func()
{
   A a;
   B b( 1, 2 );
}

Within a class you would normally create it this way:

class A
{
  B b;
public:
  A();
};    

A::A() :
 b( 1, 2 )
{
}

In the first case, the objects are destroyed automatically when the scope block is exited. This could be a function or a scope-block within a function.

In the latter case the object b is destroyed together with the instance of A in which it is a member.

Objects are allocated with new when you need to control the lifetime of the object and then it requires delete to destroy it. With the technique known as RAII, you take care of the deletion of the object at the point you create it by putting it within an automatic object, and wait for that automatic object's destructor to take effect.

One such object is a shared_ptr which will invoke a "deleter" logic but only when all the instances of the shared_ptr that are sharing the object are destroyed.

In general, whilst your code may have many calls to new, you should have limited calls to delete and should always make sure these are called from destructors or "deleter" objects that are put into smart-pointers.

Your destructors should also never throw exceptions.

If you do this, you will have few memory leaks.

---

B object2 = *(new B());

This line is the cause of the leak. Let's pick this apart a bit..

object2 is a variable of type B, stored at say address 1 (Yes, I'm picking arbitrary numbers here). On the right side, you've asked for a new B, or a pointer to an object of type B. The program gladly gives this to you and assigns your new B to address 2 and also creates a pointer in address 3. Now, the only way to access the data in address 2 is via the pointer in address 3. Next, you dereferenced the pointer using * to get the data that the pointer is pointing to (the data in address 2). This effectively creates a copy of that data and assigns it to object2, assigned in address 1. Remember, it's a COPY, not the original.

Now, here's the problem:

You never actually stored that pointer anywhere you can use it! Once this assignment is finished, the pointer (memory in address3, which you used to access address2) is out of scope and beyond your reach! You can no longer call delete on it and therefore cannot clean up the memory in address2. What you are left with is a copy of the data from address2 in address1. Two of the same things sitting in memory. One you can access, the other you can't (because you lost the path to it). That's why this is a memory leak.

I would suggest coming from your C# background that you read up a lot on how pointers in C++ work. They are an advanced topic and can take some time to grasp, but their use will be invaluable to you.

---

If it makes it easier, think of computer memory as being like a hotel and programs are customers who hire rooms when they need them.

The way this hotel works is that you book a room and tell the porter when you are leaving.

If you program books a room and leaves without telling the porter the porter will think that the room is still is use and will not let anyone else use it. In this case there is a room leak.

If your program allocates memory and does not delete it (it merely stops using it) then the computer thinks that the memory is still in use and will not allow anyone else to use it. This is a memory leak.

This is not an exact analogy but it might help.

---

When creating object2 you're creating a copy of the object you created with new, but you're also losing the (never assigned) pointer (so there's no way to delete it later on). To avoid this, you'd have to make object2 a reference.

---

Well, you create a memory leak if you don't at some point free the memory you've allocated using the new operator by passing a pointer to that memory to the delete operator.

In your two cases above:

A *object1 = new A();

Here you aren't using delete to free the memory, so if and when your object1 pointer goes out of scope, you'll have a memory leak, because you'll have lost the pointer and so can't use the delete operator on it.

And here

B object2 = *(new B());

you are discarding the pointer returned by new B(), and so can never pass that pointer to delete for the memory to be freed. Hence another memory leak.

---

It's this line that is immediately leaking:

B object2 = *(new B());

여기 B에서 힙에 새 객체를 생성 한 다음 스택에 사본을 생성합니다. 힙에 할당 된 것은 더 이상 액세스 할 수 없으므로 누출이 발생합니다.

이 줄은 즉시 새지 않습니다.

A *object1 = new A();

당신이 결코 경우 누수가 될 delete거라고하지 object1하지만.

참고 URL : https://stackoverflow.com/questions/8839943/why-does-the-use-of-new-cause-memory-leaks