Как проверить правильно ли ты создал дистрактор

@Leeto · Регистрация: 23.12.2011

Author24 — интернет-сервис помощи студентам

сабжж ???

@John Prick · 04.09.2012, 21:54

Компилируется?

@Leeto · 04.09.2012, 21:59 **[ТС]**

Сообщение от John Prick

Компилируется?

а как же
нет тут вопрос в другом
допустим все компилируется и даже удаляется все или копируется все хорошо но возможно в данном проекте будут использоваться спец кейсы которые будут валить правильность выполнения операций

вот как найти что на всех кейсах будет выполняться что задумалось

@PSIAlt · 04.09.2012, 22:02

unit-тестирование?

@Leeto · 04.09.2012, 22:09 **[ТС]**

Сообщение от PSIAlt

unit-тестирование?

да вы что это же дестрактор ! ваще азы ) я думал есть какой то стандартный эмелемент или буст или из других библиотек который я не знаю показывает какие элементы не удалились и все такое или где мемори лик или какой ниб типа статик анализатор только для мемори лика (фри варный )

Добавлено через 3 минуты

Сообщение от PSIAlt

unit-тестирование?

спешел кейсов то не много на самом деле.... раф поитер и раф поитор из дедушкой написанным контейнером... что еще может быть... а ну там кривая копия объекта класса и кривое использование ассаймент оператора

@castaway · 04.09.2012, 22:22

Сообщение от Leeto

Как проверить правильно ли ты создал дистрактор

На самом деле наиглупейший вопрос.
Так же можно спросить: "Как проверить, правильно ли я написал программу?". Ответ - проверить результат её выполнения!

@Leeto · 04.09.2012, 22:28 **[ТС]**

Сообщение от lazybiz

На самом деле наиглупейший вопрос.
Так же можно спросить: "Как проверить, правильно ли я написал программу?". Ответ - проверить результат её выполнения!

если ты приравниваешь два этих вопроса то смею тебя огорчить это наиглушей образ мышления

допустим у тебя в подчинении молодые программисты
что ты будешь проверять имплементацию дестрактора, копи конструктора и ассаймент оператора (правило трех короче ) в каждом классе ...

у boost::share_ptr
есть функция которая считает количество ссылок которые не удалены еще (count) по ходу выполнения программы

должно быть что то похожее для моей конкректной цели

@PSIAlt · 04.09.2012, 22:40

Ну тада cppcheck, valgrind

@castaway · 04.09.2012, 22:50

Сообщение от Leeto

допустим у тебя в подчинении молодые программисты
что ты будешь проверять имплементацию дестрактора, копи конструктора и ассаймент оператора (правило трех короче ) в каждом классе ...

Unit-тесты. Об этом уже говорили. При чем тут конкретно деструкторы? Если тебя интересует конкретная часть кода, тогда проверяй её сам. Неужели там так много кода, чтобы нельзя было проверить самостоятельно?

Сообщение от Leeto

у boost::share_ptr
есть функция которая считает количество ссылок которые не удалены еще (count) по ходу выполнения программы
должно быть что то похожее для моей конкректной цели

Твоя цель размыта и не понятна.

@Leeto · 04.09.2012, 23:27 **[ТС]**

Сообщение от lazybiz

Твоя цель размыта и не понятна.

ты забыл добавить что конкретно тебе моя цели размыта и не понятна

Добавлено через 2 минуты
есть такая штука cout << "@";
неужели придется проверять количество вызванных конструкторов релевантных к определенному адрессу памяти и количество вызванных дестракторов ? наверняка же в какой ниб библиотеке эта проверялка написанна

другими словами можно узнать адресс памяти где локализован тот или иной объект...
и типа прописать а ля если объект из данного адресса не удален к концу мейна то вызывается алерт
все же просто...
наверняка это где ниб уже есть в красивом виде

Добавлено через 6 минут

Сообщение от lazybiz

При чем тут конкретно деструкторы?

есть такое понятие как динамически созданные объекты внутри другого класса.

расскажи мне как ты их будешь удалять если они привязанну к обычному указателю без мусоросборника ?

@Toshkarik · 04.09.2012, 23:32

Сообщение от Leeto

