util-identity-test.cpp

Go to the documentation of this file.

/*
  UtilIdentity(Test)  -  helpers for identity and memory location

   Copyright (C)
     2024,            Hermann Vosseler <Ichthyostega@web.de>

  **Lumiera** is free software; you can redistribute it and/or modify it
  under the terms of the GNU General Public License as published by the
  Free Software Foundation; either version 2 of the License, or (at your
  option) any later version. See the file COPYING for further details.

* *****************************************************************/

#include "lib/test/run.hpp"
#include "lib/format-obj.hpp"
#include "lib/util.hpp"

#include <utility>
#include <string>

using std::move;
using std::string;


namespace util {
namespace test {
  
  
  
  /*****************************************************************/
  class UtilIdentity_test : public Test
    {
      
      void
      run (Arg)
        {
          verify_getAdr();
          verify_addrID();
          verify_isSameAdr();
          verify_isSameObject();
        }
      
      
      void
      verify_getAdr()
        {
          CHECK (getAdr (this) == this);
          CHECK (getAdr (*this) == this);
          
          CStr aloof[2] = {"reality", "check"};
          CHECK (getAdr (aloof)     == &aloof);
          CHECK (getAdr (&aloof[0]) == &aloof);
          CHECK (getAdr (&aloof[1]) == aloof+1);
          CHECK (getAdr ( aloof[0]) == aloof[0]);
          CHECK (getAdr ( aloof[1]) == aloof[1]);
        }
      
      void
      verify_addrID()
        {
          uint ui[2] = {2,3};
          CHECK (addrID (ui[1]) == addrID (ui[0]) + sizeof(uint));
          
          uint* up{ui+1};
          CHECK (addrID (ui[1]) == addrID (up));
        }
      
      
      struct Boo
        {
          short moo;
          string woo;
          
          Boo()
            : moo(rani(1000))
            , woo{toString(moo-1)}
            { }
        };
      
      struct SuBoo : Boo
        {
          using Boo::Boo;
          size_t poo{addrID (this)};
        };
      
      static Boo* asBoo (void* mem) { return static_cast<Boo*> (mem); }
      
      
      void
      verify_isSameAdr()
        {
          Boo boo;
          Boo booo;
          Boo* boop = &boo;
          Boo const* const beep = boop;
          CHECK (boo.moo != booo.moo);
          CHECK (boo.moo == boop->moo);
          CHECK (    isSameAdr (boop,  beep));
          CHECK (not isSameAdr (&boop,&beep));
          CHECK (    isSameAdr (boo,   beep));
          CHECK (    isSameAdr (*beep, boo ));
          CHECK (not isSameAdr (*beep, booo));
          CHECK (    isSameAdr (boo,  boo.moo));
          CHECK (    isSameAdr (boo, &boo.moo));
          CHECK (not isSameAdr (boo.moo, booo));
          CHECK (    isSameAdr (booo, asBoo(&booo.moo)));
          CHECK (not isSameAdr (booo, asBoo(&booo.woo)));
          
          // handles also void*
          const void* voo = boop;
          CHECK (    isSameAdr (voo, boo));
          CHECK (    isSameAdr (voo, boop));
          CHECK (not isSameAdr (voo, booo));
          CHECK (    isSameAdr (voo, asBoo(&boo.moo)));
          CHECK (not isSameAdr (voo, asBoo(&booo.moo)));
          CHECK (not isSameAdr (voo, asBoo(&boo.woo)));
          
          // RValue taken by ref
          Boo&& roo = move(boo);
          CHECK (    isSameAdr (roo, boo));
          CHECK (    isSameAdr (voo, roo));
          CHECK (not isSameAdr (voo, Boo{roo}));
          
          // type information disregarded
          SuBoo* suBoo = static_cast<SuBoo*>(&boo);
          CHECK (    isSameAdr (boo, suBoo));
          CHECK (    isSameAdr (boo, suBoo->moo));
          CHECK (    isSameAdr (voo, suBoo->moo));
          CHECK (not isSameAdr (voo, suBoo->poo));
          
          SuBoo sudo{*suBoo};
          CHECK (not isSameAdr (sudo, boo));
          CHECK (not isSameAdr (sudo, suBoo));
          suBoo = &sudo;
          CHECK (    isSameAdr (sudo.poo, suBoo->poo));
        }
      
      void
      verify_isSameObject()
        {
          Boo boo;
          Boo booo;
          Boo* boop = &boo;
          Boo* woop = boop;
          Boo& foop = *woop;
          CHECK (    isSameObject (boo,  boo ));
          CHECK (    isSameObject (booo, booo));
          CHECK (not isSameObject (boo,  booo));
          CHECK (not isSameObject (booo, boo ));
          // pointers count as »objects« and are not dereferenced
          CHECK (not isSameObject (boop, woop));
          CHECK (not isSameObject (boop, booo));
          CHECK (not isSameObject (boop, boo ));
          CHECK (not isSameObject (booo, woop));
          CHECK (not isSameObject (boo , woop));
          CHECK (    isSameObject (boo , foop));
          CHECK (    isSameObject (foop, boo ));
          CHECK (not isSameObject (foop, boop));
          CHECK (not isSameObject (foop, woop));
          CHECK (not isSameObject (foop, &boo ));
          CHECK (    isSameObject (foop, *boop));
          CHECK (    isSameObject (*boop, foop));
          
          // RValue taken by ref
          Boo&& roo = move(boo);
          CHECK (    isSameObject (roo, boo));
          CHECK (not isSameObject (boo, Boo{roo}));
          
          // type information disregarded
          SuBoo* suBoo = static_cast<SuBoo*>(&boo);
          CHECK (    isSameObject (boo, *suBoo));
          CHECK (    isSameObject (boo, suBoo->moo));
          CHECK (not isSameObject (boo, suBoo->woo));
          
          // void* is treated as a distinct object
          void* voo = boop;
          CHECK (not isSameObject (voo , boop));
          CHECK (not isSameObject (voo ,  boo));
          CHECK (not isSameObject (voo , &boo));     // ...not getting anywhere...
          CHECK (not isSameObject (voo , asBoo(&boo)));
          CHECK (not isSameObject (boo , asBoo(&boo)));
        }
    };
  
  
  LAUNCHER (UtilIdentity_test, "unit common");
  
}} // namespace util::test