Pythonでスペース区切り文字列を数値にキャストしつつリスト化する方法。

単にスペース区切りのString型文字列(text)をリストに変換するだけだったら、次のようにコーディングするのが普通だろう。

list = text.split()

ただ、このままだと数値計算で利用するには極めて都合が悪い(list内の要素が全部String型だから)。
そこで、どうすればsplit()した文字列リストを簡単に数値リスト化出来るか考えてみた。
それも、極力実行速度重視で。

Read more Pythonでスペース区切り文字列を数値にキャストしつつリスト化する方法。