2016-04-29 25 views

回答

3

只需使用:

"100,123,124".split(",").map(_.toInt).toSet