Visual Studio 17.4p1, .NET 7 Preview 7

[ufcpp]

配信URL: https://youtu.be/EoNDVaynqMk

.NET 7 Preview 6 のときは配信さぼったわけで、ほぼ2か月ぶり。 (p6 のときに、ref fields が一応入ってたものの、escape analysis が未実装だったのでちょっとスルー。)

• https://docs.microsoft.com/en-us/visualstudio/releases/2022/release-notes-preview#17.4.0-pre.1.0
• https://devblogs.microsoft.com/dotnet/announcing-dotnet-7-preview-7/
• https://devblogs.microsoft.com/dotnet/announcing-ef7-preview7/
• https://devblogs.microsoft.com/dotnet/asp-net-core-updates-in-dotnet-7-preview-7/
• https://devblogs.microsoft.com/dotnet/dotnet-maui-visualstudio-2022-release/
• https://devblogs.microsoft.com/dotnet/announcing-dotnet-framework-481/
• https://devblogs.microsoft.com/visualstudio/visual-studio-2022-17-3-is-now-available/

C# 11

• Language Status で C# 11 になってるやつは一通りそろった
• 今回の追加は ref fields (escape analysis 付き。UnscopedRef 対応だけまだみたい)とfile-local types
• LangVersion preview 要らなくなった

[ufcpp]

1.M();

file static class X
{
    public static void M(this int _) => Console.WriteLine("Program.cs");
}

https://gist.github.com/ufcpp/0a9928ad0343f4cb0218e055d7d50d0b

[ufcpp]

https://sharplab.io/#v2:D4AQDABCCMB0BKBXAdgFwJYFsCmsCSa2ATgPYAOAysQG7oDG2AzgNwCwAUByAMwSOpFEdVBABi6AB7YAJgEEiRAIYBPACwAeACoA+DhH0QA7gAti2CJogAuCCkyLkigOYyOAbw4BiMkqf2jikTI6MhOENLojIoARgA22HoGPujUiqjmlgD66OmYYAA0ENm50IXF2JgATGU5Fdxs7N6+/oaBwaEQREyoJF0cifo8YpIy8kpqABSWtXmF0yVzEDPVFku53ACUEAC82hAT5bNFM6XHuSuHmzv7MwVrFafLhTObDQMQAPQfFsaREHQOf4kTBkdDxIw5YwQWAAOQAopYAOxkRGFaLYAGIRjmADCXTS2AoZEBxkUjD4dHIMggmBIEQAZuhiO8vhBoogRADkMgSCJpCQIagochsKgAGywSCGSHQ+GWCgAEQA0hBkYiIA5pBAADIOJwANWIjHQJGQEGg0AgAFoIDyKVStbSGUyiLbehAAKrIRiUsgyeDYeka1ACdDs9Kwd5DLpByxCyIAbRCIhC0mwEgAujs9jGIABZCq9ZR5wKMUmxWB47AEokOCa5w53VQbJPINOZhoAXw4QA=

UnscopedRef 属性がちゃんとサポートされるまで困りそう…

[ufcpp]

TypedReference 戻り値まだダメらしい。

TypedReference m() => default;

[ufcpp]

https://twitter.com/ufcpp/status/1557612935798657024

[ufcpp]

https://github.com/ufcpp/UfcppSample/compare/77a980b...6fbe0a4

[ufcpp]

API diff:

• Order (LINQ)
• IShiftOperator, BigInteger が INumber に
• あとは Unix ファイルモードとか Quic とか？

[ufcpp-live]

var data = new byte[] { 99, 100, 97, 98, 101 };

//data.Min(); data.MinBy();

foreach (var x in data.Order()) // OrderBy(x => x)
{
    Console.WriteLine(x);
}

[ufcpp-live]

[ufcpp-live]

C# クラス名に使えないファイル名うけるｗｗｗｗ

ちなみに、🍎🍏🍖🍣

[ufcpp-live]

[ufcpp-live]

空文字列 .cs と、ZWJ.cs

[ufcpp-live]

普通のスペースは Windows に怒られた。

[ufcpp-live]

inner class ダメだった。

[ufcpp-live]

partial 併用はいけた

file partial class A
{
}

[ufcpp-live]

partial class FileLocal // これ、見た目は internal なものの、file 扱い受けてそう。
{
    public void M() => MInFilePartial();
}

