表達式樹和C＃中的惰性求值

Question

表達式樹和C＃中的惰性求值

c# expression-trees lazy-evaluation

題

我有一些代碼，我採用ParameterExpression字符串數組並將特定索引轉換為目標類型。我這樣做是通過調用Parse （如果類型是原始的）或嘗試原始轉換（希望是字符串或隱式字符串）。

static Expression ParseOrConvert(ParameterExpression strArray, ConstantExpression index, ParameterInfo paramInfo)
{
    Type paramType = paramInfo.ParameterType;

    Expression paramValue = Expression.ArrayIndex(strArray, index);

    if (paramType.IsPrimitive) {
        MethodInfo parseMethod = paramType.GetMethod("Parse", new[] { typeof(string) });
        // Fetch Int32.Parse(), etc.

        // Parse paramValue (a string) to target type
        paramValue = Expression.Call(parseMethod, paramValue);
    }
    else {
        // Else attempt a raw conversion
        paramValue = Expression.Convert(paramValue, paramType);
    }

    return paramValue;
}

這有效，但我正在嘗試重寫條件。

paramValue = Expression.Condition(
    Expression.Constant(paramType.IsPrimitive),
    Expression.Call(parseMethod, paramValue),
    Expression.Convert(paramValue, paramType)
);

這總是導致System.InvalidOperationException ，大概是因為它嘗試兩次轉換。我發現第二種風格更直觀，所以這很不幸。

我能否以一種將評估推遲到實際需要值的方式來編寫？

lap

熱門答案

通常調試就像新聞一樣...在新聞界有五個W ：誰，什麼，何地，何時， 為什麼 （加上如何）......在編程中它是相似的。誰拋出異常（那是什麼）？讓我們使代碼更容易調試：

static Expression ParseOrConvert(ParameterExpression strArray, ConstantExpression index, ParameterInfo paramInfo)
{
    Type paramType = paramInfo.ParameterType;

    Expression paramValue = Expression.ArrayIndex(strArray, index);
    MethodInfo parseMethod = paramType.GetMethod("Parse", new[] { typeof(string) });

    var isPrimitive = Expression.Constant(paramType.IsPrimitive);
    var call = Expression.Call(parseMethod, paramValue);
    var convert = Expression.Convert(paramValue, paramType);

    var paramValue2 = Expression.Condition(
        isPrimitive,
        call,
        convert
    );

    return paramValue2;
}

然後稱之為：

public static void MyMethod(int par1)
{
}

接著

ParameterExpression strArray = Expression.Parameter(typeof(string[]));

// paramType int
var paramInfo = typeof(Program).GetMethod("MyMethod").GetParameters()[0];

var result = ParseOrConvert(strArray, Expression.Constant(0), paramInfo);

現在...... 誰拋出異常？ Expression.Convert(paramValue, paramType)拋出異常...... 為什麼 ？因為你想做一個：

string paramValue = ...;
convert = (int)paramValue;

那肯定是違法的！即使是“死”代碼（無法訪問的代碼）也必須在.NET中“可編譯”（在其IL語言中）。因此，您的錯誤是嘗試在表達式中引入一些非法的死代碼，即：

string paramValue = ...;
isPrimitive = true ? int.Parse(paramValue) : (int)paramValue;

這不會在C＃中編譯，甚至可能無法用IL代碼編寫。 Expression類就會拋出它。

xanatos

在 Stack Overflow 上查看更多

Joshua Webb · Accepted Answer · 6/28/2018 6:21:19 AM

表達式將代碼表示為數據，此處不評估true和false分支;它不是“嘗試兩種轉換”。相反，它正在嘗試構建表示每次轉換的表達式樹。然而，作為一個Constant的條件正在熱切地根據類型被烘焙到條件中。

您正在構建具有以下結構的表達式：

var result = true // <`true` or `false` based on the type T> 
    ? T.Parse(val)
    : (T) val;

當T為int （因此“Test”為常量為true ）時，這不會編譯，因為沒有從string到int有效轉換，即使在運行時它總是會評估/執行int.Parse(val) 。

當T為Foo ，當Foo同時具有靜態Parse(string val)方法和顯式強制轉換運算符時，這將編譯

public class Foo
{
    public static Foo Parse(string fooStr)
    {
        return default(Foo);
    }

    public static explicit operator Foo(string fooStr)
    {
        return default(Foo);
    }
}

即使它只會執行顯式轉換運算符，因為Foo不是原始的。

您的原始代碼實際上已經構建了一個表達式，該表達式將使用基於T的“正確”轉換策略，而不嘗試編譯/評估另一個。如果這對你不起作用，我懷疑是因為所涉及的類型沒有從string定義的顯式強制轉換。

paramValue ，我不鼓勵重複使用paramValue作為原始（未轉換）和轉換後的值，它使得調試比它需要的更加困難，等等。

表達式樹和C＃中的惰性求值

題

Fastest Entity Framework Extensions

一般承認的答案

熱門答案

Performance

Expression Evaluator