Add Half type support for SQLite (#30931)

src/EFCore.Sqlite.Core/Storage/Internal/SqliteHalfTypeMapping.cs

@@ -0,0 +1,65 @@
+// Licensed to the .NET Foundation under one or more agreements.
+// The .NET Foundation licenses this file to you under the MIT license.
+
+using System.Globalization;
+
+namespace Microsoft.EntityFrameworkCore.Sqlite.Storage.Internal;
+
+/// <summary>
+///     This is an internal API that supports the Entity Framework Core infrastructure and not subject to
+///     the same compatibility standards as public APIs. It may be changed or removed without notice in
+///     any release. You should only use it directly in your code with extreme caution and knowing that
+///     doing so can result in application failures when updating to a new Entity Framework Core release.
+/// </summary>
+public class SqliteHalfTypeMapping : RelationalTypeMapping
+{
+    /// <summary>
+    ///     This is an internal API that supports the Entity Framework Core infrastructure and not subject to
+    ///     the same compatibility standards as public APIs. It may be changed or removed without notice in
+    ///     any release. You should only use it directly in your code with extreme caution and knowing that
+    ///     doing so can result in application failures when updating to a new Entity Framework Core release.
+    /// </summary>
+    public static SqliteHalfTypeMapping Default { get; } = new(SqliteTypeMappingSource.RealTypeName);
+
+    /// <summary>
+    ///     This is an internal API that supports the Entity Framework Core infrastructure and not subject to
+    ///     the same compatibility standards as public APIs. It may be changed or removed without notice in
+    ///     any release. You should only use it directly in your code with extreme caution and knowing that
+    ///     doing so can result in application failures when updating to a new Entity Framework Core release.
+    /// </summary>
+    public SqliteHalfTypeMapping(string storeType)
+        : base(
+            new RelationalTypeMappingParameters(
+                new CoreTypeMappingParameters(typeof(Half)),
+                storeType))
+    {
+    }
+
+    /// <summary>
+    ///     This is an internal API that supports the Entity Framework Core infrastructure and not subject to
+    ///     the same compatibility standards as public APIs. It may be changed or removed without notice in
+    ///     any release. You should only use it directly in your code with extreme caution and knowing that
+    ///     doing so can result in application failures when updating to a new Entity Framework Core release.
+    /// </summary>
+    protected SqliteHalfTypeMapping(RelationalTypeMappingParameters parameters)
+        : base(parameters)
+    {
+    }
+
+    /// <summary>
+    ///     Creates a copy of this mapping.
+    /// </summary>
+    /// <param name="parameters">The parameters for this mapping.</param>
+    /// <returns>The newly created mapping.</returns>
+    protected override RelationalTypeMapping Clone(RelationalTypeMappingParameters parameters)
+        => new SqliteHalfTypeMapping(parameters);
+
+    /// <summary>
+    ///     This is an internal API that supports the Entity Framework Core infrastructure and not subject to
+    ///     the same compatibility standards as public APIs. It may be changed or removed without notice in
+    ///     any release. You should only use it directly in your code with extreme caution and knowing that
+    ///     doing so can result in application failures when updating to a new Entity Framework Core release.
+    /// </summary>
+    protected override string GenerateNonNullSqlLiteral(object value)
+        => ((float)(Half)value).ToString("R", CultureInfo.InvariantCulture);
+}

src/EFCore.Sqlite.Core/Storage/Internal/SqliteTypeMappingSource.cs

@@ -80,6 +80,7 @@ private static readonly HashSet<string> SpatialiteTypes
         { typeof(decimal), SqliteDecimalTypeMapping.Default },
         { typeof(double), Real },
         { typeof(float), new FloatTypeMapping(RealTypeName) },
+        { typeof(Half), SqliteHalfTypeMapping.Default },
         { typeof(Guid), SqliteGuidTypeMapping.Default },
         { typeof(JsonTypePlaceholder), SqliteJsonTypeMapping.Default }
     };

