unmanaged type の定義変更

VS 16.1 Preview 1 からの対応。ジェネックでも、型引数が unmanaged ならポインター化できるようになった。

KeyValuePair<int, float> p = default;

unsafe
{
    KeyValuePair<int, float>* pp = &p;
}

入れ子の unmanaged 制約も可能に

using System.Collections.Generic;

struct X<T>
    where T: unmanaged
{
    public T Value;
}

readonly struct Y
{
    public readonly int Value;
}

class Program
{
    static void Main()
    {
        X<int> ok;
        X<X<int>> willBeOk;
        X<(int, X<int>, KeyValuePair<int, float>)> xx = default;
    }
}

ufcpp / UfcppSample

unmanaged type の定義変更 #240