/*
 *  Copyright 2008-2013 NVIDIA Corporation
 *
 *  Licensed under the Apache License, Version 2.0 (the "License");
 *  you may not use this file except in compliance with the License.
 *  You may obtain a copy of the License at
 *
 *      http://www.apache.org/licenses/LICENSE-2.0
 *
 *  Unless required by applicable law or agreed to in writing, software
 *  distributed under the License is distributed on an "AS IS" BASIS,
 *  WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
 *  See the License for the specific language governing permissions and
 *  limitations under the License.
 */

/*! \file thrust/iterator/discard_iterator.h
 *  \brief An iterator which "discards" (ignores) values assigned to it upon dereference
 */

#pragma once

#include <thrust/detail/config.h>

#if defined(_CCCL_IMPLICIT_SYSTEM_HEADER_GCC)
#  pragma GCC system_header
#elif defined(_CCCL_IMPLICIT_SYSTEM_HEADER_CLANG)
#  pragma clang system_header
#elif defined(_CCCL_IMPLICIT_SYSTEM_HEADER_MSVC)
#  pragma system_header
#endif // no system header

#include <thrust/iterator/counting_iterator.h>
#include <thrust/iterator/detail/any_assign.h>
#include <thrust/iterator/iterator_adaptor.h>

#include <cuda/std/cstddef>

THRUST_NAMESPACE_BEGIN

template <typename>
class discard_iterator;

namespace detail
{
template <typename System>
struct make_discard_iterator_base
{
  // XXX value_type should actually be void but this interferes with zip_iterator<discard_iterator>
  using value_type    = any_assign;
  using reference     = any_assign&;
  using incrementable = ::cuda::std::ptrdiff_t;

  using base_iterator = counting_iterator<incrementable, System, random_access_traversal_tag>;

  using type =
    iterator_adaptor<discard_iterator<System>,
                     base_iterator,
                     value_type,
                     iterator_system_t<base_iterator>,
                     iterator_traversal_t<base_iterator>,
                     reference>;
};
} // namespace detail

_CCCL_DIAG_PUSH
_CCCL_DIAG_SUPPRESS_MSVC(4244 4267) // possible loss of data

//! \addtogroup iterators
//! \{

//! \addtogroup fancyiterator Fancy Iterators
//! \ingroup iterators
//! \{

//! \p discard_iterator is an iterator which represents a special kind of pointer that ignores values written to it upon
//! dereference. This iterator is useful for ignoring the output of certain algorithms without wasting memory capacity
//! or bandwidth. \p discard_iterator may also be used to count the size of an algorithm's output which may not be known
//! a priori.
//!
//! The following code snippet demonstrates how to use \p discard_iterator to ignore one of the output ranges of
//! reduce_by_key
//!
//! \code
//! #include <thrust/iterator/discard_iterator.h>
//! #include <thrust/reduce.h>
//! #include <thrust/device_vector.h>
//!
//! int main()
//! {
//!   thrust::device_vector<int> keys(7), values(7);
//!
//!   keys[0] = 1;
//!   keys[1] = 3;
//!   keys[2] = 3;
//!   keys[3] = 3;
//!   keys[4] = 2;
//!   keys[5] = 2;
//!   keys[6] = 1;
//!
//!   values[0] = 9;
//!   values[1] = 8;
//!   values[2] = 7;
//!   values[3] = 6;
//!   values[4] = 5;
//!   values[5] = 4;
//!   values[6] = 3;
//!
//!   thrust::device_vector<int> result(4);
//!
//!   // we are only interested in the reduced values
//!   // use discard_iterator to ignore the output keys
//!   thrust::reduce_by_key(keys.begin(), keys.end(),
//!                         values.begin(),
//!                         thrust::make_discard_iterator(),
//!                         result.begin());
//!
//!   // result is now [9, 21, 9, 3]
//!
//!   return 0;
//! }
//! \endcode
//!
//! \see make_discard_iterator
template <typename System = use_default>
class discard_iterator : public detail::make_discard_iterator_base<System>::type
{
  //! \cond
  friend class iterator_core_access;
  using super_t       = typename detail::make_discard_iterator_base<System>::type;
  using incrementable = typename detail::make_discard_iterator_base<System>::incrementable;
  using base_iterator = typename detail::make_discard_iterator_base<System>::base_iterator;

public:
  using reference  = typename super_t::reference;
  using value_type = typename super_t::value_type;

  //! \endcond

  //! This constructor receives an optional index specifying the position of this \p discard_iterator in a range.
  //!
  //! \p i The index of this \p discard_iterator in a range. Defaults to the value returned by \c Incrementable's null
  //! constructor. For example, when <tt>Incrementable == int</tt>, \c 0.
  _CCCL_HOST_DEVICE discard_iterator(incrementable const& i = incrementable())
      : super_t(base_iterator(i))
  {}

  //! \cond

private: // Core iterator interface
  _CCCL_HOST_DEVICE reference dereference() const
  {
    return m_element;
  }

  mutable value_type m_element;

  //! \endcond
};

//! \p make_discard_iterator creates a \p discard_iterator from an optional index parameter.
//!
//! \param i The index of the returned \p discard_iterator within a range. In the default case, the value of this
//! parameter is \c 0.
//! \return A new \p discard_iterator with index as given by \p i.
//! \see constant_iterator
inline _CCCL_HOST_DEVICE discard_iterator<>
make_discard_iterator(discard_iterator<>::difference_type i = discard_iterator<>::difference_type(0))
{
  return discard_iterator<>(i);
}

//! \} // end fancyiterators
//! \} // end iterators

_CCCL_DIAG_POP

THRUST_NAMESPACE_END