ак ты их будешь удалять если они привязанну к обычному указателю без мусоросборника ?

Операцией delete, как все нормальные люди.

@castaway · 04.09.2012, 23:42

Сообщение от Leeto

ты забыл добавить что конкретно тебе моя цели размыта и не понятна

Это предложение не поддается моему здравому смыслу.

Сообщение от Leeto

есть такое понятие как динамически созданные объекты внутри другого класса.

Да, слышал об этом.

Сообщение от Leeto

расскажи мне как ты их будешь удалять если они привязанну к обычному указателю без мусоросборника ?

Что ты подразумеваешь под "обычным указателем без мусоросборника" ? Как ты выделял под них память?

@OhMyGodSoLong · 04.09.2012, 23:48

Сообщение от Leeto

есть такое понятие как динамически созданные объекты внутри другого класса.

расскажи мне как ты их будешь удалять если они привязанну к обычному указателю без мусоросборника ?

Ящитаю, это половые трудности другого класса — удалять свои динамически созданные объекты. Вызвали деструктор — объект должен умереть. Вместе со всем, что он для себя насоздавал.

@Leeto · 04.09.2012, 23:59 **[ТС]**

Сообщение от ~OhMyGodSoLong~

Ящитаю, это половые трудности другого класса — удалять свои динамически созданные объекты. Вызвали деструктор — объект должен умереть. Вместе со всем, что он для себя насоздавал.

Другими словами если функция / библиотечный элемент, который перед тем как прога завершенно выдает количество мусора которое висит в хипе ???

если еще проще... если что ниб типа того :

C++

#include "boost/garbage_manager.hpp"/ #include <garbage_manager>
 
int main () 
{
 
... 
... 
... 
 
3 млн лайнов 
 
... 
... 
 
 
 
cout << "show garbage" << std::show_all_garbage / boost::show_all_garbage; 
return 0 ;
}

@castaway · 04.09.2012, 23:59

~OhMyGodSoLong~, я абсолютно с вами согласен.

@OhMyGodSoLong · 05.09.2012, 00:00

Сообщение от Leeto

Другими словами если функция / библиотечный элемент, который перед тем как прога завершенно выдает количество мусора которое висит в хипе ???

Прогу уже называли: valgrind.

С типами данных вряд ли информацию можно выдать (нет рефлексии), но просто суммарно количество просранной памяти теоретически реально: переопределяете глобальные operator new и operator delete, пусть ведут лог того, сколько выделено и сколько удалено.

@Leeto · 05.09.2012, 00:11 **[ТС]**

Сообщение от ~OhMyGodSoLong~

Прогу уже называли: valgrind.

С типами данных вряд ли информацию можно выдать (нет рефлексии), но просто суммарно количество просранной памяти теоретически реально: переопределяете глобальные operator new и operator delete, пусть ведут лог того, сколько выделено и сколько удалено.

а как это сдалать??? как обычная перегрузка оператор

C++

class Anyclass 
{
int unsigned counter = 0; 
public : 
... 
friend void new (/*а куда запихать что это относиться к этого классу... сюда что ли ?*/) 
{
counter ++ ; 
}
 
}

что то типа того ???

И что придется для всех 28 классов такую перегруженную штуку писать ???

@ForEveR · 05.09.2012, 10:44

Leeto, Операторы можно и глобально переопределить, но делать я этого не советую. Скорее уж написать аллокатор, который будет за этим следить или класс с перегруженными оператороми new/delete и унаследоваться от него.

Так же сюда можно прикрутить - просмотр выделена память под массив или под простой указатель и т.д.

Почитал стандарт. Т.к. стандартные операторы выглядят так.

C++

void* operator new(std::size_t size);
void* operator new(std::size_t size, const std::nothrow_t&) noexcept;
void operator delete(void* ptr) noexcept;
void operator delete(void* ptr, const std::nothrow_t&) noexcept;
void* operator new[](std::size_t size);
void* operator new[](std::size_t size, const std::nothrow_t&) noexcept;
void operator delete[](void* ptr) noexcept;
void operator delete[](void* ptr, const std::nothrow_t&) noexcept;
void* operator new (std::size_t size, void* ptr) noexcept;
void* operator new[](std::size_t size, void* ptr) noexcept;
void operator delete (void* ptr, void*) noexcept;
void operator delete[](void* ptr, void*) noexcept;

