Function CheckFloatingZeroEquality

cpp/src/arrow/array/array_test.cc:2383–2422

template <typename TYPE>
void CheckFloatingZeroEquality() {
  using V = NumericArgType<TYPE>;
  std::shared_ptr<Array> a, b;
  std::shared_ptr<DataType> type = TypeTraits<TYPE>::type_singleton();

  ArrayFromVector<TYPE, V>(type, {true, false}, {V(0.0), V(1.0)}, &a);
  ArrayFromVector<TYPE, V>(type, {true, false}, {V(0.0), V(1.0)}, &b);
  ASSERT_TRUE(a->Equals(b));
  ASSERT_TRUE(b->Equals(a));
  for (auto nans_equal : {false, true}) {
    for (auto signed_zeros_equal : {false, true}) {
      auto opts =
          EqualOptions().nans_equal(nans_equal).signed_zeros_equal(signed_zeros_equal);
      ASSERT_TRUE(a->Equals(b, opts));
      ASSERT_TRUE(b->Equals(a, opts));
      ASSERT_TRUE(a->RangeEquals(b, 0, 2, 0, opts));
      ASSERT_TRUE(b->RangeEquals(a, 0, 2, 0, opts));
      ASSERT_TRUE(a->RangeEquals(b, 1, 2, 1, opts));
      ASSERT_TRUE(b->RangeEquals(a, 1, 2, 1, opts));
    }
  }

  ArrayFromVector<TYPE, V>(type, {true, false}, {V(0.0), V(1.0)}, &a);
  ArrayFromVector<TYPE, V>(type, {true, false}, {V(-0.0), V(1.0)}, &b);
  for (auto nans_equal : {false, true}) {
    auto opts = EqualOptions().nans_equal(nans_equal);
    ASSERT_TRUE(a->Equals(b, opts));
    ASSERT_TRUE(b->Equals(a, opts));
    ASSERT_FALSE(a->Equals(b, opts.signed_zeros_equal(false)));
    ASSERT_FALSE(b->Equals(a, opts.signed_zeros_equal(false)));
    ASSERT_TRUE(a->RangeEquals(b, 0, 2, 0));
    ASSERT_TRUE(b->RangeEquals(a, 0, 2, 0));
    ASSERT_FALSE(a->RangeEquals(b, 0, 2, 0, opts.signed_zeros_equal(false)));
    ASSERT_FALSE(b->RangeEquals(a, 0, 2, 0, opts.signed_zeros_equal(false)));
    ASSERT_TRUE(a->RangeEquals(b, 1, 2, 1));
    ASSERT_TRUE(b->RangeEquals(a, 1, 2, 1));
    ASSERT_TRUE(a->RangeEquals(b, 1, 2, 1, opts.signed_zeros_equal(false)));
    ASSERT_TRUE(b->RangeEquals(a, 1, 2, 1, opts.signed_zeros_equal(false)));
  }
}

template <typename TYPE>
void CheckFloatApproxEqualsWithUlpDistance() {