projected.h

Go to the documentation of this file.

#pragma once
 
#include "di/container/concepts/indirectly_readable.h"
#include "di/container/concepts/indirectly_regular_unary_invocable.h"
#include "di/container/iterator/iterator_ssize_type.h"
#include "di/container/iterator/iterator_value.h"
#include "di/container/meta/indirect_result.h"
#include "di/container/meta/iterator_ssize_type.h"
#include "di/meta/core.h"
#include "di/platform/compiler.h"
#include "di/types/prelude.h"
#include "di/util/declval.h"
 
namespace di::meta {
template<concepts::IndirectlyReadable It, concepts::IndirectlyRegularUnaryInvocable<It> Proj>
struct Projected {
    using Reference = meta::IndirectResult<Proj&, It>;
    using Value = meta::RemoveCVRef<Reference>;
    using SSizeType = meta::IteratorSSizeType<It>;
 
#ifdef DI_CLANG
#pragma GCC diagnostic push
#pragma GCC diagnostic ignored "-Wundefined-internal"
#endif
    auto operator*() const -> Reference;
#ifdef DI_CLANG
#pragma GCC diagnostic pop
#endif
 
    constexpr friend auto tag_invoke(types::Tag<container::iterator_value>, InPlaceType<Projected>)
        -> InPlaceType<Value> {
        return in_place_type<Value>;
    }
    constexpr friend auto tag_invoke(types::Tag<container::iterator_value>, InPlaceType<Projected>) {…}
    constexpr friend auto tag_invoke(types::Tag<container::iterator_ssize_type>, InPlaceType<Projected>) -> SSizeType {
        return util::declval<SSizeType>();
    }
    constexpr friend auto tag_invoke(types::Tag<container::iterator_ssize_type>, InPlaceType<Projected>) -> SSizeType {…}
};
struct Projected {…};
}