memory_corruption_detector.hpp

//
// Copyright 2014 Felix Petriconi
//
// License: http://boost.org/LICENSE_1_0.txt, Boost License 1.0
//
// Authors: http://petriconi.net, Felix Petriconi
//

#pragma once

#include <cassert>
#include <cstdint>
#include <iostream>

namespace alb {
  inline namespace v_100 {
    template <typename T, size_t Pattern> 
    class memory_corruption_detector 
    {
      static_assert(sizeof(char) < sizeof(T) && sizeof(T) <= sizeof(uint64_t),
        "Memory check not for supported types");

      T pattern_;

    public:
      using value_type = T;
      static const size_t pattern = Pattern;

      memory_corruption_detector() noexcept
        : pattern_(Pattern)
      {}

      ~memory_corruption_detector()
      {
#ifndef NDEBUG
        if (pattern_ != Pattern)
        {
          std::cout << std::to_string(pattern_) << " is unequal to " << std::to_string(Pattern) << "!" << std::endl;
          throw 42;
        }
#endif        
        assert(pattern_ == Pattern);
      }
    };

    template <typename T, size_t Pattern>
    const size_t memory_corruption_detector<T, Pattern>::pattern;
  }
  using namespace v_100;
}