lua 字符串分割函数

lua 字符串分割函数
-------------------------------------------------------
-- 参数:待分割的字符串,分割字符
-- 返回:子串表.(含有空串)
function lua_string_split(str, split_char)    
 local sub_str_tab = {};
 
 while (true) do        
 local pos = string.find(str, split_char);  
 if (not pos) then            
  local size_t = table.getn(sub_str_tab)
  table.insert(sub_str_tab,size_t+1,str);
  break;  
 end
 
 local sub_str = string.sub(str, 1, pos - 1);              
 local size_t = table.getn(sub_str_tab)
 table.insert(sub_str_tab,size_t+1,sub_str);
 local t = string.len(str);
 str = string.sub(str, pos + 1, t);   
 end    
 return sub_str_tab;
end

local str = "1,2,3,4,5,6,7,8,9"
local ta  = lua_string_split(str,",")

local size = table.getn(ta)
for i = 1,size ,1 do
 print(ta[i])
end