Fix array_has_all and array_has_any with empty array (#15039)

* fixEmptyArrayHasAll

* Fix the array

* Change to more efficient BooleanBuffer

* Separate test case

* small fix

* Update datafusion/functions-nested/src/array_has.rs

Co-authored-by: Alex Huang <[email protected]>

* Add the string failure test cases

* fix

---------

Co-authored-by: Alex Huang <[email protected]>

Author: LuQQiu

datafusion/functions-nested/src/array_has.rs

@@ -439,6 +439,13 @@ fn array_has_all_and_any_dispatch<O: OffsetSizeTrait>(
 ) -> Result<ArrayRef> {
     let haystack = as_generic_list_array::<O>(haystack)?;
     let needle = as_generic_list_array::<O>(needle)?;
+    if needle.values().len() == 0 {
+        let buffer = match comparison_type {
+            ComparisonType::All => BooleanBuffer::new_set(haystack.len()),
+            ComparisonType::Any => BooleanBuffer::new_unset(haystack.len()),
+        };
+        return Ok(Arc::new(BooleanArray::from(buffer)));
+    }
     match needle.data_type() {
         DataType::Utf8 | DataType::LargeUtf8 | DataType::Utf8View => {
             array_has_all_and_any_string_internal::<O>(haystack, needle, comparison_type)

datafusion/sqllogictest/test_files/array.slt

@@ -5905,6 +5905,15 @@ false false false false
 false false false false
 false false false false
 
+query BBBB
+select array_has_all(make_array(1,2,3), []),
+       array_has_any(make_array(1,2,3), []),
+       array_has_all(make_array('aa','bb','cc'), []),
+       array_has_any(make_array('aa','bb','cc'), [])
+;
+----
+true false true false
+
 query BBBBBBBBBBBBB
 select array_has_all(make_array(1,2,3), make_array(1,3)),
        array_has_all(make_array(1,2,3), make_array(1,4)),