2

タイトルの通りですが、例えば以下のように、
C#のMatchCollectionをforeachで処理しようとしたときに
varがIDEで見るとSystem.Object型と認識されます。

結果、ループの内部でMatch型と想定した処理がエラーとなります。

var text = "1234abcd5678"
var matches = Regex.Matches(text, @"\d");  
foreach(var match in matches)
{
    Console.WriteLine(item.Value); // error!
}

以下のようにMatch型と明示してやれば問題ないのですが、
何故varによるデフォルト?がObject型が返ってきているのかがわかりません。

foreach(Match match in matches)

例えばList型はforeachで要素にvarを指定してもvarはSystem.String型と認識されます。
この違いはなんでしょうか?

1 件の回答 1

3

foreachの動作はドキュメントに書かれていますが、実は IEnumerable<T>IEnumerable を取り出すわけではありません。

  • 戻り値の型がクラス、構造体、インターフェイス型のいずれかである、パラメーターなしのパブリック メソッド GetEnumerator がある型。 C# 9.0 以降では、GetEnumerator メソッドを型の拡張メソッドにすることができます。
  • GetEnumerator メソッドの戻り値の型に、パブリック プロパティ Current と、戻り値の型が Boolean であるパラメーターなしのパブリック メソッド MoveNext がある。

要するに、foreachループはGetEnumerator().Currentを扱います。その上で、MatchCollectionはジェネリックが登場する前の.NET 1時代から続く代物で、MatchCollection.GetEnumerator().Currentobjectと定義されています。対して、List<T>.GetEnumerator().CurrentTになるように定義されています。


ちなみに F# の for ... in 構文は get_Item() メソッドの戻り値を見る仕様なので、 MatchCollection に対しても Match が得られることを推論できてしまいます。
なぜget_Item()なのかというとItemインデクサプロパティの実体メソッドがこの名前を使うことが多いからです。たまに別のメソッド名が使われているクラスに対しては推論できずにobjectとされてしまうこともあります。


、MatchCollectionをみると ICollection<Match>, IEnumerable<Match>,... といったものを継承しており

蛇足ですが、MatchCollectionがこれらのインターフェースを実装するのは.NET Standard 2.1以降および.NET Core 2.0以降です。それ以外、例えば.NET Framework 4.8では実装していません。
foreachは前述の通り使えませんが、LINQは使えるようになるということです。

1
  • 回答ありがとうございます。まさに、MatchCollectionをみると ICollection<Match>, IEnumerable<Match>,... といったものを継承しておりListと差異がなさそうなのにと思っていましたが、GetEnumerator().Currentで取り出せるものが重要なのですね。
    – Hina
    2020年10月23日 14:57

この質問に回答するには、ログインする必要があります。

求めていた回答ではありませんか? のタグが付いた他の質問を参照する。