То у себя переделал соответственно.

C++

#include <iostream>
#include <map>
#include <stdexcept>
 
template<typename T>
class Storage : public std::map<void*, size_t>
{
public:
   typedef std::map<void*, size_t> base_type;
   typedef base_type::iterator iterator;
 
   ~Storage()
   {
      if (!empty())
      {
         std::cerr << "Not freed: " << size() << " of type: " << T::get_name() << std::endl;
         for (iterator i = begin(); i != end(); ++i)
         {
            std::cerr << i->first << " bytes: " << i->second << std::endl;
         }
      }
   }
   Storage(const Storage&) = delete;
   Storage& operator =(const Storage&) = delete;
   Storage(Storage&&) = delete;
   Storage& operator =(Storage&&) = delete;
   static Storage& instance()
   {
      static Storage storage;
      return storage;
   }
private:
   Storage() = default;
};
 
template<typename T>
class Arena
{
public:
   void* operator new(size_t sz)
   {
      void* result = ::operator new(sz);
      allocated_.insert(std::make_pair(result, sz));
      return result;
   }
   void* operator new(size_t sz, const std::nothrow_t& nt) noexcept
   {
      void* result = ::operator new(sz, nt);
      if (result)
      {
         allocated_.insert(std::make_pair(result, sz));
      }
      return result;
   }
   void* operator new(size_t sz, void* ptr) noexcept
   {
      return ::operator new(sz, ptr);
   }
   void* operator new[](size_t sz)
   {
      void* result = ::operator new[](sz);
      allocated_.insert(std::make_pair(result, sz));
      return result;
   }
   void* operator new[](size_t sz, const std::nothrow_t& nt) noexcept
   {
      void* result = ::operator new[](sz, nt);
      if (result)
      {
         allocated_.insert(std::make_pair(result, sz));
         return result;
      }
   }
   void* operator new[](size_t sz, void* ptr) noexcept
   {
      return ::operator new[](sz, ptr);
   }
   void operator delete(void* ptr) noexcept
   {
      typename Storage<T>::iterator i = allocated_.find(ptr);
      if (i == allocated_.end())
      {
         std::cerr << "Double free on: " << ptr << " of type: " << T::get_name() << ". Terminate program" << std::endl;
         std::abort();
      }
      allocated_.erase(ptr);
      ::operator delete(ptr);
   }
   void operator delete(void* ptr, const std::nothrow_t&) noexcept
   {
      return operator delete(ptr);
   }
   void operator delete(void* ptr, void* place) noexcept
   {
      return ::operator delete(ptr, place);
   }
   void operator delete[](void* ptr) noexcept
   {
      typename Storage<T>::iterator i = allocated_.find(ptr);
      if (i == allocated_.end())
      {
         std::cerr << "Double free on: " << ptr << " of type: " << T::get_name() << ". Terminate program" << std::endl;
         std::abort();
      }
      allocated_.erase(ptr);
      ::operator delete[](ptr);
   }
   void operator delete[](void* ptr, const std::nothrow_t&) noexcept
   {
      return operator delete(ptr);
   }
   void operator delete[](void* ptr, void* place) noexcept
   {
      return ::operator delete(ptr, place);
   }
private:
   static Storage<T>& allocated_;
};
 
template<typename T>
Storage<T>& Arena<T>::allocated_ = Storage<T>::instance();
 
struct Empty : public Arena<Empty>
{
public:
   static const char* get_name() { return "Empty"; }
};
 
struct No : public Arena<No>
{
public:
   static const char* get_name() { return "No"; }
};
 
int main()
{
   Empty* p = new Empty;
   char* ptr = (char*)operator new(sizeof(No));
   No* no = new (ptr) No;
   delete ptr;
   No* no1 = new (std::nothrow) No;
   delete no1;
   No* new_arr = new No[10];
   delete new_arr;
}

Добавлено через 34 минуты
Вот заодно с обработкой UB при неправильном вызове delete-а.

C++

#include <iostream>
#include <set>
#include <stdexcept>
 
