泛型类型中的确切类型约束 - C#

本文关键字：约束 类型 泛型类型 | 更新日期: 2023-09-27 17:56:04

我想实现一个泛型类型映射器，但我正在努力解决与泛型类型约束相关的问题。

我有下面定义的实体映射器类：

public class EntityMapper<TDto, TEntity>
{
    public void RegisterMapping<TDtoProperty, TEntityProperty>(
        Expression<Func<TDto, TDtoProperty>> expressionFrom,
        Expression<Func<TEntity, TEntityProperty>> expressionTo,
        Func<TDtoProperty, TEntityProperty> mapper)
    {
        // mapping
    }
}

我还有 2 个要映射的属性类：

public class Foo
{
    public long FooLongProp { get; set; }
    public decimal? FooDecimalNullProp { get; set; }
    public string FooStringProp { get; set; }
}
public class Bar
{
    public long? BarLongNullProp { get; set; }
    public decimal BarDecimalProp { get; set; }
}

映射的执行方式如下：

public void Map()
{
    var mapper = new EntityMapper<Foo, Bar>();
    mapper.RegisterMapping(x => x.FooLongProp, x => x.BarLongNullProp, x => x); // FooLongProp -> long, BarLongNullProp -> long?
    mapper.RegisterMapping(x => x.FooDecimalNullProp, x => x.BarLongNullProp, x => x); // FooDecimalNullProp -> decimal?, BarLongNullProp -> long?
    mapper.RegisterMapping(x => x.FooDecimalNullProp, x => x.BarDecimalProp, x => x); // FooDecimalNullProp -> decimal?, BarDecimalProp -> decimal
    mapper.RegisterMapping(x => x.FooStringProp, x => x.BarLongNullProp, x => x); // FooStringProp -> string, BarLongNullProp -> long?
}

我希望 RegisterMapping 中的第三个参数返回与 TEntityProperty 完全相同的类型。不幸的是，编译器不会将下面long -> long?之间的映射代码报告为错误。它甚至不会报告错误映射decimal? -> decimal（这将在运行时中断）。

编译器报告错误的唯一地方是我要投射string -> decimal?的行。

所以我有以下问题：

  1. 为什么前 3 个映射没有按预期工作？似乎该编译器无法正确解析其类型。
  2. 有没有办法在泛型约束中指定完全相同的类型约束？
  3. 还有其他可能性可以实现我想做的事情并在编译过程中出现错误吗？

欢迎任何其他建议，评论。

泛型类型中的确切类型约束 - C#

mapper.RegisterMapping(x => x.FooLongProp, x => x.BarLongNullProp, x => x); // FooLongProp -> long, BarLongNullProp -> long?
  1. x => x.FooLongProp编译器推断 （ Expression<Func<Foo, long>> ）
  2. x => x.BarLongNullProp编译器推断 （ Expression<Func<Bar, long?>> ）
  3. x => x编译器推断 （ Func<long, long?>> ）
mapper.RegisterMapping(x => x.FooDecimalNullProp, x => x.BarLongNullProp, x => x); // FooDecimalNullProp -> decimal?, BarLongNullProp -> long?

  1. x => x.FooDecimalNullProp编译器推断 （ Expression<Func<Foo, decimal?>> ）

  2. x => x编译器推断（Func<decimal?, decimal?>>）！！为什么？？Becuase x=>x是一个Func<type of x,type of x>

  3. x => x.BarLongNullProp编译器推断（Expression<Func<Bar, decimal?>>）！！为什么？由于第 2 行，它将long?向上转换为decimal?，以便它可以匹配泛型参数。

在其他情况下也会发生类似的事情。在最后一种情况下，编译器查找Func<string, long?> 。当你提供x=>x（Func<string,string>）编译器不能推断出你的泛型类型的正确类型，所以它失败了。将鼠标光标悬停在方法调用上将显示编译器推断的泛型参数。 也许你应该为你的lambda指定一个显式类型。

mapper.RegisterMapping(x => x.FooLongProp, x => x.BarLongNullProp, x => x); 
mapper.RegisterMapping(x => x.FooDecimalNullProp, x => x.BarLongNullProp, x => (long?)x);
mapper.RegisterMapping(x => x.FooDecimalNullProp, x => x.BarDecimalProp, x => (decimal)x); 
mapper.RegisterMapping(x => x.FooStringProp, x => x.BarLongNullProp, x => (long?)(object)x ); //or any lambda which returns long?
相关文章：