Проблемы с стратегией управления памятью

Question

в новейшей книге языка программирования C++, Bjarne представляет собой альтернативу ортодоксальной обработке ошибок, то есть использовать исключения. Это в главе 13.3.1, и он пишет:

void test() 
    // handle undiciplined resource acquisition 
    // demonstrate that arbitrary actions are possible 
{ 
    int* p = new int{7};        // probably should use a unique_ptr (§5.2) 
    int* buf = (int*)malloc(100*sizeof(int));   // C-style allocation 

    auto act1 = finally([&]{ delete p; 
           free(buf);    // C-style deallocation 
           cout<< "Goodby, Cruel world!\n"; 
          } 
        ); 

    int var = 0; 
    cout << "var = " << var << '\n'; 

    // nested block: 
    { 
      var = 1; 
      auto act2 = finally([&]{ cout<< "finally!\n"; var=7; }); 
      cout << "var = " << var << '\n'; 
    } // act2 is invoked here 

    cout << "var = " << var << '\n'; 
}// act1 is invoked here 

Хотя я понимаю, что он пытается объяснить и то, что этот код должен достичь, у меня есть проблемы с полагая, что этот фрагмент порей бесплатно:

> 1. int* p = new int{7};        // probably should use a unique_ptr (§5.2) 
> 2.   int* buf = (int*)malloc(100*sizeof(int));   // C-style allocation 
>   
>  
> 3.   auto act1 = finally([&]{ delete p; 
>           free(buf);    // C-style deallocation 
>           cout<< "Goodby, Cruel world!\n"; 
>         } 
>        ); 

Почему? Потому что, если в строке 2 (2) мы получаем исключение (предполагая, что вызов не вызывается в malloc, а в функцию, которая может фактически выполняться, поскольку я считаю, что концепция, которую Бьярн пытается объяснить, заключается в использовании окончательной конструкции и вызов malloc здесь неактуальен и случайен и может быть заменен любым вызовом), то если два броска, то 3 никогда не будут достигнуты, и у нас есть ресурс лука-порея от 1. Я прав?

Answer 1

В основном то, что происходит в приведенном выше сегменте кода является:

 int* p = new int{7};        // probably should use a unique_ptr 
    int* buf = (int*)malloc(100*sizeof(int));   // C-style allocation 

Память выделяется как через C++ new и C таНос. Ни один из указателей не управляется, и если какой-либо код в этот момент должен был быть выброшен, тогда будет утечка памяти. Тем не менее, обратите внимание, что malloc не бросает так изолированно этот код в безопасности.

http://en.cppreference.com/w/cpp/memory/c/malloc

auto act1 = finally([&]{ delete p; 
          free(buf);    // C-style deallocation 
          cout<< "Goodby, Cruel world!\n"; 
         } 
       ); 

В этом коде тип RAII возвращается из функции, наконец. Которая выполнит вызываемый параметр, когда act1 будет уничтожен (либо при исключении, либо при выходе из этой области).

Поскольку это непосредственно следует за malloc, мы теперь обеспечили утечку памяти.

Следующий код, однако было бы небезопасно:

 int* p = new int{7};        // probably should use a unique_ptr 
    int* buf = (int*)malloc(100*sizeof(int));   // C-style allocation 

    throwing_function(); 

    auto act1 = finally([&]{ delete p; 
          free(buf);    // C-style deallocation 
          cout<< "Goodby, Cruel world!\n"; 
         } 
       ); 

Однако Бьярне комментарий пятно, просто использовать std::unique_ptr.

EDIT:

Применение в конце концов:

database_handle dh1; 
dh1.do("action..."); 
finally([&]{ 
    if(!dh1.success()) { 
     dh1.rollback(); 
    } 
);