为什么不允许指向泛型类型的指针？

Question

例如作为重载的[]setter-getter，

    public T this[int i]
    {
        get
        {
            unsafe
            {
                T* p = (T*)hArr.ToPointer(); // hArr is a C++ object pointer(IntPtr)
                return *(p + i);
            }

        }
        set
        {
            unsafe
            {
                T* p = (T*)hArr.ToPointer();
                *(p + i) = value;
            }
        }
    }

并且编译器抱怨（下划线）它“无法将...的地址”转换为托管类型T。

我知道T 在运行时只会是浮点、双精度、整数或字节，但我不知道如何告诉编译器，所以它信任我。

为什么我不能用，反正都是指针，一不小心我可以溢出任何类型的数组。

我怎样才能做到这一点（用类似的方式或其他方式）而不比：

    public float this[int i]
    {
        get
        {
            unsafe
            {
                float* p = (float*)hArr.ToPointer();
                return *(p + i);
            }

        }
        set {
            unsafe
            {
                float* p = (float*)hArr.ToPointer();
                *(p + i) = value;
            }
        }
    }

我不仅关心这里的性能，还关心代码的简单性。 （所有 T 类型的一个代码）我想接口在这里无济于事。

Answer 1

C# restricts 指向的指针类型

• sbyte, byte, short, ushort, int, uint, long, ulong, char, @9876543332@, double, @98765434 987654334@,
• 任何enum 类型，
• 任何指针类型，
• 任何用户定义的struct 类型，仅包含非托管类型的字段。

最后一点是关键，因为编译器必须能够验证您尝试指向的 struct 是否“合法”。否则，您将能够传递 T，即 struct，其中的字段引用托管类型（例如，string），这是被禁止的。

由于您有兴趣为四种数据类型提供此行为，您应该能够通过提供四种重载来解决此问题：

public int GetInt(int i) {
    unsafe {
        var p = (int*)hArr.ToPointer();
        return *(p + i);
    }
public void SetInt(int i, int val) {
    unsafe {
        var p = (int*)hArr.ToPointer();
        *(p + i) = val;
    }
}
public float GetFloat(int i) {
    unsafe {
        var p = (int*)hArr.ToPointer();
        return *(p + i);
    }
public void SetFloat(int i, float val) {
    unsafe {
        var p = (float*)hArr.ToPointer();
        *(p + i) = val;
    }
}
... // and so on

假设编译器在编译时有足够的信息来解决重载，运行时效率将保持不变。