Question

为什么我不能在F＃中使用通用的非托管结构？可能不是Cell<'T when 'T: unmanaged>不受管理，那我该如何解决？

type FloatCell =
    struct
        val x: float
        val y: nativeptr<FloatCell>
    end

[<Struct>]
[<StructLayout(LayoutKind.Sequential)>]
type Cell<'T when 'T: unmanaged> =
    struct
        val x: 'T
        val y: nativeptr<Cell<'T>>
    end

给予

错误FS0001：通用结构要求类型'Cell <'T>'是非托管类型[E：\ dzmitry \ src \ uncorefx \ src \ uncorefx \ uncorefx.fsproj]

更新：

C＃相同。

   unsafe struct FloatCell
    {
        public float val;
        public FloatCell* next;
    }

    [System.Runtime.InteropServices.StructLayout(System.Runtime.InteropServices.LayoutKind.Sequential)]
    unsafe struct Cell<T> where T: unmanaged
    {
        public float val;
        public Cell<T>* next;
    }

有错误：

错误CS0208：无法获取其地址，获取其大小或声明一个指向托管类型（'Program.Cell'）的指针

我不认为它是托管的。

UPDATE2：

我尝试了属性。没有帮助。我已将扩展属性用于演员表。可能的解决方案。但是，为什么我不能在本地做到这一点？或者我可以吗？还是应该提出C＃/ F＃问题？

[<Struct>]
[<NativeCppClass>]
[<System.Runtime.CompilerServices.UnsafeValueType>]
[<StructLayout(LayoutKind.Sequential)>]
type Cell<'T when 'T: unmanaged> =
    struct
        val element: 'T
        val next:  voidptr
    end    

type Cell<'T when 'T: unmanaged> with
    member  x.Next = x.next |> NativePtr.ofVoidPtr<'T>

UPDATE3：

我试图包装指针，然后陷入没有指针的问题。

    public struct UnmanagedStruct
    {
    }

    public struct UnmanagedStructWithSpecifiedGenerics
    {
        public EmptyCell<float> cell;
    }

    public ref struct RefUnmanagedStruct
    {
        public EmptyCell<float> cell;
    }

    public  struct EmptyCell<T> where T : unmanaged
    {
    }

然后实例化：

        var compiles1 = new UnmanagedStructWithSpecifiedGenerics();
        var compiles2 = new EmptyCell<UnmanagedStruct>();
        var CS8377_1 = new EmptyCell<EmptyCell<float>>();
        var CS8377_1 = new EmptyCell<UnmanagedStructWithSpecifiedGenerics>();
        var CS0306 = new EmptyCell<RefUnmanagedStruct>();

通往：

错误CS8377：类型'EmptyCell'必须是不可为空的值类型，并且必须是处于任何嵌套级别的所有字段，以便将其用作通用类型或方法'EmptyCell'中的参数'T' / p>
错误CS8377：类型'UnmanagedStructWithSpecifiedGenerics'以及所有嵌套级别的所有字段都必须是非空值类型，以便将其用作通用类型或方法'EmptyCell'中的参数'T' / p>
错误CS0306：类型'RefUnmanagedStruct'不能用作类型参数

错误信息错误？我应该向Roslyn编译器提出问题吗？

Answer 1

这似乎是设计使然，尽管我不确定限制的原因。以下是F# spec的引文：

5.2.9不受约束的约束

不受管理的约束具有以下形式：   typar : unmanaged

在约束求解（第14.5节）中，如果按以下规定对 type 进行非托管，则满足约束type : unmanaged：


类型sbyte，byte，char，nativeint，unativeint，float32，float，{{1} }，int16，uint16，int32，uint32，int64，uint64是不受管理的。

类型decimal不受管理。

其字段均为非托管类型的非泛型结构类型为非托管。

注意非通用结构类型在上一个项目符号中明确提及。

通用构造要求类型'Cell <'T>'是非托管类型

1 个答案:

5.2.9不受约束的约束