file partial class FileLocal
{
    public void MInFilePartial() { }
}

[ufcpp-live]

int x = 1;
int y = 1;
int z = 1;

var (r1, r2) = M(ref x, ref y, ref z);

r1.Reference = 2;
r2.Reference = 3;

Console.WriteLine((x, y, z)); // 2, 3, 1

#if 本当に書きたかったもの
(ref int, ref int) M(ref int a, ref int b, ref int c)
{
    // 何かしら分岐するとして
    return (ref a, ref b);
}

// ValueTuple<ref int, ref int> があればいいんだけども…
// 要望としては出てるけども、ちょっと実装するとなると大変かも。
#endif

// ref 多値戻り値
RefTuple<int, int> M(ref int a, ref int b, ref int c)
{
    // 何かしら分岐するとして
    return new(ref a, ref b);
}

ref struct RefTuple<T1, T2>
{
    public ref T1 Item1;
    public ref T2 Item2;

    public RefTuple(ref T1 item1, ref T2 item2)
    {
        Item1 = ref item1;
        Item2 = ref item2;
    }

#if false
    // これは書けるけど、やりたいことじゃない。
    public void Deconstruct(out T1 item1, out T2 item2)
    {
        item1 = Item1;
        item2 = Item2;
    }

    // 本当にやりたいことはこれだけど、無理。
    // すなわち、ref tuple deconstruct 無理。
    public void Deconstruct(out ref T1 item1, out ref T2 item2)
    {
        item1 = ref Item1;
        item2 = ref Item2;
    }
#endif

    // ref deconstruct やろうとすると、
    // ByReference<T> みたいなの介する必要あり。
    public void Deconstruct(out ByReference<T1> item1, out ByReference<T2> item2)
    {
        item1 = new(ref Item1);
        item2 = new(ref Item2);
    }
}

ref struct ByReference<T>
{
    public ref T Reference;
    public ByReference(ref T reference) => Reference = ref reference;
}

[ufcpp-live]

using System.Runtime.InteropServices;

ref struct X
{
    public int A;

    // これ、現状はダメ。
    //[UnscopedRef] // RC1 で多分入る
    //public ref int M() => ref A;

    // ところがこれはOK。
    // MemoryMarshal の時点で unsafe。
    // 使い方間違うとマジで escape analysis ミスって死ぬ。
    public ref int M()
        => ref MemoryMarshal.CreateSpan(ref A, 1)[0];
}

[ufcpp-live]

static A n(scoped ref int x)
{
    x = 123;
    return new A();
}

static A nUnsafe(scoped ref int x)
{
    return new A
    {
        // 嘘つき。
        // scoped って言ってるのに、x を外に漏らす。
        // まあ、Unsafe ですんで…
        X = ref System.Runtime.CompilerServices.Unsafe.AsRef(x)
    };
}

[ufcpp-live]

[ufcpp-live]

// コンパイラー チーム的には「やるべきかも」と思ってるけど、
// C# ユーザー的には管理しきれる気がしない書き方(案)。
[return: LifeTime(nameof(a))]
ref int ma(ref int a, ref int b)
{
    b = 1;
    return ref a;
}

[return: LifeTime(nameof(b))]
ref int mb(ref int a, ref int b)
{
    a = 1;
    return ref b;
}

// 仮想的に提案されてる life time annotation 文法:
ref<A> int ma(ref<A> int a, ref<B> int b) => ref a;
ref<B> int mb(ref<A> int a, ref<B> int b) => ref b;

[ufcpp-live]

さすがによくわからない… (ufcpp.net 内に function pointer の解説はいまだにありません！)

[ufcpp-live]

TypedReference の話からの、「使い道のない/使われてないキーワードランキング」の話に。

int x = 1;

//TypedReference.Create(ref x); これがあれば __makeref 要らなくできる。

TypedReference r = __makeref(x);

__refvalue(r, int) = 2;

Console.WriteLine(__reftype(r));
Console.WriteLine(x);

class A
{
    [property: My] // [My] と全く同じ意味になるから property: 要らないよね
    public int X { get; set; }
}

record R(
    [My] // 引数に対する指定に
    [property: My] // property が要らない子じゃなくなった！
    int X);

class X<[typevar: My] T> { } // これこそ [My] と全く一緒

class MyAttribute : Attribute { }

//TypedReference m() => default;