将任意值类型的数组作为形参

Question

我希望能够像

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

C# 2.0 中那样声明一个函数。 如果我在

void foo(ValueType[] data){}

编译时声明它，但 data[] 中的元素会被视为派生自 object，例如，我不能说类似“

fixed (void* pData = data){}

我想避免采用void* 作为参数——我只是希望能够接受任何值类型数组，然后对其执行非托管操作。

ETA：另外，这也有同样的问题：

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

如果你想知道的话。 修复失败，因为它被视为托管类型 - CS0208，无法声明指向托管类型的指针。 参见下面的“毫米”。 我认为他是对的...这可能只是无法完成。

Answer 1

我认为使用 C# 不可能做到这一点。 直到编译时间之后，结构才会从 System.ValueType 继承（无论多么松散），因此您无法通过多态性匹配 Foo 的方法签名。 泛型也根据语言规范被淘汰：

“非托管类型是指不是引用类型、类型参数或泛型结构类型的任何类型，并且
不包含任何类型不是非托管类型的字段。”

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

您可以声明一个结构类型（例如 Bar）作为 Foo 的参数，编译代码，并在 IL 级别更改方法签名：

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

然后也是调用：

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

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

Answer 2

public void foo<T>(params T[] args) where T : struct {
}
public void SomeMethod() {
    foo(1, 2, 3, 4);
}

您不必输入泛型参数，因为编译器将从 foo 的第一个参数中获取类型。

Answer 3

这是可行的：

    public static void foo(System.Array data)
    {

    }

    static void Main(string[] args)
    {
        foo(new int[10]);  
    }

它不会强制该数组是值类型的数组，但它会起作用。