First-class Span Types

https://github.com/dotnet/csharplang/blob/main/proposals/first-class-span-types.md

VS 17.13 p1 (C# 13 が GA になった瞬間)で merge されてる。

{ }

string[] a = [];
ReadOnlySpan<object> a2 = a; // C# 13 でも OK

Span<string> s = [];
ReadOnlySpan<object> s2 = s; // これは 13 だとエラー。

C.M(new object[1]); // これは 13 だと ambiguous。preview だと Span っぽい。ReadOnlySpan にするみたいな話はみた。

new int[1].Ex(); // 13 だと拡張メソッドでの T[] → ROS<T> 変換は見てくれない。

static class C
{
    public static void M(ReadOnlySpan<object> s) { }
    public static void M(Span<object> s) { }
    public static void M(IEnumerable<object> s) { }

    public static void Ex(this ReadOnlySpan<int> _) { }
}

「Span の変数に対して ReadOnlySpan 引数な拡張メソッドを呼べる(のでオーバーロード増やさなくていい)」と、
「ReadOnlySpan なオーバーロードが優先的に呼ばれてくれる」の2点で、
パフォーマンス的なメリットあり。

IEnumerable オーバーロードがあったりすると、「C# 13 と 14 で呼ばれるものが変わる」という破壊的変更一応あり。
(その2つで中身が全然違うみたいな実装することはないと思うので影響は軽微。)

ただ、これによって新たに別のあいまい性エラーになるケースが出てくる。
(Assert.Equals<T>(ReadOnlySpan<T> expected, T[] actual) がそうらしい。)
これは「OverloadResolutionPriority を付けて回避しようか」という話になってる。

試してみてるけど ROS<T>, T[] だと問題なさそうだった。
↓かな？

C.M(new int[1], []); // first-class span でも解決不能っぽい。

static class C
{
    public static void M(int[] s, int[] a) { }

    // こっちを呼んでもらうために OverloadResolutionPriority 付けてしのいでもらおうかという話あり。
    public static void M(ReadOnlySpan<int> s, ReadOnlySpan<int> a) { }
}

NRT covariance:

ReadOnlySpan<string> s = ["a", "b"];
ReadOnlySpan<string?> n = s; // ここの nullability 警告も消える(nullable covariance が有効に)。

Console.WriteLine(string.Join(", ", n));

ReadOnlySpan<string> s = ["a", "b"];
ReadOnlySpan<object> o = s;

↓

ReadOnlySpan<object> o = ReadOnlySpan<object>.CastUp(s);

https://ufcpp.net/study/csharp/resource/span/#first-class-span
https://ufcpp.net/study/csharp/cheatsheet/ap_ver14/#first-class-span

Navigation Menu

Repository navigation

First-class Span Types #479

Metadata

Assignees

Labels

Projects

Milestone

Relationships

Development

First-class Span Types #479

Description

Activity

ufcpp commented on Nov 13, 2024

ufcpp commented on Nov 15, 2024

ufcpp commented on Nov 15, 2024

ufcpp commented on Aug 31, 2025

Metadata

Metadata

Assignees

Labels

Projects

Milestone

Relationships

Development

Issue actions