C# のオーバーロード解決では、`params` span 型のオーバーロードが優先される

2025-06-17

C# 13 では、配列以外のコレクション型で宣言された params パラメーターのサポートが追加されました。特に、params ReadOnlySpan<T>とparams Span<T>がサポートされており、オーバーロードの解決では、両方が該当する場合、params配列型よりもparamsスパン型が優先されます。

.NET 9 では、コア .NET ライブラリのさまざまなメソッドの params スパンオーバーロードが追加されました。これらのメソッドには、 params 配列を受け取る既存のオーバーロードがありました。拡張形式で引数が渡されるメソッドの既存の呼び出しでコードを再コンパイルすると、コンパイラは params スパンオーバーロードにバインドされるようになります。

新しいバインドによって、Expression ラムダ式内のこれらのオーバーロードに対する既存の呼び出しに破壊的変更が発生する可能性があります。それは、ref struct インスタンスをサポートしていないためです。このような場合、C# 13 コンパイラは、 params スパンオーバーロードにバインドするときにエラーを報告します。

たとえば、次の string.Join()を考えてみましょう。

using System;
using System.Linq.Expressions;

Expression<Func<string, string, string>> join =
    (x, y) => string.Join("", x, y);

.NET 8 でコンパイルすると、呼び出しはエラーなしで Join(String, String[])にバインドされます。

C# 13 および .NET 9 でコンパイルすると、呼び出しは Join(String, ReadOnlySpan<String>)にバインドされ、呼び出しが式ツリー内にあるため、次のエラーが報告されます。

エラー CS8640: 式ツリーに ref 構造体または制限型 'ReadOnlySpan' の値を含めることはできません。エラー CS9226: 式ツリーに、配列以外のパラメーターの展開形式が含まれていない可能性があります

導入されたバージョン

.NET 9

以前の動作

C# 13 より前では、 params パラメーターは配列型のみに制限されていました。展開された形式でこれらのメソッドを呼び出すと、暗黙的な配列インスタンスのみが生成され、 Expression ラムダ式でサポートされます。

新しい動作

C# 13 および .NET 9 では、 params 配列型と params スパン型を受け取るオーバーロードを持つメソッドの場合、オーバーロードの解決では、 params スパンオーバーロードが優先されます。このような呼び出しでは、呼び出しサイトに暗黙的なスパンインスタンスが作成されます。 Expressionラムダ式内の呼び出しの場合、暗黙的なref structスパンインスタンスはコンパイラエラーとして報告されます。

破壊的変更の種類

この変更はソースの互換性に影響を与える可能性があります。

変更の理由

パフォーマンス上の理由から、新しいメソッドのオーバーロードが追加されました。 params span のサポートにより、コンパイラは呼び出しサイトで params 引数の割り当てを回避できます。

推奨されるアクション

コードが影響を受ける場合、メソッドを明示的な配列で呼び出して、呼び出しが params 配列オーバーロードにバインドされるようにすることをお勧めします。

前の例では、 new string[] { ... }を使用します。

Expression<Func<string, string, string>> join =
    (x, y) => string.Join("", new string[] { x, y });

影響を受ける API

こちらも参照ください

新機能: params ReadOnlySpan<T> オーバーロード