[boost] Re: Boost.Assertion

From: Jesse Jones (jesjones_at_[hidden])
Date: 2001-04-18 18:13:21

>  > 3) The check_invariants class is overly complex and does heap
>>  allocations which is pretty nasty. You can fix that by using that
>>  voodoo I mentioned earlier:
>>       class check_invariants {
>>       public:
>>           template <typename T>
>>           check_invariants(const T* object) {
>>               _object = object;
>>               _invoker = invoke<T>;
>>               _invoker(_object, true);
>>           }
>>           ~check_invariants() {
>>               _invoker(_object, false);
>>           }
>>
>>           template <class T>
>  >          static void invoke(const void* object, bool entering)    {
>  >              void (T::*method)(bool) const = &T::check_invariants;
>  >              (static_cast<const T*>(object)->*method)(entering);
>>           }
>>
>>       private:
>>           void (*_invoker)(const void*, bool);
>>           const void* _object;
>>       };
>
>Actually, this is at least as ugly ;).  I didn't care for the memory
>allocation, however, and this solution is nicer in this regard.
>

Well at least the ugliness has been squeezed into one little ball. 
:-) The memory allocation is pretty big though. It'd be pretty icky 
if every call to a public function hit the heap.

   -- Jesse