fix：修复pg函数【array_position】在高斯中不存在bug

Author: wangpengxpy

Directory.Build.props

@@ -1,6 +1,6 @@
 <Project>
   <PropertyGroup>
-    <VersionPrefix>8.0.0</VersionPrefix>
+    <VersionPrefix>8.0.1</VersionPrefix>
     <LangVersion>preview</LangVersion>
     <TreatWarningsAsErrors>true</TreatWarningsAsErrors>
     <AnalysisLevel>latest</AnalysisLevel>
@@ -11,7 +11,7 @@
     <ManagePackageVersionsCentrally>true</ManagePackageVersionsCentrally>
     <ImplicitUsings>true</ImplicitUsings>
     <GenerateDocumentationFile>true</GenerateDocumentationFile>
-
+    <Description>修复数组函数【array_position】在高斯中已被剔除</Description>
     <PublishRepositoryUrl>true</PublishRepositoryUrl>
     <PackageLicenseExpression>PostgreSQL</PackageLicenseExpression>
     <PackageProjectUrl>https://github.com/dotnetcore/EntityFrameworkCore.GaussDB</PackageProjectUrl>

src/EFCore.GaussDB/Query/ExpressionTranslators/Internal/GaussDBArrayMethodTranslator.cs

@@ -126,7 +126,7 @@ static bool IsMappedToNonArray(SqlExpression arrayOrList)
                 return _sqlExpressionFactory.Coalesce(
                     _sqlExpressionFactory.Subtract(
                         _sqlExpressionFactory.Function(
-                            "array_position",
+                            "array_next",
                             new[] { array, item },
                             nullable: true,
                             TrueArrays[2],
@@ -146,7 +146,7 @@ static bool IsMappedToNonArray(SqlExpression arrayOrList)
                 return _sqlExpressionFactory.Coalesce(
                     _sqlExpressionFactory.Subtract(
                         _sqlExpressionFactory.Function(
-                            "array_position",
+                            "array_next",
                             new[] { array, item, startIndex },
                             nullable: true,
                             TrueArrays[3],

src/EFCore.GaussDB/Query/Internal/GaussDBQueryableMethodTranslatingExpressionVisitor.cs

@@ -607,15 +607,15 @@ protected override Expression ApplyInferredTypeMappings(
                 case ColumnExpression:
                     if (translatedItem is SqlConstantExpression { Value: null })
                     {
-                        // We special-case null constant item and use array_position instead, since it does
+                        // We special-case null constant item and use array_next instead, since it does
                         // nulls correctly (but doesn't use indexes)
                         // TODO: once lambda-based caching is implemented, move this to GaussDBSqlNullabilityProcessor
                         // (https://github.com/dotnet/efcore/issues/17598) and do for parameters as well.
                         return BuildSimplifiedShapedQuery(
                             source,
                             _sqlExpressionFactory.IsNotNull(
                                 _sqlExpressionFactory.Function(
-                                    "array_position",
+                                    "array_next",
                                     new[] { array, translatedItem },
                                     nullable: true,
                                     argumentsPropagateNullability: FalseArrays[2],

src/EFCore.GaussDB/Query/Internal/GaussDBSqlNullabilityProcessor.cs

@@ -234,8 +234,8 @@ protected virtual SqlExpression VisitAny(PgAnyExpression anyExpression, bool all
 
         // non_nullable = ANY(array) -> non_nullable = ANY(array) (optimized)
         // non_nullable = ANY(array) -> non_nullable = ANY(array) AND (non_nullable = ANY(array) IS NOT NULL) (full)
-        // nullable = ANY(array) -> nullable = ANY(array) OR (nullable IS NULL AND array_position(array, NULL) IS NOT NULL) (optimized)
-        // nullable = ANY(array) -> (nullable = ANY(array) AND (nullable = ANY(array) IS NOT NULL)) OR (nullable IS NULL AND array_position(array, NULL) IS NOT NULL) (full)
+        // nullable = ANY(array) -> nullable = ANY(array) OR (nullable IS NULL AND array_next(array, NULL) IS NOT NULL) (optimized)
+        // nullable = ANY(array) -> (nullable = ANY(array) AND (nullable = ANY(array) IS NOT NULL)) OR (nullable IS NULL AND array_next(array, NULL) IS NOT NULL) (full)
 
         nullable = false;
 
@@ -252,15 +252,15 @@ protected virtual SqlExpression VisitAny(PgAnyExpression anyExpression, bool all
         }
 
         // If the item is nullable, add an OR to check for the item being null and the array containing null.
-        // The latter check is done with array_position, which returns null when a value was not found, and
+        // The latter check is done with array_next, which returns null when a value was not found, and
         // a position if the item (including null!) was found (IS NOT DISTINCT FROM semantics)
         return _sqlExpressionFactory.OrElse(
             updated,
             _sqlExpressionFactory.AndAlso(
                 _sqlExpressionFactory.IsNull(item),
                 _sqlExpressionFactory.IsNotNull(
                     _sqlExpressionFactory.Function(
-                        "array_position",
+                        "array_next",
                         new[] { array, _sqlExpressionFactory.Constant(null, item.TypeMapping) },
                         nullable: true,
                         argumentsPropagateNullability: FalseArrays[2],