struct Memory
{
   Memory() { }
   Memory(void* mem, size_t b, size_t els, bool is):
      memory(mem), bytes(b), elements_count(els), is_array(is)
   {
   }
   void* memory;
   size_t bytes;
   size_t elements_count;
   bool is_array;
};
 
bool operator < (const Memory& lhs, const Memory& rhs)
{
   return lhs.memory < rhs.memory;
}
 
std::ostream& operator << (std::ostream& os, const Memory& mem)
{
   os << "Address: " << mem.memory << " elements: " << mem.elements_count << " bytes: " << mem.bytes
      << " is_array: " << std::boolalpha << mem.is_array;
   return os;
}
 
template<typename T>
class Storage : public std::set<Memory>
{
public:
   typedef std::set<Memory> base_type;
   typedef base_type::iterator iterator;
 
   ~Storage()
   {
      if (!empty())
      {
         std::cerr << "Not freed " << size() << " elements of type: " << T::get_name() << std::endl;
         for (iterator i = begin(); i != end(); ++i)
         {
            std::cerr << *i << std::endl;
         }
      }
   }
   Storage(const Storage&) = delete;
   Storage& operator =(const Storage&) = delete;
   Storage(Storage&&) = delete;
   Storage& operator =(Storage&&) = delete;
   static Storage& instance()
   {
      static Storage storage;
      return storage;
   }
private:
   Storage() = default;
};
 
template<typename T>
class Arena
{
public:
   void* operator new(size_t sz)
   {
      void* result = ::operator new(sz);
      allocated_.insert(Memory(result, sz, 1, false));
      return result;
   }
   void* operator new(size_t sz, const std::nothrow_t& nt) noexcept
   {
      void* result = ::operator new(sz, nt);
      if (result)
      {
         allocated_.insert(Memory(result, sz, 1, false));
      }
      return result;
   }
   void* operator new(size_t sz, void* ptr) noexcept
   {
      return ::operator new(sz, ptr);
   }
   void* operator new[](size_t sz)
   {
      void* result = ::operator new[](sz);
      allocated_.insert(Memory(result, sz, sz / sizeof(T), true));
      return result;
   }
   void* operator new[](size_t sz, const std::nothrow_t& nt) noexcept
   {
      void* result = ::operator new[](sz, nt);
      if (result)
      {
         allocated_.insert(Memory(result, sz, sz / sizeof(T), true));
         return result;
      }
   }
   void* operator new[](size_t sz, void* ptr) noexcept
   {
      return ::operator new[](sz, ptr);
   }
   void operator delete(void* ptr) noexcept
   {
      Memory tmp;
      tmp.memory = ptr;
      typename Storage<T>::iterator i = allocated_.find(tmp);
      if (i == allocated_.end())
      {
         std::cerr << "Double free on: " << ptr << " of type: \"" << T::get_name() << "\". Terminate program" << std::endl;
         std::abort();
      }
      else
      {
         if (i->is_array)
         {
            std::cerr << "Free of array: " << i->memory << " of size " << i->elements_count
               << " with " << i->bytes  << " bytes of type \"" << T::get_name() << "\" with non-array delete operator."
               << " Terminate" << std::endl;
            std::abort();
         }
      }
      allocated_.erase(tmp);
      ::operator delete(ptr);
   }
   void operator delete(void* ptr, const std::nothrow_t&) noexcept
   {
      return operator delete(ptr);
   }
   void operator delete(void* ptr, void* place) noexcept
   {
      return ::operator delete(ptr, place);
   }
   void operator delete[](void* ptr) noexcept
   {
      Memory tmp;
      tmp.memory = ptr;
      typename Storage<T>::iterator i = allocated_.find(tmp);
      if (i == allocated_.end())
      {
         std::cerr << "Double free on: " << ptr << " of type: \"" << T::get_name() << "\". Terminate program" << std::endl;
         std::abort();
      }
      else
      {
         if (!i->is_array)
         {
            std::cerr << "Free of element: " << i->memory << " with size " << i->bytes
               << " of type \"" << T::get_name() << "\" with array delete operator."
               << " Terminate" << std::endl;
            std::abort();
         }
      }
      allocated_.erase(tmp);
      ::operator delete[](ptr);
   }
   void operator delete[](void* ptr, const std::nothrow_t&) noexcept
   {
      return operator delete(ptr);
   }
   void operator delete[](void* ptr, void* place) noexcept
   {
      return ::operator delete(ptr, place);
   }
private:
   static Storage<T>& allocated_;
};
 
