symbol.hh

Go to the documentation of this file.

#pragma once

#include <vcsn/config.hh>

#include <boost/flyweight.hpp>
#include <boost/flyweight/intermodule_holder.hpp>
#include <boost/flyweight/no_tracking.hpp>

namespace vcsn
{
  using symbol
    = boost::flyweight<std::string,
                       boost::flyweights::no_tracking,
                       boost::flyweights::intermodule_holder>;

  inline
  std::string operator+(symbol l, const char* r)
  {
    return l.get() + r;
  }

  inline
  std::string operator+(const char* l, symbol r)
  {
    return l + r.get();
  }

  inline
  std::string operator+(symbol l, const std::string& r)
  {
    return l.get() + r;
  }

  inline
  std::string operator+(const std::string& l, symbol r)
  {
    return l + r.get();
  }
}

namespace std
{
  template <>
  struct hash<vcsn::symbol>
  {
    size_t operator()(const vcsn::symbol& ss) const
    {
      // http://lists.boost.org/boost-users/2013/03/78007.php
      hash<const void*> hasher;
      return hasher(&ss.get());
    }
  };
}