type_traits.h

Go to the documentation of this file.

/*
    Copyright (C) 2025, University College London
    This file is part of STIR.

    SPDX-License-Identifier: Apache-2.0

    See STIR/LICENSE.txt for details
*/

#ifndef __stir_typetraits_H__
#define __stir_typetraits_H__

#include <type_traits>
#include "stir/common.h"

START_NAMESPACE_STIR


#if 0
// Helper template to check if a method exists
template <typename T>
struct has_method_foo<T, typename = void> : std::false_type {};
struct has_method_foo<T, std::void_t<decltype(std::declval<T>().foo())>> : std::true_type {}; // Specialization: method exists

#endif

template <typename T, typename = void>
struct has_iterator : std::false_type
{
};

template <typename T>
struct has_iterator<T, std::void_t<typename T::iterator>> : std::true_type
{
};

template <typename T>
constexpr bool has_iterator_v = has_iterator<T>::value;

template <typename T, typename = void>
struct has_full_iterator : std::false_type
{
};

template <typename T>
struct has_full_iterator<T, std::void_t<typename T::full_iterator>> : std::true_type
{
};

template <typename T>
constexpr bool has_full_iterator_v = has_full_iterator<T>::value;

template <typename T>
struct has_iterator_and_no_full_iterator : std::conjunction<has_iterator<T>, std::negation<has_full_iterator<T>>>
{
};

template <typename T>
constexpr bool has_iterator_and_no_full_iterator_v = has_iterator_and_no_full_iterator<T>::value;


END_NAMESPACE_STIR

#endif