C++

짧은 대답은 mallocC ++에 사용하지 않는 것이 좋습니다. mallocC ++과 함께 사용 new하면 극복 할 수있는 많은 결함이 있습니다.

C ++ 코드의 새로운 기능으로 해결 된 결함

1. malloc의미있는 방식으로 타입 안전하지 않습니다. C ++에서는에서 반환을 캐스트해야합니다 void*. 잠재적으로 많은 문제가 발생합니다.

   #include <stdlib.h>
   
   struct foo {
     double d[5];
   };
   
   int main() {
     foo *f1 = malloc(1); // error, no cast
     foo *f2 = static_cast<foo*>(malloc(sizeof(foo)));
     foo *f3 = static_cast<foo*>(malloc(1)); // No error, bad
   }

2. 그래도 더 나쁘다. 문제의 유형이 POD (일반 데이터) 인 경우 첫 번째 예에서 malloc와 같이 반 감각으로 메모리를 할당 하는 데 사용할 수 있습니다 f2.

   유형이 POD인지는 분명하지 않습니다. 주어진 유형이 컴파일러 오류가 발생하지 않고 문제를 디버깅하기가 매우 어려워 POD에서 비 POD로 변경 될 수 있다는 사실이 중요한 요소입니다. 예를 들어, 유지 관리 중 누군가 나중에 foo더 이상 POD가 아닌 변경을 수행 한 경우 컴파일 타임에 원하는대로 명백한 오류가 나타나지 않습니다. 예를 들면 다음과 같습니다.

   struct foo {
     double d[5];
     virtual ~foo() { }
   };

   만들 것 malloc의 f2명백한 진단하지 않고, 또한이 될 나쁜. 여기의 예는 사소한 것이지만 실수로 비 POD를 훨씬 더 멀리 도입 할 수 있습니다 (예 : 기본 클래스에서 비 POD 멤버를 추가하여). C ++ 11 / boost is_pod가있는 경우이 가정이 올바른지 확인하고 올바르지 않은 경우 오류를 생성하는 데 사용할 수 있습니다 .

   #include <type_traits>
   #include <stdlib.h>
   
   foo *safe_foo_malloc() {
     static_assert(std::is_pod<foo>::value, "foo must be POD");
     return static_cast<foo*>(malloc(sizeof(foo)));
   }

   boost는 형식이 C ++ 11 또는 다른 컴파일러 확장이없는 POD인지 확인할 수 없지만 .

3. mallocNULL할당이 실패하면를 반환 합니다. new던질 것 std::bad_alloc입니다. 나중에 NULL포인터를 사용하는 동작 은 정의되어 있지 않습니다. 예외가 발생하면 예외가 깨끗하고 오류의 원인에서 발생합니다. 포장 malloc모든 호출에서 적절한 검사와 함께하는 경향이 지루하고 오류가 보인다. (좋은 일을 모두 취소하기 위해서는 한 번만 잊어야합니다). 예외적으로 호출자가 의미있게 처리하기 NULL가 훨씬 어려운 수준에서 호출자가 처리 할 수있는 수준으로 전파 될 수 있습니다 . safe_foo_malloc예외를 발생 시키거나 프로그램을 종료하거나 핸들러를 호출하도록 함수를 확장 할 수 있습니다 .

   #include <type_traits>
   #include <stdlib.h>
   
   void my_malloc_failed_handler();
   
   foo *safe_foo_malloc() {
     static_assert(std::is_pod<foo>::value, "foo must be POD");
     foo *mem = static_cast<foo*>(malloc(sizeof(foo)));
     if (!mem) {
        my_malloc_failed_handler();
        // or throw ...
     }
     return mem;
   }

4. 기본적 malloc으로 C 기능이며 newC ++ 기능입니다. 결과적 malloc으로 생성자와 잘 작동하지 않으므로 바이트 덩어리 할당 만 살펴 봅니다. safe_foo_malloc게재 위치를 사용하도록 추가 확장 할 수 있습니다 new.

   #include <stdlib.h>
   #include <new>
   
   void my_malloc_failed_handler();
   
   foo *safe_foo_malloc() {
     void *mem = malloc(sizeof(foo));
     if (!mem) {
        my_malloc_failed_handler();
        // or throw ...
     }
     return new (mem)foo();
   }

5. 우리의 safe_foo_malloc기능은 매우 일반적이지 않습니다. 이상적으로는 모든 유형을 처리 할 수있는 것을 원할 것입니다 foo. 기본이 아닌 생성자를위한 템플릿 및 가변 템플릿을 사용하여이를 달성 할 수 있습니다.

   #include <functional>
   #include <new>
   #include <stdlib.h>
   
   void my_malloc_failed_handler();
   
   template <typename T>
   struct alloc {
     template <typename ...Args>
     static T *safe_malloc(Args&&... args) {
       void *mem = malloc(sizeof(T));
       if (!mem) {
          my_malloc_failed_handler();
          // or throw ...
       }
       return new (mem)T(std::forward(args)...);
     }
   };

   이제 우리가 지금까지 식별 한 모든 문제를 해결함에있어 기본 new연산자를 실제로 재창조했습니다 . 당신이 사용 malloc하고 배치 하려는 경우, 당신은 new뿐만 아니라 new시작 하는 데 사용할 수 있습니다 !

답변

void *p = operator new(size);
   ...
operator delete(p);