(stackalloc) + extension methods

stackalloc.M.cs

// u8 リテラルの型は ReadOnlySpan<byte> なので、ROS に対する拡張メソッド直呼び可能。
""u8.R();

// それでふと思ったけども、stackalloc も行ける？

// 式の途中で stackalloc を書くと Span になる。
A.S(stackalloc byte[0]);

// この場合(拡張メソッドじゃなくて、静的メソッド呼びの場合)、 ReadOnlySpan への変換も働く。
A.R(stackalloc byte[0]);

unsafe
{
    // ちなみに、これは byte* になっちゃう。
    var p = stackalloc byte[0];
}

// でも、() で囲うと Span<byte> という。
var span = (stackalloc byte[0]);

// なので、これ、呼べるみたい。
(stackalloc byte[0]).S();

// が、そこにさらに Span → ReadOnlySpan の型変換が挟まるとダメ。
// 拡張メソッド解決時に暗黙の型変換は見ない。
(stackalloc byte[0]).R(); // この行だけエラー。

static class A
{
    public static void R(this ReadOnlySpan<byte> _) { }
    public static void S(this Span<byte> _) { }
}