読者です 読者をやめる 読者になる 読者になる

疑問: string の Split(char) メソッドの定義

string の Split メソッドの引数に文字を渡すと、それを区切り文字として文字列が分割されます。

// split.cs
using System;

class Program {
    static void Main() {
        string s = "hello,C#,world";
        foreach (var t in s.Split(',')) {
            Console.WriteLine(t);
        }
    }
}

実行結果です。

$ mcs split.cs -out:a.exe
$ mono a.exe
hello
C#
world

疑問

MSDN の String クラスのリファレンスを確認してみると、char[]string[] を引数にとる Split メソッドはあるのですが、文字(char) を引数にとる Split(char) メソッドの記載が見当たりません。

String.Split メソッド (Char[]) (System)

なぜ上のコードはコンパイルが通るのだろうか。mono の拡張なのかな?