Backport #52659 to 23.3: Fix crash in function tuple with one sparse column argument

src/DataTypes/DataTypeTuple.h

@@ -36,6 +36,7 @@ class DataTypeTuple final : public IDataType
 
     bool canBeInsideNullable() const override { return false; }
     bool supportsSparseSerialization() const override { return true; }
+    bool canBeInsideSparseColumns() const override { return false; }
 
     MutableColumnPtr createColumn() const override;
     MutableColumnPtr createColumn(const ISerialization & serialization) const override;

src/DataTypes/IDataType.h

@@ -108,6 +108,7 @@ class IDataType : private boost::noncopyable, public std::enable_shared_from_thi
 
     /// TODO: support more types.
     virtual bool supportsSparseSerialization() const { return !haveSubtypes(); }
+    virtual bool canBeInsideSparseColumns() const { return supportsSparseSerialization(); }
 
     SerializationPtr getDefaultSerialization() const;
     SerializationPtr getSparseSerialization() const;

src/Functions/IFunction.cpp

@@ -363,7 +363,7 @@ ColumnPtr IExecutableFunction::execute(const ColumnsWithTypeAndName & arguments,
             /// If default of sparse column is changed after execution of function, convert to full column.
             /// If there are any default in non-zero position after execution of function, convert to full column.
             /// Currently there is no easy way to rebuild sparse column with new offsets.
-            if (!result_type->supportsSparseSerialization() || !res->isDefaultAt(0) || res->getNumberOfDefaultRows() != 1)
+            if (!result_type->canBeInsideSparseColumns() || !res->isDefaultAt(0) || res->getNumberOfDefaultRows() != 1)
             {
                 const auto & offsets_data = assert_cast<const ColumnVector<UInt64> &>(*sparse_offsets).getData();
                 return res->createWithOffsets(offsets_data, (*res)[0], input_rows_count, /*shift=*/ 1);

tests/queries/0_stateless/02833_sparse_columns_tuple_function.reference

@@ -0,0 +1,4 @@
+(0,0)
+(0,0)
+(0,1)
+(0,NULL)

tests/queries/0_stateless/02833_sparse_columns_tuple_function.sql

@@ -0,0 +1,14 @@
+drop table if exists t_tuple_sparse;
+
+create table t_tuple_sparse (a UInt64, b UInt64)
+ENGINE = MergeTree ORDER BY tuple()
+SETTINGS ratio_of_defaults_for_sparse_serialization = 0.0;
+
+insert into t_tuple_sparse values (0, 0);
+
+select (a, b) from t_tuple_sparse;
+select (a, 0) from t_tuple_sparse;
+select (a, 1) from t_tuple_sparse;
+select (a, NULL) from t_tuple_sparse;
+
+drop table if exists t_tuple_sparse;