IsWave.h

Go to the documentation of this file.

/*
 * This file is a part of the Biology project by eons LLC.
 * Biology (aka Develop Biology) is a framework for approaching software
 * development from a natural sciences perspective.
 *
 * Copyright (C) 2022 Séon O'Shannon & eons LLC
 *
 * This program is free software: you can redistribute it and/or modify
 * it under the terms of the GNU Affero General Public License as
 * published by the Free Software Foundation, either version 3 of the
 * License, or (at your option) any later version.
 *
 * This program is distributed in the hope that it will be useful,
 * but WITHOUT ANY WARRANTY; without even the implied warranty of
 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
 * GNU Affero General Public License for more details.
 *
 * You should have received a copy of the GNU Affero General Public License
 * along with this program.  If not, see <https://www.gnu.org/licenses/>.
 */
#pragma once
 
#include "bio/common/type/IsPrimitive.h"
#include "bio/common/type/RemoveConst.h"
#include "bio/common/type/RemovePointer.h"
#include "bio/common/type/RemoveReference.h"
#include "bio/physical/wave/Wave.h"
 
#if BIO_CPP_VERSION >= 11
#include <type_traits>
#endif
 
namespace bio
{
namespace type
{
 
namespace is_wave_detail
{
 
#if BIO_CPP_VERSION < 11
template <typename Base, typename Derived>
class IsBaseOf
{
#if defined(__GNUC__) || defined(__clang__)
public:
    static const bool sValue = __is_base_of(Base, Derived);
#else
    typedef char Yes;
    typedef char No[2];
 
    static Yes Test(Base*); // BIO_RAW_POINTER_ALLOWLIST: SFINAE convertibility probe, not storage
    static No& Test(...);
    static Derived* GetDerived(); // BIO_RAW_POINTER_ALLOWLIST: SFINAE probe (unevaluated), not storage
 
public:
    static const bool sValue = sizeof(Test(GetDerived())) == sizeof(Yes);
#endif
};
#endif
 
} // namespace is_wave_detail
 
#if BIO_CPP_VERSION >= 20
template <typename T>
concept WaveType =
    ::std::derived_from<
        ::std::remove_cvref_t<
            ::std::remove_pointer_t<T>
        >,
        physical::Wave>;
#endif
 
template <typename T>
struct IsWaveImplementation
{
    typedef typename RemoveReference< T >::Type NoReference;
    typedef typename RemovePointer< NoReference >::Type NoPointer;
    typedef typename RemoveConst< NoPointer >::Type Base;
 
#if BIO_CPP_VERSION >= 11
    static const bool sValue = ::std::is_base_of< physical::Wave, Base >::value;
#else
    static const bool sValue =
        is_wave_detail::IsBaseOf< physical::Wave, Base >::sValue;
#endif
};
 
template <typename T>
BIO_CONSTEXPR bool IsWave()
{
    // Primitives (and wrapped primitives) are never Waves.
    if (IsPrimitive<T>())
    {
        return false;
    }
 
    return IsWaveImplementation< T >::sValue;
}
 
#if BIO_CPP_VERSION >= 20
template <typename T>
BIO_CONSTEXPR bool IsWaveConcept()
{
    return WaveType<T>;
}
#endif
 
} // namespace type
} // namespace bio