void split_string(const string & str, vector<string> & str_vec, char delimiter){	if (str.empty())		return;	std::string::size_type pos = 0;	std::string::size_type pre_pos = 0;	while((pos = str.find_first_of(delimiter,pos)) != std::string::npos)	{		string tmp_str = str.substr(pre_pos,pos - pre_pos);		str_vec.push_back(tmp_str);		pre_pos = ++pos;	}	string tmp_str;	if (pre_pos < str.size())	{		tmp_str = string(&str[pre_pos]);	}	str_vec.push_back(tmp_str);}