template<typename T>
Storage<T>& Arena<T>::allocated_ = Storage<T>::instance();
 
struct Empty : public Arena<Empty>
{
public:
   static const char* get_name() { return "Empty"; }
};
 
struct No : public Arena<No>
{
public:
   static const char* get_name() { return "No"; }
};
 
int main()
{
   Empty* p = new Empty;
   char* ptr = (char*)operator new(sizeof(No));
   No* no = new (ptr) No;
   delete ptr;
   No* no1 = new (std::nothrow) No;
   delete no1;
   No* new_arr = new No[10];
   delete[] new_arr;
}

@OhMyGodSoLong ~ Эврика! ~ 1256 / 1005 / 74 Регистрация: 24.07.2012 Сообщений: 2,002
	04.09.2012, 23:48	13
	Сообщение от Leeto есть такое понятие как динамически созданные объекты внутри другого класса. расскажи мне как ты их будешь удалять если они привязанну к обычному указателю без мусоросборника ? Ящитаю, это половые трудности другого класса — удалять свои динамически созданные объекты. Вызвали деструктор — объект должен умереть. Вместе со всем, что он для себя насоздавал. 2

@castaway 4985 / 3092 / 456 Регистрация: 10.11.2010 Сообщений: 11,169 Записей в блоге: 10
	04.09.2012, 23:59	15
	~OhMyGodSoLong~, я абсолютно с вами согласен. 0

@OhMyGodSoLong ~ Эврика! ~ 1256 / 1005 / 74 Регистрация: 24.07.2012 Сообщений: 2,002
	05.09.2012, 00:00	16
	Сообщение от Leeto Другими словами если функция / библиотечный элемент, который перед тем как прога завершенно выдает количество мусора которое висит в хипе ??? Прогу уже называли: valgrind. С типами данных вряд ли информацию можно выдать (нет рефлексии), но просто суммарно количество просранной памяти теоретически реально: переопределяете глобальные operator new и operator delete, пусть ведут лог того, сколько выделено и сколько удалено. 1

@Leeto 7 / 7 / 3 Регистрация: 23.12.2011 Сообщений: 372 Записей в блоге: 1
		1
	Как проверить правильно ли ты создал дистрактор 04.09.2012, 21:52. Показов 1272. Ответов 17 Метки нет (Все метки) сабжж ??? 0

@John Prick 2274 / 1765 / 741 Регистрация: 27.07.2012 Сообщений: 5,247
	04.09.2012, 21:54	2
	Компилируется? 1

@Leeto 7 / 7 / 3 Регистрация: 23.12.2011 Сообщений: 372 Записей в блоге: 1
	04.09.2012, 21:59 [ТС]	3
	Сообщение от John Prick Компилируется? а как же нет тут вопрос в другом допустим все компилируется и даже удаляется все или копируется все хорошо но возможно в данном проекте будут использоваться спец кейсы которые будут валить правильность выполнения операций вот как найти что на всех кейсах будет выполняться что задумалось 0

@PSIAlt 87 / 87 / 1 Регистрация: 19.06.2012 Сообщений: 245
	04.09.2012, 22:02	4
	unit-тестирование? 1

@Leeto 7 / 7 / 3 Регистрация: 23.12.2011 Сообщений: 372 Записей в блоге: 1
	04.09.2012, 22:09 [ТС]	5
	Сообщение от PSIAlt unit-тестирование? да вы что это же дестрактор ! ваще азы ) я думал есть какой то стандартный эмелемент или буст или из других библиотек который я не знаю показывает какие элементы не удалились и все такое или где мемори лик или какой ниб типа статик анализатор только для мемори лика (фри варный ) Добавлено через 3 минуты Сообщение от PSIAlt unit-тестирование? спешел кейсов то не много на самом деле.... раф поитер и раф поитор из дедушкой написанным контейнером... что еще может быть... а ну там кривая копия объекта класса и кривое использование ассаймент оператора 0

