“代码即数据”在哪里？在 DLR 表达中？

Question

我有这个 C# 代码：

Console.Writeline("Hello World");

如果我想使用 DLR 表达式执行此操作，它看起来像这样：

MethodInfo method = typeof(Console).GetMethod("WriteLine", new Type[] { typeof(String) });
Expression callExpression = Expression.Call(null, method, Expression.Constant("Hello   World"));
Action callDelegate = Expression.Lambda<Action>(callExpression).Compile();
callDelegate();

我从 .NET 4 中的 Pro DLR 书中获取了这个示例。而且我不明白为什么我们要做这些额外的工作？书上说，原因是一旦代码在内存中表示为对象，它就比 IL 指令更容易分析。

最让我困惑的是： 如果我在代码中放置 DLR 表达式而不是 ConsoleWriteline() 方法并运行控制台应用程序，我将获得相同的 .exe 文件（包含 CIL 代码），并且我将在控制台中得到“Hello world”，作为 . exe文件正在执行。因此，在这两种情况下，我都会得到执行的 .exe 文件（cil 代码），并且我看不到那些在运行时将代码表示为数据的对象在哪里以及如何访问它们？

Answer 1

基本上，第二个代码片段所做的是将调用封装为表达式树。表达式树对于 .NET 来说相对较新（它们是实现与内存对象以外的数据机制的 Linq 互操作所必需的），并且以可变但仍然可执行的形式封装程序指令。

如果您愿意，一旦获得表达式，您可以通过更改 Call 节点引用的 Constant 节点的值，将要输出的文本从“Hello World”更改为“Hello Dolly”。您可以更改 Call 节点以使用不同的 MethodInfo，例如调用 Debug.WriteLine() 或您开发的自定义 WriteToLog() 方法。您还可以传递该表达式、保存它、序列化它，然后比这个简单的示例进一步调用它。所有这些更改和决策都可以在运行时根据编译时未知的信息做出。可以根据文件或数据库中的数据创建动态构造的表达式树，这很容易更改，并且不需要发布包含此行的 DLL 或 EXE 的新版本。

相比之下，对 Console.WriteLine() 的“静态”调用只能在编译时更改（尽管可能会产生一些非常混乱的 IL 动态代码），如果需要写入该字符串，则需要进行这样的更改改变。

Answer 2

我看不到那些物体在哪里
将代码表示为数据
运行时以及如何访问它们？

Expression 将代码表示为数据：它表示对 Console.WriteLine 方法的调用，并将 “Hello World” 作为唯一参数。

下面是在运行时发现这一事实的示例：

var method = typeof(Console).GetMethod("WriteLine", new Type[] { typeof(String) });
var callExpression = Expression.Call(null, method, Expression.Constant("Hello   World"));

var expression = Expression.Lambda<Action>(callExpression);  

// Now let's try to inspect 'expression'

var body = expression.Body as MethodCallExpression;

if (body != null)
{
    Console.WriteLine("Expn's body is a method-call expn.");    
    Console.WriteLine("...that calls:" + body.Method.Name);

    var args = body.Arguments;

    if (args.Any())
    {
        Console.WriteLine("The call has arguments.");    

        var firstArg = args.First() as ConstantExpression;

        if (firstArg != null)
        {
            Console.WriteLine("The first argument is a constant expn.");
            Console.WriteLine("...with value " + firstArg.Value);
        }
    }
}

Answer 3

顺便说一句，生成表达式的另一种方法是：

Expression<Action> e=()=>Console.WriteLine("Hello World");

这将使您不必编写样板反射代码。