Unterschied in Expression.Subtract für DateTime zwischen .NET Core und .NET Framework

Question

Beim Konvertieren meiner .NET 4.5-Bibliothek in .NETStandard v1.6 lief ich in einem fehlgeschlagenen Komponententest, der zuvor bestanden hat.

geortet ich das Problem auf die folgenden drei Codezeilen:

ParameterExpression arg1 = Expression.Parameter(typeof(DateTime), "arg1"); 
ParameterExpression arg2 = Expression.Parameter(typeof(DateTime), "arg2"); 
var test = Expression.Subtract(arg1, arg2); 

Dieser Ausdrucksbaum für .NET 4.5 kompiliert, sondern löst eine InvalidOperationException in .NETStandard v1.6:

Der Binäroperator Subtract nicht definiert für die Typen 'System.DateTime' und 'System.DateTime'.

jedoch für beide Ziele der folgende Code funktioniert:

DateTime one = new DateTime(); 
DateTime two = new DateTime(); 
TimeSpan difference = one - two; 

Ich würde so die Ausdrucksbäume erwarten auch für .NET-Core zu kompilieren? Mache ich etwas falsch oder is this a bug in .NET Core?

Answer 1

Es ist ein Fehler in System.Linq.Expressions Assembly.

Diese Methoden verwendet, um die Subtraktionsoperator Methode zu finden:

public static MethodInfo GetAnyStaticMethodValidated(this Type type, string name, Type[] types) 
{ 
    // Method name is "op_Subtraction" in your case 
    MethodInfo anyStaticMethod = type.GetAnyStaticMethod(name); 
    // DateTime and DateTime in your case 
    if (!anyStaticMethod.MatchesArgumentTypes(types)) 
    { 
     return null; 
    } 
    return anyStaticMethod; 
} 

public static MethodInfo GetAnyStaticMethod(this Type type, string name) 
{ 
    foreach (MethodInfo current in type.GetRuntimeMethods()) 
    { 
     if (current.IsStatic && current.Name == name) 
     { 
      return current; 
     } 
    } 
    return null; 
} 

Wie Sie sehen, die GetAnyStaticMethod Picks zufällig die erste „op_Subtraction“ -Methode von DateTime, statt durch alle verfügbaren Looping, wo DateTime zwei hat solcher Operatormethoden:

public static DateTime operator -(DateTime d, TimeSpan t); 
public static TimeSpan operator -(DateTime d1, DateTime d2); 

so nimmt der Code die falsche, die dann nicht nur, weil Eingangstypen in DateTime und TimeSpan, nimmt nicht übereinstimmen.

In .NET 4.5 sie in der richtigen Weise suche nach Argumenttypen übergeben:

Type[] types = new Type[] 
{ 
    leftType, // DateTime in your case 
    rightType // DateTime in your case 
}; 
BindingFlags bindingAttr = BindingFlags.Static | BindingFlags.Public | BindingFlags.NonPublic; 
// Method name is "op_Subtraction" in your case 
MethodInfo methodInfo = nonNullableType.GetMethodValidated(name, bindingAttr, null, types, null); 

Answer 2

Dies ist in der Tat ein Fehler in der Implementierung von .NET-Core. Der Grund dafür ist, dass bestimmte APIs in .NET Core nicht verfügbar waren, als System.Linq.Expressions auf den Core portiert wurde. Daher wurde eine benutzerdefinierte Implementierung entwickelt, die nie abgefangen wurde.

Ich habe sent a PR to dotnet/corefx, um dies zu beheben. Für die Neugierigen war das Problem, dass die Methode, die den Operator findet, die Methoden durchläuft, aber aus der Schleife ausbricht, wenn sie eine Übereinstimmung findet, bevor sie überprüft, ob die Methode die gewünschte ist. Die Lösung besteht darin, die Parameterprüfung innerhalb der Schleife zu verschieben, z.

 internal static MethodInfo GetAnyStaticMethodValidated(
     this Type type, 
     string name, 
     Type[] types) 
    { 
     foreach (var method in type.GetRuntimeMethods()) 
     { 
      if (method.IsStatic && method.Name == name && method.MatchesArgumentTypes(types)) 
      { 
       return method; 
      } 
     } 
     return null; 
    }