泛型 find_if 检查二维数组中的元素

Question

使用std::find_if我们可以找到一个元素是否存在于一个普通的一维数组中。

受到的启发，我想知道我们是否可以提供一个算法函数来检查二维数组中是否存在（即std::vector of std::vector s 或 std::array of std::array) 任意类型和任意数量的元素。

是否可以提供一个通用函数来查找二维数组中元素的存在？

类似于：

template<typename Iterator>
auto isIn2DArray(
   Iterator begin, const Iterator end, ElementType ele) noexcept
{
   // returns the iterator pointing to the row, if the element is found, otherwise the end of the array!
}

Answer 1

在同一个 std::find_if 的帮助下，我们可以实现这一目标。

以下是一个采用迭代器的模板函数（与大多数标准算法函数一样）二维数组的（std::vector<std::vector<Type>>，或 std::array<std::array<Type, RowSize>, ColSize>) 和 returns 指向内部数组（元素存在的地方）的迭代器，否则二维数组的结束迭代器。

(See Live Online)

#include <type_traits>   // std::remove_reference_t, std::remove_const_t, std::conditional_t, std::is_fundamental_v
#include <iterator>      // std::cbegin(), std::cend()
#include <algorithm>     // std::find_if
#include <utility>       // std::declval

// traits for finding the inner element type of 2D array(of std::vector or std::array)
template<typename Iterator>
using ContainerType = std::remove_const_t<std::remove_reference_t<decltype(*std::declval<Iterator>())>>;

template<typename Iterator>
using ElementType = std::remove_const_t<std::remove_reference_t<typename ContainerType<Iterator>::value_type>>;

template<typename Iterator>  // optional: ElementType<Iterator> should also be enough!
using ElementArgumentType = std::conditional_t<std::is_fundamental_v<ElementType<Iterator>>
   , ElementType<Iterator>, ElementType<Iterator> const&>;

template<typename Iterator>
auto isIn2DArray(
   Iterator begin, const Iterator end, ElementArgumentType<Iterator> val) noexcept
{
   // used the standard algorithm std::find_if here!
   return std::find_if(begin, end, [val](const auto& row) noexcept {
      return std::find_if(std::cbegin(row), std::cend(row), [val](const auto& element) noexcept {
         return element == val;
         }
      ) != std::cend(row);
      }
   );
}

或者将一元谓词传递给函数，该函数将用于在数组数组中查找合适的数组。这样噪音会小一些！

(See Live Online)

#include <iterator>      // std::cbegin(), std::cend()
#include <algorithm>     // std::find_if


template<typename Iterator, typename UnaryPredicate>
auto find_if_in_2DArray(
   Iterator begin, const Iterator end, UnaryPredicate unarayPred) noexcept
{
   // used the standard algorithm std::find_if here!
   return std::find_if(begin, end, [unarayPred](const auto& row) noexcept {
      return std::find_if(std::cbegin(row), std::cend(row), unarayPred) != std::cend(row);
      }
   );
}

泛型 find_if 检查二维数组中的元素

Generic find_if to check an element in the 2D array

c++

algorithm

templates

function-templates

c++17