src/Microsoft.Data.Sqlite.Core/SqliteValueBinder.cs

@@ -160,6 +160,13 @@ public virtual void Bind()
             var value1 = (double)(float)value;
             BindDouble(value1);
         }
+#if NET6_0_OR_GREATER
+        else if (type == typeof(Half))
+        {
+            var value1 = (double)(Half)value;
+            BindDouble(value1);
+        }
+#endif
         else if (type == typeof(Guid))
         {
             var guid = (Guid)value;
@@ -251,6 +258,9 @@ public virtual void Bind()
             { typeof(decimal), SqliteType.Text },
             { typeof(double), SqliteType.Real },
             { typeof(float), SqliteType.Real },
+#if NET6_0_OR_GREATER
+            { typeof(Half), SqliteType.Real },
+#endif
             { typeof(Guid), SqliteType.Text },
             { typeof(int), SqliteType.Integer },
             { typeof(long), SqliteType.Integer },

src/Microsoft.Data.Sqlite.Core/SqliteValueReader.cs

@@ -230,6 +230,13 @@ public virtual string GetString(int ordinal)
             return (T)(object)GetFloat(ordinal);
         }
 
+#if NET6_0_OR_GREATER
+        if (typeof(T) == typeof(Half))
+        {
+            return (T)(object)(Half)GetFloat(ordinal);
+        }
+#endif
+
         if (typeof(T) == typeof(Guid))
         {
             return (T)(object)GetGuid(ordinal);
@@ -347,6 +354,13 @@ public virtual string GetString(int ordinal)
             return (T)(object)GetFloat(ordinal);
         }
 
