feat: Add support for array_length function in psql (#8636)

Co-authored-by: xxchan <[email protected]>

proto/expr.proto

@@ -120,6 +120,7 @@ message ExprNode {
     ARRAY_PREPEND = 533;
     FORMAT_TYPE = 534;
     ARRAY_DISTINCT = 535;
+    ARRAY_LENGTH = 536;
 
     // Jsonb functions
 

src/expr/src/expr/build_expr_from_prost.rs

@@ -50,6 +50,7 @@ use super::expr_unary::{
 };
 use super::expr_vnode::VnodeExpression;
 use crate::expr::expr_array_distinct::ArrayDistinctExpression;
+use crate::expr::expr_array_length::ArrayLengthExpression;
 use crate::expr::expr_array_to_string::ArrayToStringExpression;
 use crate::expr::expr_binary_nonnull::new_tumble_start;
 use crate::expr::expr_ternary::new_tumble_start_offset;
@@ -117,6 +118,7 @@ pub fn build_from_prost(prost: &ExprNode) -> Result<BoxedExpression> {
         }
         ArrayToString => ArrayToStringExpression::try_from(prost).map(Expression::boxed),
         ArrayDistinct => ArrayDistinctExpression::try_from(prost).map(Expression::boxed),
+        ArrayLength => ArrayLengthExpression::try_from(prost).map(Expression::boxed),
         Vnode => VnodeExpression::try_from(prost).map(Expression::boxed),
         Now => build_now_expr(prost),
         Udf => UdfExpression::try_from(prost).map(Expression::boxed),

src/expr/src/expr/expr_array_length.rs

@@ -0,0 +1,278 @@
+// Copyright 2023 RisingWave Labs
+//
+// 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.
+
+use std::sync::Arc;
+
+use risingwave_common::array::{ArrayRef, DataChunk};
+use risingwave_common::row::OwnedRow;
+use risingwave_common::types::{DataType, Datum, DatumRef, ScalarImpl, ScalarRefImpl, ToDatumRef};
+use risingwave_common::util::iter_util::ZipEqFast;
+use risingwave_pb::expr::expr_node::{RexNode, Type};
+use risingwave_pb::expr::ExprNode;
+
+use crate::expr::{build_from_prost, BoxedExpression, Expression};
+use crate::{bail, ensure, ExprError, Result};
+
+/// Returns the length of an array.
+///
+/// ```sql
+/// array_length ( array anyarray) → int64
+/// ```
+///
+/// Examples:
+///
+/// ```slt
+/// query T
+/// select array_length(null::int[]);
+/// ----
+/// NULL
+///
+/// query T
+/// select array_length(array[1,2,3]);
+/// ----
+/// 3
+///
+/// query T
+/// select array_length(array[1,2,3,4,1]);
+/// ----
+/// 5
+///
+/// query T
+/// select array_length(null::int[]);
+/// ----
+/// NULL
+///
+/// query T
+/// select array_length(array[array[1, 2, 3]]);
+/// ----
+/// 1
+///
+/// query T
+/// select array_length(array[NULL]);
+/// ----
+/// 1
+///
+/// query error unknown type
+/// select array_length(null);
+/// ```
+
+#[derive(Debug)]
+pub struct ArrayLengthExpression {
+    array: BoxedExpression,
+    return_type: DataType,
+}
+
+impl<'a> TryFrom<&'a ExprNode> for ArrayLengthExpression {
+    type Error = ExprError;
+
+    fn try_from(prost: &'a ExprNode) -> Result<Self> {
+        ensure!(prost.get_expr_type().unwrap() == Type::ArrayLength);
+        let RexNode::FuncCall(func_call_node) = prost.get_rex_node().unwrap() else {
+            bail!("Expected RexNode:FunctionCall")
+        };
+        let children = func_call_node.get_children();
+        ensure!(children.len() == 1);
+        let array = build_from_prost(&children[0])?;
+        let return_type = DataType::Int64;
+        Ok(Self { array, return_type })
+    }
+}
+
+#[async_trait::async_trait]
+impl Expression for ArrayLengthExpression {
+    fn return_type(&self) -> DataType {
+        self.return_type.clone()
+    }
+
+    async fn eval(&self, input: &DataChunk) -> Result<ArrayRef> {
+        let array = self.array.eval_checked(input).await?;
+        let mut builder = self.return_type.create_array_builder(array.len());
+
+        for (vis, input_array) in input.vis().iter().zip_eq_fast(array.iter()) {
+            if vis {
+                builder.append_datum(self.evaluate(input_array));
+            } else {
+                builder.append_null();
+            }
+        }
+
+        Ok(Arc::new(builder.finish()))
+    }
+
+    async fn eval_row(&self, input: &OwnedRow) -> Result<Datum> {
+        let array_data = self.array.eval_row(input).await?;
+        Ok(self.evaluate(array_data.to_datum_ref()))
+    }
+}
+
+impl ArrayLengthExpression {
+    fn evaluate(&self, array: DatumRef<'_>) -> Datum {
+        match array {
+            Some(ScalarRefImpl::List(array)) => Some(ScalarImpl::Int64(
+                array.values_ref().len().try_into().unwrap(),
+            )),
+            None => None,
+            _ => {
+                panic!("The array should be a valid array");
+            }
+        }
+    }
+}
+
+#[cfg(test)]
+mod tests {
+    use itertools::Itertools;
+    use risingwave_common::array::{DataChunk, ListValue};
+    use risingwave_common::types::{DataType, ScalarImpl};
+    use risingwave_pb::data::Datum as ProstDatum;
+    use risingwave_pb::expr::expr_node::{RexNode, Type as ProstType};
+    use risingwave_pb::expr::{ExprNode, FunctionCall};
+
+    use crate::expr::expr_array_length::ArrayLengthExpression;
+    use crate::expr::{BoxedExpression, Expression, LiteralExpression};
+
+    fn make_i64_expr_node(value: i64) -> ExprNode {
+        ExprNode {
+            expr_type: ProstType::ConstantValue as i32,
+            return_type: Some(DataType::Int64.to_protobuf()),
+            rex_node: Some(RexNode::Constant(ProstDatum {
+                body: value.to_be_bytes().to_vec(),
+            })),
+        }
+    }
+
+    fn make_i64_array_expr_node(values: Vec<i64>) -> ExprNode {
+        ExprNode {
+            expr_type: ProstType::Array as i32,
+            return_type: Some(
+                DataType::List {
+                    datatype: Box::new(DataType::Int64),
+                }
+                .to_protobuf(),
+            ),
+            rex_node: Some(RexNode::FuncCall(FunctionCall {
+                children: values.into_iter().map(make_i64_expr_node).collect(),
+            })),
+        }
+    }
+
+    fn make_i64_array_array_expr_node(values: Vec<Vec<i64>>) -> ExprNode {
+        ExprNode {
+            expr_type: ProstType::Array as i32,
+            return_type: Some(
+                DataType::List {
+                    datatype: Box::new(DataType::List {
+                        datatype: Box::new(DataType::Int64),
+                    }),
+                }
+                .to_protobuf(),
+            ),
+            rex_node: Some(RexNode::FuncCall(FunctionCall {
+                children: values.into_iter().map(make_i64_array_expr_node).collect(),
+            })),
+        }
+    }
+
+    #[test]
+    fn test_array_length_try_from() {
+        {
+            let array = make_i64_expr_node(1);
+            let expr = ExprNode {
+                expr_type: ProstType::ArrayLength as i32,
+                return_type: Some(
+                    DataType::List {
+                        datatype: Box::new(DataType::Int64),
+                    }
+                    .to_protobuf(),
+                ),
+                rex_node: Some(RexNode::FuncCall(FunctionCall {
+                    children: vec![array],
+                })),
+            };
+
+            assert!(ArrayLengthExpression::try_from(&expr).is_ok());
+        }
+
+        {
+            let array = make_i64_array_expr_node(vec![1, 2, 3]);
+            let expr = ExprNode {
+                expr_type: ProstType::ArrayLength as i32,
+                return_type: Some(
+                    DataType::List {
+                        datatype: Box::new(DataType::Int64),
+                    }
+                    .to_protobuf(),
+                ),
+                rex_node: Some(RexNode::FuncCall(FunctionCall {
+                    children: vec![array],
+                })),
+            };
+
+            assert!(ArrayLengthExpression::try_from(&expr).is_ok());
+        }
+
+        {
+            let array = make_i64_array_array_expr_node(vec![vec![1, 2, 3]]);
+            let expr = ExprNode {
+                expr_type: ProstType::ArrayLength as i32,
+                return_type: Some(
+                    DataType::List {
+                        datatype: Box::new(DataType::Int64),
+                    }
+                    .to_protobuf(),
+                ),
+                rex_node: Some(RexNode::FuncCall(FunctionCall {
+                    children: vec![array],
+                })),
+            };
+
+            assert!(ArrayLengthExpression::try_from(&expr).is_ok());
+        }
+    }
+
+    fn make_i64_array_expr(values: Vec<i64>) -> BoxedExpression {
+        LiteralExpression::new(
+            DataType::List {
+                datatype: Box::new(DataType::Int64),
+            },
+            Some(ListValue::new(values.into_iter().map(|x| Some(x.into())).collect()).into()),
+        )
+        .boxed()
+    }
+
+    #[tokio::test]
+    async fn test_array_length_of_primitives() {
+        let array = make_i64_array_expr(vec![1, 2, 3]);
+        let expr = ArrayLengthExpression {
+            array,
+            return_type: DataType::Int64,
+        };
+
+        let chunk =
+            DataChunk::new_dummy(3).with_visibility(([false, true, true]).into_iter().collect());
+        let expected_length = Some(ScalarImpl::Int64(3));
+
+        let expected = vec![None, expected_length.clone(), expected_length];
+
+        let actual = expr
+            .eval(&chunk)
+            .await
+            .unwrap()
+            .iter()
+            .map(|v| v.map(|s| s.into_scalar_impl()))
+            .collect_vec();
+
+        assert_eq!(actual, expected);
+    }
+}

src/expr/src/expr/mod.rs

@@ -34,6 +34,7 @@
 // These modules define concrete expression structures.
 mod expr_array_concat;
 mod expr_array_distinct;
+mod expr_array_length;
 mod expr_array_to_string;
 mod expr_binary_bytes;
 mod expr_binary_nonnull;

src/frontend/src/binder/expr/function.rs

@@ -387,6 +387,7 @@ impl Binder {
                 ("array_prepend", raw_call(ExprType::ArrayPrepend)),
                 ("array_to_string", raw_call(ExprType::ArrayToString)),
                 ("array_distinct", raw_call(ExprType::ArrayDistinct)),
+                ("array_length", raw_call(ExprType::ArrayLength)),
                 // jsonb
                 ("jsonb_object_field", raw_call(ExprType::JsonbAccessInner)),
                 ("jsonb_array_element", raw_call(ExprType::JsonbAccessInner)),

src/frontend/src/expr/type_inference/func.rs

@@ -542,6 +542,24 @@ fn infer_type_for_special(
                 _ => Ok(None),
             }
         }
+        ExprType::ArrayLength => {
+            ensure_arity!("array_length", | inputs | == 1);
+            let return_type = inputs[0].return_type();
+
+            if inputs[0].is_unknown() {
+                return Err(ErrorCode::BindError(
+                    "Cannot find length for unknown type".to_string(),
+                )
+                .into());
+            }
+
+            match return_type {
+                DataType::List {
+                    datatype: _list_elem_type,
+                } => Ok(Some(DataType::Int64)),
+                _ => Ok(None),
+            }
+        }
         ExprType::Vnode => {
             ensure_arity!("vnode", 1 <= | inputs |);
             Ok(Some(DataType::Int16))