@castaway 4985 / 3092 / 456 Регистрация: 10.11.2010 Сообщений: 11,169 Записей в блоге: 10
	04.09.2012, 22:22	6
	Сообщение от Leeto Как проверить правильно ли ты создал дистрактор На самом деле наиглупейший вопрос. Так же можно спросить: "Как проверить, правильно ли я написал программу?". Ответ - проверить результат её выполнения! 0

@Leeto 7 / 7 / 3 Регистрация: 23.12.2011 Сообщений: 372 Записей в блоге: 1
	04.09.2012, 22:28 [ТС]	7
	Сообщение от lazybiz На самом деле наиглупейший вопрос. Так же можно спросить: "Как проверить, правильно ли я написал программу?". Ответ - проверить результат её выполнения! если ты приравниваешь два этих вопроса то смею тебя огорчить это наиглушей образ мышления допустим у тебя в подчинении молодые программисты что ты будешь проверять имплементацию дестрактора, копи конструктора и ассаймент оператора (правило трех короче ) в каждом классе ... у boost::share_ptr есть функция которая считает количество ссылок которые не удалены еще (count) по ходу выполнения программы должно быть что то похожее для моей конкректной цели 0

@PSIAlt 87 / 87 / 1 Регистрация: 19.06.2012 Сообщений: 245
	04.09.2012, 22:40	8
	Ну тада cppcheck, valgrind 1

@castaway 4985 / 3092 / 456 Регистрация: 10.11.2010 Сообщений: 11,169 Записей в блоге: 10
	04.09.2012, 22:50	9
	Сообщение от Leeto допустим у тебя в подчинении молодые программисты что ты будешь проверять имплементацию дестрактора, копи конструктора и ассаймент оператора (правило трех короче ) в каждом классе ... Unit-тесты. Об этом уже говорили. При чем тут конкретно деструкторы? Если тебя интересует конкретная часть кода, тогда проверяй её сам. Неужели там так много кода, чтобы нельзя было проверить самостоятельно? Сообщение от Leeto у boost::share_ptr есть функция которая считает количество ссылок которые не удалены еще (count) по ходу выполнения программы должно быть что то похожее для моей конкректной цели Твоя цель размыта и не понятна. 0

@Leeto 7 / 7 / 3 Регистрация: 23.12.2011 Сообщений: 372 Записей в блоге: 1
	04.09.2012, 23:27 [ТС]	10
	Сообщение от lazybiz Твоя цель размыта и не понятна. ты забыл добавить что конкретно тебе моя цели размыта и не понятна Добавлено через 2 минуты есть такая штука cout << "@"; неужели придется проверять количество вызванных конструкторов релевантных к определенному адрессу памяти и количество вызванных дестракторов ? наверняка же в какой ниб библиотеке эта проверялка написанна другими словами можно узнать адресс памяти где локализован тот или иной объект... и типа прописать а ля если объект из данного адресса не удален к концу мейна то вызывается алерт все же просто... наверняка это где ниб уже есть в красивом виде Добавлено через 6 минут Сообщение от lazybiz При чем тут конкретно деструкторы? есть такое понятие как динамически созданные объекты внутри другого класса. расскажи мне как ты их будешь удалять если они привязанну к обычному указателю без мусоросборника ? 0

@Toshkarik 1181 / 894 / 94 Регистрация: 03.08.2011 Сообщений: 2,461
	04.09.2012, 23:32	11
	Сообщение от Leeto ак ты их будешь удалять если они привязанну к обычному указателю без мусоросборника ? Операцией delete, как все нормальные люди. 2

@castaway 4985 / 3092 / 456 Регистрация: 10.11.2010 Сообщений: 11,169 Записей в блоге: 10
	04.09.2012, 23:42	12
	Сообщение от Leeto ты забыл добавить что конкретно тебе моя цели размыта и не понятна Это предложение не поддается моему здравому смыслу. Сообщение от Leeto есть такое понятие как динамически созданные объекты внутри другого класса. Да, слышал об этом. Сообщение от Leeto расскажи мне как ты их будешь удалять если они привязанну к обычному указателю без мусоросборника ? Что ты подразумеваешь под "обычным указателем без мусоросборника" ? Как ты выделял под них память? 0

Как проверить правильно ли ты создал дистрактор

Решение