用Java 高效 Split

private static List<String> split3( final String str ){    final List<String> res = new ArrayList<String>( 10 );    int pos, prev = 0;    while ( ( pos = str.indexOf( <b>m_separatorChar</b>, prev ) ) != -1 )    {        res.add( str.substring( prev, pos ) );        prev = pos + 1; // start from next char after separator    }    res.add( str.substring( prev ) );    return res;}

?