疑問: 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 の拡張なのかな?