c# – 将任何值类型的数组作为形式参数

2023年8月30日 210次阅读

我希望能够声明一个函数

void foo(<any value type>[] data){}

在C#2.0中.如果我声明它

void foo(ValueType[] data){}

它编译,然后data []中的元素被视为它们是从对象派生的,例如我不能说出类似的话

fixed (void* pData = data){}

我想避免将void *作为参数 – 我只是希望能够接受任何值类型数组,然后对它进行非托管操作.

ETA：此外,这也有同样的问题：

public static unsafe void foo<T>(T[] data) where T:struct{
  fixed(void *p = data){}
}

如果你想知道.修复失败,因为它被视为托管类型 – CS0208,无法声明指向托管类型的指针.见下面的“mm”.我认为他是对的…它可能无法完成.

最佳答案 我不认为使用C#是可能的.从编译时开始,结构不会从System.ValueType继承(但是松散),因此您无法通过多态与Foo的方法签名匹配.根据语言规范,泛型也出来了：

“An unmanaged-type is any type that isn’t a reference-type, a type-parameter, or a generic struct-type and
contains no fields whose type is not an unmanaged-type.”

因此,无论结构约束如何,您都无法获取T []的地址.

您可以将结构类型(例如,Bar)声明为Foo的参数,编译代码,并在IL级别更改方法签名：

.method private hidebysig static void Foo(valuetype [mscorlib] System.ValueType [] args)cil managed

然后是电话：

IL_0020：call void ConsoleApplication1.Program :: Foo(valuetype [mscorlib] System.ValueType [])

虽然我能够运行生成的程序,但我不知道它有什么样的副作用.此外,即使您可以引用修改后的函数,也无法从C#调用它,因为在编译之后,结构体不再继承System.ValueType,因此方法签名不匹配.

点赞