diff --git a/core/src/main/java/org/apache/calcite/sql/fun/SqlLibraryOperators.java b/core/src/main/java/org/apache/calcite/sql/fun/SqlLibraryOperators.java index a5440a211dd..a81f93910b0 100644 --- a/core/src/main/java/org/apache/calcite/sql/fun/SqlLibraryOperators.java +++ b/core/src/main/java/org/apache/calcite/sql/fun/SqlLibraryOperators.java @@ -1061,13 +1061,22 @@ static RelDataType deriveTypeSplit(SqlOperatorBinding operatorBinding, private static RelDataType arrayReturnType(SqlOperatorBinding opBinding) { final List operandTypes = opBinding.collectOperandTypes(); - // only numeric & character types check + // only numeric & character types check, this is a special spark array case + // the form like ARRAY(1, 2, '3') will return ["1", "2", "3"] boolean hasNumeric = false; boolean hasCharacter = false; boolean hasOthers = false; for (RelDataType type : operandTypes) { SqlTypeFamily family = type.getSqlTypeName().getFamily(); - requireNonNull(family, "array element type family"); + // some types such as Row, the family is null, fallback to normal inferred type logic + if (family == null) { + hasOthers = true; + break; + } + // skip it because we allow NULL literal + if (SqlTypeUtil.isNull(type)) { + continue; + } switch (family) { case NUMERIC: hasNumeric = true; @@ -1075,9 +1084,6 @@ private static RelDataType arrayReturnType(SqlOperatorBinding opBinding) { case CHARACTER: hasCharacter = true; break; - case NULL: - // skip it becase we allow null - break; default: hasOthers = true; break; diff --git a/testkit/src/main/java/org/apache/calcite/test/SqlOperatorTest.java b/testkit/src/main/java/org/apache/calcite/test/SqlOperatorTest.java index 9578522bd81..1d15d3cfa9d 100644 --- a/testkit/src/main/java/org/apache/calcite/test/SqlOperatorTest.java +++ b/testkit/src/main/java/org/apache/calcite/test/SqlOperatorTest.java @@ -10537,6 +10537,29 @@ private static void checkArrayConcatAggFuncFails(SqlOperatorFixture t) { "[null, foo]", "CHAR(3) ARRAY NOT NULL"); f2.checkScalar("array(null)", "[null]", "NULL ARRAY NOT NULL"); + // check complex type + f2.checkScalar("array(row(1))", "[{1}]", + "RecordType(INTEGER NOT NULL EXPR$0) NOT NULL ARRAY NOT NULL"); + f2.checkScalar("array(row(1, null))", "[{1, null}]", + "RecordType(INTEGER NOT NULL EXPR$0, NULL EXPR$1) NOT NULL ARRAY NOT NULL"); + f2.checkScalar("array(row(null, 1))", "[{null, 1}]", + "RecordType(NULL EXPR$0, INTEGER NOT NULL EXPR$1) NOT NULL ARRAY NOT NULL"); + f2.checkScalar("array(row(1, 2))", "[{1, 2}]", + "RecordType(INTEGER NOT NULL EXPR$0, INTEGER NOT NULL EXPR$1) NOT NULL ARRAY NOT NULL"); + f2.checkFails("^array(row(1, 2), null)^", + "Parameters must be of the same type", false); + f2.checkFails("^array(null, row(1, 2))^", + "Parameters must be of the same type", false); + f2.checkScalar("array(row(1, null), row(2, null))", "[{1, null}, {2, null}]", + "RecordType(INTEGER NOT NULL EXPR$0, NULL EXPR$1) NOT NULL ARRAY NOT NULL"); + f2.checkScalar("array(row(null, 1), row(null, 2))", "[{null, 1}, {null, 2}]", + "RecordType(NULL EXPR$0, INTEGER NOT NULL EXPR$1) NOT NULL ARRAY NOT NULL"); + f2.checkScalar("array(row(1, null), row(null, 2))", "[{1, null}, {null, 2}]", + "RecordType(INTEGER EXPR$0, INTEGER EXPR$1) NOT NULL ARRAY NOT NULL"); + f2.checkScalar("array(row(null, 1), row(2, null))", "[{null, 1}, {2, null}]", + "RecordType(INTEGER EXPR$0, INTEGER EXPR$1) NOT NULL ARRAY NOT NULL"); + f2.checkScalar("array(row(1, 2), row(3, 4))", "[{1, 2}, {3, 4}]", + "RecordType(INTEGER NOT NULL EXPR$0, INTEGER NOT NULL EXPR$1) NOT NULL ARRAY NOT NULL"); // calcite default cast char type will fill extra spaces f2.checkScalar("array(1, 2, 'Hi')", "[1 , 2 , Hi]", "CHAR(2) NOT NULL ARRAY NOT NULL");