表达式树：调用带有 out 或 ref 参数的方法
此代码在 .NET4 中工作：
class Program
{
static void Main( string[] args )
{
var fooExpr = Expression.Parameter( typeof( Foo ), "f" );
var parmExpr = Expression.Parameter( typeof( int ).MakeByRefType(), "i" );
var method = typeof( Foo ).GetMethod( "Method1" );
var invokeExpr = Expression.Call( fooExpr, method, parmExpr );
var delegateType = MakeDelegateType( typeof( void ), new[] { typeof( Foo ), typeof( int ).MakeByRefType() } );
var lambdaExpr = Expression.Lambda( delegateType, invokeExpr, fooExpr, parmExpr );
dynamic func = lambdaExpr.Compile();
int x = 4;
func( new Foo(), ref x );
Console.WriteLine( x );
}
private static Type MakeDelegateType( Type returnType, params Type[] parmTypes )
{
return Expression.GetDelegateType( parmTypes.Concat( new[] { returnType } ).ToArray() );
}
}
class Foo
{
public void Method1( ref int x )
{
x = 8;
}
}
此代码不能（在动态调用站点因运行时错误而爆炸）：
class Program
{
static void Main( string[] args )
{
var fooExpr = Expression.Parameter( typeof( Foo ), "f" );
var parmExpr = Expression.Parameter( typeof( int ).MakeByRefType(), "i" );
var method = typeof( Foo ).GetMethod( "Method1" );
var invokeExpr = Expression.Call( fooExpr, method, parmExpr );
var delegateType = MakeDelegateType( typeof( void ), new[] { typeof( Foo ), typeof( int ).MakeByRefType() } );
var lambdaExpr = Expression.Lambda( delegateType, invokeExpr, fooExpr, parmExpr );
dynamic func = lambdaExpr.Compile();
int x = 4;
func( new Foo(), out x );
Console.WriteLine( x );
}
private static Type MakeDelegateType( Type returnType, params Type[] parmTypes )
{
return Expression.GetDelegateType( parmTypes.Concat( new[] { returnType } ).ToArray() );
}
}
class Foo
{
public void Method1( out int x )
{
x = 8;
}
}
怎么会这样？唯一的区别是 ref 与 out 参数的使用。
This code works in .NET4:
class Program
{
static void Main( string[] args )
{
var fooExpr = Expression.Parameter( typeof( Foo ), "f" );
var parmExpr = Expression.Parameter( typeof( int ).MakeByRefType(), "i" );
var method = typeof( Foo ).GetMethod( "Method1" );
var invokeExpr = Expression.Call( fooExpr, method, parmExpr );
var delegateType = MakeDelegateType( typeof( void ), new[] { typeof( Foo ), typeof( int ).MakeByRefType() } );
var lambdaExpr = Expression.Lambda( delegateType, invokeExpr, fooExpr, parmExpr );
dynamic func = lambdaExpr.Compile();
int x = 4;
func( new Foo(), ref x );
Console.WriteLine( x );
}
private static Type MakeDelegateType( Type returnType, params Type[] parmTypes )
{
return Expression.GetDelegateType( parmTypes.Concat( new[] { returnType } ).ToArray() );
}
}
class Foo
{
public void Method1( ref int x )
{
x = 8;
}
}
This code does not (blows up with runtime error at dynamic callsite):
class Program
{
static void Main( string[] args )
{
var fooExpr = Expression.Parameter( typeof( Foo ), "f" );
var parmExpr = Expression.Parameter( typeof( int ).MakeByRefType(), "i" );
var method = typeof( Foo ).GetMethod( "Method1" );
var invokeExpr = Expression.Call( fooExpr, method, parmExpr );
var delegateType = MakeDelegateType( typeof( void ), new[] { typeof( Foo ), typeof( int ).MakeByRefType() } );
var lambdaExpr = Expression.Lambda( delegateType, invokeExpr, fooExpr, parmExpr );
dynamic func = lambdaExpr.Compile();
int x = 4;
func( new Foo(), out x );
Console.WriteLine( x );
}
private static Type MakeDelegateType( Type returnType, params Type[] parmTypes )
{
return Expression.GetDelegateType( parmTypes.Concat( new[] { returnType } ).ToArray() );
}
}
class Foo
{
public void Method1( out int x )
{
x = 8;
}
}
How come? The only difference is use of ref vs. out argument.
如果你对这篇内容有疑问，欢迎到本站社区发帖提问 参与讨论，获取更多帮助，或者扫码二维码加入 Web 技术交流群。
绑定邮箱获取回复消息
由于您还没有绑定你的真实邮箱，如果其他用户或者作者回复了您的评论，将不能在第一时间通知您！
发布评论
评论（2）
Ref 参数将由 CLR 管理，这是一个经典变量，如果它是一个值，则该变量将只是 Box（封装到一个对象中以管理通过引用传递元素）。
Out 允许有多个输出，并且在编译过程中会产生更大的影响。
表达式在运行时编译，但“输出”有效性在编译时检查。
就有效性而言，我的意思是编译器确保方法将分配值给out参数。
A Ref argument will be managed by the CLR a classic variable that will just be Box (encapsulate into a object to managed to pass the element by reference) if this one is a value.
Out permits to have multiple output and will have more impact during the compilation process.
The expressions are compile in runtime but the "out" validity is check at the compile time.
By validity, i mean that the compiler ensure that the method WILL ASSIGN value to the out parameter.
您是否尝试更改
而不是：
在行：
问候，
Did you tried changing
instead of:
At the lines:
Regards,