SpecializedForAspect.hpp

/*
 * Copyright (c) 2011-2021, The DART development contributors
 * All rights reserved.
 *
 * The list of contributors can be found at:
 *   https://github.com/dartsim/dart/blob/master/LICENSE
 *
 * This file is provided under the following "BSD-style" License:
 *   Redistribution and use in source and binary forms, with or
 *   without modification, are permitted provided that the following
 *   conditions are met:
 *   * Redistributions of source code must retain the above copyright
 *     notice, this list of conditions and the following disclaimer.
 *   * Redistributions in binary form must reproduce the above
 *     copyright notice, this list of conditions and the following
 *     disclaimer in the documentation and/or other materials provided
 *     with the distribution.
 *   THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND
 *   CONTRIBUTORS "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES,
 *   INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES OF
 *   MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE
 *   DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT HOLDER OR
 *   CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
 *   SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT
 *   LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF
 *   USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED
 *   AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
 *   LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN
 *   ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
 *   POSSIBILITY OF SUCH DAMAGE.
 */

#ifndef DART_COMMON_SPECIALIZEDFORASPECT_HPP_
#define DART_COMMON_SPECIALIZEDFORASPECT_HPP_

#include "dart/common/Composite.hpp"
#include "dart/common/CompositeJoiner.hpp"
#include "dart/common/Virtual.hpp"

namespace dart {
namespace common {

template <class... OtherSpecAspects>
class SpecializedForAspect
{
public:
  virtual ~SpecializedForAspect() = default;
};

//==============================================================================
DART_DECLARE_CLASS_WITH_VIRTUAL_BASE_BEGIN

template <class SpecAspect>
class SpecializedForAspect<SpecAspect> : public virtual Composite
{
public:
  SpecializedForAspect();

  virtual ~SpecializedForAspect() = default;

  template <class T>
  bool has() const;

  template <class T>
  T* get();

  template <class T>
  const T* get() const;

  template <class T>
  void set(const T* aspect);

  template <class T>
  void set(std::unique_ptr<T>&& aspect);

  template <class T, typename... Args>
  T* createAspect(Args&&... args);

  template <class T>
  void removeAspect();

  template <class T>
  std::unique_ptr<T> releaseAspect();

  template <class T>
  static constexpr bool isSpecializedFor();

protected:
  template <class T>
  struct type
  {
  };

  template <class T>
  bool _has(type<T>) const;

  bool _has(type<SpecAspect>) const;

  template <class T>
  T* _get(type<T>);

  SpecAspect* _get(type<SpecAspect>);

  template <class T>
  const T* _get(type<T>) const;

  const SpecAspect* _get(type<SpecAspect>) const;

  template <class T>
  void _set(type<T>, const T* aspect);

  void _set(type<SpecAspect>, const SpecAspect* aspect);

  template <class T>
  void _set(type<T>, std::unique_ptr<T>&& aspect);

  void _set(type<SpecAspect>, std::unique_ptr<SpecAspect>&& aspect);

  template <class T, typename... Args>
  T* _createAspect(type<T>, Args&&... args);

  template <typename... Args>
  SpecAspect* _createAspect(type<SpecAspect>, Args&&... args);

  template <class T>
  void _removeAspect(type<T>);

  void _removeAspect(type<SpecAspect>);

  template <class T>
  std::unique_ptr<T> _releaseAspect(type<T>);

  std::unique_ptr<SpecAspect> _releaseAspect(type<SpecAspect>);

  template <class T>
  static constexpr bool _isSpecializedFor(type<T>);

  static constexpr bool _isSpecializedFor(type<SpecAspect>);

  Composite::AspectMap::iterator mSpecAspectIterator;
};
DART_DECLARE_CLASS_WITH_VIRTUAL_BASE_END

//==============================================================================
template <class SpecAspect1, class... OtherSpecAspects>
class SpecializedForAspect<SpecAspect1, OtherSpecAspects...>
  : public CompositeJoiner<
        Virtual<SpecializedForAspect<SpecAspect1> >,
        Virtual<SpecializedForAspect<OtherSpecAspects...> > >
{
public:
  virtual ~SpecializedForAspect() = default;
};

} // namespace common
} // namespace dart

#include "dart/common/detail/SpecializedForAspect.hpp"

#endif // DART_COMMON_SPECIALIZEDFORASPECT_HPP_