самописный assert: проблема с утечкой памяти)

[sashonk]

Привет!

возникла необходимость разработать класс, заменяющий классический assert.

#ifndef ENFORCER_H
#define ENFORCER_H
#include <string>
#include <strstream>
#include <Windows.h>
class Enforcer
{
public:
  Enforcer(bool exp): m_exp(exp){}

  void operator ! () 
  {
    if (!m_exp)   
      throw std::exception(m_msg.c_str());   
  }

  template<typename T> 
  Enforcer& operator () (T val)
  {
    std::strstream stream;
    stream << val;
    m_msg.append(stream.str(), stream.pcount());
    return *this;
  }
private:
  std::string m_msg;
  bool m_exp;
};

#define _MUST(exp) !Enforcer(exp)("критическая ошибка!\nутверждение: '")(#exp)("' ложно\n")(__FILE__)(" в строке ")(__LINE__)('\n')
#define MUST(exp) _MUST(exp)

#endif

чтобы было понятнее как это работает поясню. при использовании макроса MUST создается объект Enforcer c булевым параметром exp. Затем последовательно выполняются перегруженные операторы (), а после этого - перегруженный оператор !, который в случае ОШИБОЧНОСТИ выражения exp бросает исключение с сообщением m_msg, в котором указывается имя файла и номер строки, где был поставлен MUST .

пример кода

#include <iostream>
using namespace std;

void main()
{
  try
  {
   cout << "Введите неотрицательное число " << endl;
   int a;
   cin >> a;
   MUST(a>=0)("Число должно быть положительным!") ;
  }
  catch(expression e)
  {
    cout << e.what();
  } 
}

в результате при вводе отрицательного числа получам в консоли
"критическая ошибка!
утверждение 'a>=0' ложно!
main.cpp в строке 8
Число должно быть положительным!"

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

[evgn]

Вероятно создаваемые экземпляры объекта не удаляются после работы.

[sashonk]

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

Вероятно создаваемые экземпляры объекта не удаляются после работы.

разумеется, остается только понять в каком месте...

здесь вообще указатели не используются, здесь все на стеке создается