+#if NET6_0_OR_GREATER
+        if (type == typeof(Half))
+        {
+            return (T)(object)(Half)GetFloat(ordinal);
+        }
+#endif
+
         if (type == typeof(Guid))
         {
             return (T)(object)GetGuid(ordinal);

test/EFCore.Sqlite.Tests/Storage/SqliteTypeMappingSourceTest.cs

@@ -27,6 +27,7 @@ public class SqliteTypeMappingSourceTest : RelationalTypeMappingSourceTestBase
      InlineData("TEXT", typeof(TimeSpan), DbType.Time),
      InlineData("TEXT", typeof(decimal), DbType.Decimal),
      InlineData("REAL", typeof(float), DbType.Single),
+     InlineData("REAL", typeof(Half), null),
      InlineData("REAL", typeof(double), DbType.Double),
      InlineData("INTEGER", typeof(ByteEnum), DbType.Byte),
      InlineData("INTEGER", typeof(ShortEnum), DbType.Int16),
@@ -50,6 +51,7 @@ public class SqliteTypeMappingSourceTest : RelationalTypeMappingSourceTestBase
      InlineData("TEXT", typeof(TimeSpan?), DbType.Time),
      InlineData("TEXT", typeof(decimal?), DbType.Decimal),
      InlineData("REAL", typeof(float?), DbType.Single),
+     InlineData("REAL", typeof(Half?), null),
      InlineData("REAL", typeof(double?), DbType.Double),
      InlineData("INTEGER", typeof(ByteEnum?), DbType.Byte),
      InlineData("INTEGER", typeof(ShortEnum?), DbType.Int16),
@@ -176,6 +178,9 @@ public void Does_mappings_for_store_type(string storeType, Type clrType, DbType?
      InlineData("REAL", typeof(float), DbType.Single),
      InlineData("UNREALISTIC", typeof(float), DbType.Single),
      InlineData("RUBBISH", typeof(float), DbType.Single),
+     InlineData("REAL", typeof(Half), null),
+     InlineData("UNREALISTIC", typeof(Half), null),
+     InlineData("RUBBISH", typeof(Half), null),
      InlineData("REAL", typeof(double), DbType.Double),
      InlineData("UNREALISTIC", typeof(double), DbType.Double),
      InlineData("RUBBISH", typeof(double), DbType.Double),
@@ -245,6 +250,9 @@ public void Does_mappings_for_store_type(string storeType, Type clrType, DbType?
      InlineData("REAL", typeof(float?), DbType.Single),
      InlineData("UNREALISTIC", typeof(float?), DbType.Single),
      InlineData("RUBBISH", typeof(float?), DbType.Single),
+     InlineData("REAL", typeof(Half?), null),
+     InlineData("UNREALISTIC", typeof(Half?), null),
+     InlineData("RUBBISH", typeof(Half?), null),
      InlineData("REAL", typeof(double?), DbType.Double),
      InlineData("UNREALISTIC", typeof(double?), DbType.Double),
      InlineData("RUBBISH", typeof(double?), DbType.Double),

test/EFCore.Sqlite.Tests/Storage/SqliteTypeMappingTest.cs

@@ -67,7 +67,8 @@ protected override DbCommand CreateTestCommand()
 
     [ConditionalTheory, InlineData(typeof(SqliteDateTimeOffsetTypeMapping), typeof(DateTimeOffset)),
      InlineData(typeof(SqliteDateTimeTypeMapping), typeof(DateTime)), InlineData(typeof(SqliteDecimalTypeMapping), typeof(decimal)),
-     InlineData(typeof(SqliteGuidTypeMapping), typeof(Guid)), InlineData(typeof(SqliteULongTypeMapping), typeof(ulong))]
+     InlineData(typeof(SqliteGuidTypeMapping), typeof(Guid)), InlineData(typeof(SqliteHalfTypeMapping), typeof(Half)),
+     InlineData(typeof(SqliteULongTypeMapping), typeof(ulong))]
     public override void Create_and_clone_with_converter(Type mappingType, Type type)
         => base.Create_and_clone_with_converter(mappingType, type);
 
@@ -138,6 +139,16 @@ public override void ULong_literal_generated_correctly()
         Test_GenerateSqlLiteral_helper(typeMapping, long.MaxValue + 1ul, "-9223372036854775808");
     }
 
+    [ConditionalFact]
+    public void Half_literal_generated_correctly()
+    {
+        var typeMapping = SqliteHalfTypeMapping.Default;
+
+        Test_GenerateSqlLiteral_helper(typeMapping, Half.MinValue, "-65504");
+        Test_GenerateSqlLiteral_helper(typeMapping, Half.MaxValue, "65504");
+        Test_GenerateSqlLiteral_helper(typeMapping, (Half)3.14f, "3.140625");
+    }
+
     protected override DbContextOptions ContextOptions { get; }
         = new DbContextOptionsBuilder()
             .UseInternalServiceProvider(new ServiceCollection().AddEntityFrameworkSqlite().BuildServiceProvider(validateScopes: true))

test/Microsoft.Data.Sqlite.Tests/SqliteDataReaderTest.cs

@@ -1208,6 +1208,25 @@ public void GetFloat_throws_when_closed()
     public void GetFloat_throws_when_non_query()
         => X_throws_when_non_query(r => r.GetFloat(0));
 
+#if NET6_0_OR_GREATER
+    [Fact]
+    public void GetFieldValue_of_Half_works()
+        => GetX_works(
+            "SELECT 3;",
+            r => r.GetFieldValue<Half>(0),
+            (Half)3f);
+
+    [Fact]
+    public void GetFieldValue_of_Half_throws_when_null()
+        => GetX_throws_when_null(r => r.GetFieldValue<Half>(0));
+
+    [Fact]
+    public void GetFieldValue_of_NullableHalf_works()
+        => GetFieldValue_works(
+            "SELECT 3.14;",
+            (Half?)3.14f);
+#endif
+
     [Theory,
      InlineData("2.0", 2.0),
      InlineData("9e999", double.PositiveInfinity),