获取数组长度的表达式
Expression getting length of an array
如果你有一个数组类型的表达式,但不是特定数组类型的表达式,例如 int[],我如何生成一个表达式,它可以快速获取长度而无需进行整个 属性 获取马拉凯。
例如在下面
ParameterExpression para3 = Expression.Parameter(typeof(int[]), "p3");
ParameterExpression para4 = Expression.Parameter(typeof(Array), "p4");
Type pt1 = para3.Type.GetElementType();
Type pt2 = para4.Type.GetElementType();
MethodInfo mArrayLength = Strong.Instance<Array>.Property<int>(a => a.Length).GetGetMethod();
Expression asdf5 = Expression.ArrayLength(para3);
Expression asdf6 = Expression.ArrayLength(para4);
Expression asdf7 = Expression.Call(para4, mArrayLength);
mArrayLength 只是 Array 类型上 Length 属性 的 get 方法。
此处表达式 asdf5 有效,因为 para5 是 int[] 类型,但 asdf6 不 因为 para6 的类型只是数组类型。 asdf7 确实有效。
我想要的是有效地使用ldlen指令,它只需要一个对象,而不是调用一个方法。这只是表达式树库的限制吗?
您可以使用反射编辑字段,甚至可以编译表达式!但是尝试 运行 委托将导致操作可能会破坏 运行 时间异常。
Array parr = new int[5];
Expression pArraylength = Expression.ArrayLength(para3);
pOperandFieldInfo.SetValue(pArraylength, para4);
Expression<Func<Array, int>> pexchanger = (Expression<Func<Array, int>>)Expression.Lambda(pArraylength, para4);
Func<Array, int> pFunc = pexchanger.Compile();
int pint = pFunc(parr);
.NET中有两种类型的数组,mono-dimensional、zero-based(第一个索引为0)数组(例如int[]
) IL 语言(以及 Expression
class)(作为旁注,它们被称为 SZ 数组),以及其他数组(multi-dimensional,例如 int[5,3]
和第一个数组索引与某些支持它们的语言的兼容性不同,例如旧的 VB),它们在 IL 语言中没有直接支持,但由使用调用 Array
class。它们基于两个不同的 classes,它们都是 Array
的子classes。正如我所写的,low-level IL 指令仅适用于 mono-dimensional、zero-based 指令。 Array
object 可能两者兼而有之,因此 Expression.ArrayLength
.
不支持
你可以很容易地在 SharpLab 中看到这个:
public static int A1<T>(T[] array) {
return array.Length;
}
public static int A2(Array array) {
return array.Length;
}
.method public hidebysig static
int32 A1<T> (
!!T[] 'array'
) cil managed
{
// Method begins at RVA 0x2050
// Code size 4 (0x4)
.maxstack 8
IL_0000: ldarg.0
IL_0001: ldlen
IL_0002: conv.i4
IL_0003: ret
} // end of method C::A1
.method public hidebysig static
int32 A2 (
class [mscorlib]System.Array 'array'
) cil managed
{
// Method begins at RVA 0x2055
// Code size 7 (0x7)
.maxstack 8
IL_0000: ldarg.0
IL_0001: callvirt instance int32 [mscorlib]System.Array::get_Length()
IL_0006: ret
} // end of method C::A2
出于好奇,使用了一个未记录的功能(我们在这里玩火!)...
ParameterExpression par = Expression.Parameter(typeof(Array), "array");
var conv = Expression.New(typeof(Conv));
var init = Expression.MemberInit(conv, Expression.Bind(typeof(Conv).GetField(nameof(Conv.Array)), par));
var array = Expression.Field(init, nameof(Conv.Array2));
var length = Expression.ArrayLength(array);
var lambda = Expression.Lambda<Func<Array, int>>(length, par);
var compiled = lambda.Compile();
其中 Conv
是:
[StructLayout(LayoutKind.Explicit)]
public struct Conv
{
[FieldOffset(0)]
public Array Array;
[FieldOffset(0)]
public byte[] Array2;
}
像这样使用它:
int length = compiled(new int[100]);
这里的"trick"是通过FieldOffest
我们可以强制转换具有相同内存布局的不兼容类型。所有 sz 数组共享相同的 header 格式(其中包含 Length
),因此我们 "convert" 我们的 Array
到 byte[]
数组(注意我们可能已经将它转换为任何其他类型,但是 byte
有一个明显的优势:它是最小的可用类型,所以我们确信我们不能去 "out" 中的数组无论如何)。
表达式树是这样的:
static int GetLength(Array array)
{
return new Conv { Array = array }.Array2.Length;
}
如果你有一个数组类型的表达式,但不是特定数组类型的表达式,例如 int[],我如何生成一个表达式,它可以快速获取长度而无需进行整个 属性 获取马拉凯。
例如在下面
ParameterExpression para3 = Expression.Parameter(typeof(int[]), "p3");
ParameterExpression para4 = Expression.Parameter(typeof(Array), "p4");
Type pt1 = para3.Type.GetElementType();
Type pt2 = para4.Type.GetElementType();
MethodInfo mArrayLength = Strong.Instance<Array>.Property<int>(a => a.Length).GetGetMethod();
Expression asdf5 = Expression.ArrayLength(para3);
Expression asdf6 = Expression.ArrayLength(para4);
Expression asdf7 = Expression.Call(para4, mArrayLength);
mArrayLength 只是 Array 类型上 Length 属性 的 get 方法。
此处表达式 asdf5 有效,因为 para5 是 int[] 类型,但 asdf6 不 因为 para6 的类型只是数组类型。 asdf7 确实有效。
我想要的是有效地使用ldlen指令,它只需要一个对象,而不是调用一个方法。这只是表达式树库的限制吗?
您可以使用反射编辑字段,甚至可以编译表达式!但是尝试 运行 委托将导致操作可能会破坏 运行 时间异常。
Array parr = new int[5];
Expression pArraylength = Expression.ArrayLength(para3);
pOperandFieldInfo.SetValue(pArraylength, para4);
Expression<Func<Array, int>> pexchanger = (Expression<Func<Array, int>>)Expression.Lambda(pArraylength, para4);
Func<Array, int> pFunc = pexchanger.Compile();
int pint = pFunc(parr);
.NET中有两种类型的数组,mono-dimensional、zero-based(第一个索引为0)数组(例如int[]
) IL 语言(以及 Expression
class)(作为旁注,它们被称为 SZ 数组),以及其他数组(multi-dimensional,例如 int[5,3]
和第一个数组索引与某些支持它们的语言的兼容性不同,例如旧的 VB),它们在 IL 语言中没有直接支持,但由使用调用 Array
class。它们基于两个不同的 classes,它们都是 Array
的子classes。正如我所写的,low-level IL 指令仅适用于 mono-dimensional、zero-based 指令。 Array
object 可能两者兼而有之,因此 Expression.ArrayLength
.
你可以很容易地在 SharpLab 中看到这个:
public static int A1<T>(T[] array) {
return array.Length;
}
public static int A2(Array array) {
return array.Length;
}
.method public hidebysig static
int32 A1<T> (
!!T[] 'array'
) cil managed
{
// Method begins at RVA 0x2050
// Code size 4 (0x4)
.maxstack 8
IL_0000: ldarg.0
IL_0001: ldlen
IL_0002: conv.i4
IL_0003: ret
} // end of method C::A1
.method public hidebysig static
int32 A2 (
class [mscorlib]System.Array 'array'
) cil managed
{
// Method begins at RVA 0x2055
// Code size 7 (0x7)
.maxstack 8
IL_0000: ldarg.0
IL_0001: callvirt instance int32 [mscorlib]System.Array::get_Length()
IL_0006: ret
} // end of method C::A2
出于好奇,使用了一个未记录的功能(我们在这里玩火!)...
ParameterExpression par = Expression.Parameter(typeof(Array), "array");
var conv = Expression.New(typeof(Conv));
var init = Expression.MemberInit(conv, Expression.Bind(typeof(Conv).GetField(nameof(Conv.Array)), par));
var array = Expression.Field(init, nameof(Conv.Array2));
var length = Expression.ArrayLength(array);
var lambda = Expression.Lambda<Func<Array, int>>(length, par);
var compiled = lambda.Compile();
其中 Conv
是:
[StructLayout(LayoutKind.Explicit)]
public struct Conv
{
[FieldOffset(0)]
public Array Array;
[FieldOffset(0)]
public byte[] Array2;
}
像这样使用它:
int length = compiled(new int[100]);
这里的"trick"是通过FieldOffest
我们可以强制转换具有相同内存布局的不兼容类型。所有 sz 数组共享相同的 header 格式(其中包含 Length
),因此我们 "convert" 我们的 Array
到 byte[]
数组(注意我们可能已经将它转换为任何其他类型,但是 byte
有一个明显的优势:它是最小的可用类型,所以我们确信我们不能去 "out" 中的数组无论如何)。
表达式树是这样的:
static int GetLength(Array array)
{
return new Conv { Array = array }.Array2.Length;
}