我有一个像这样的字符串:
TOKEN : /* OPERATORS */
{
< POINT : "." >
| < VIRGULE : "," >
}
TOKEN :
{
< CONSTANT : (< DIGIT >)+ >
| < STRING : ( ["A"-"Z","a"-"z"] )+ >
| < #DIGIT : [ "0"-"9" ] >
}
void number() :
{
}
{
(< CONSTANT > < POINT > < CONSTANT >) | (< CONSTANT >)
}
并希望得到:
01-17-11-4
如何在php中做到这一点?
我尝试了以下操作:
01-17-114
但会删除最后一个字符,例如:
substr_replace(implode('-', str_split($student->account_no, 2)), "", -1)
答案 0 :(得分:-1)
使用substr()
,它允许您截取字符串的一部分,然后首先截断最后2个字符(使用-2作为长度),然后再将最后一个字符加到...上。
echo substr($student->account_no, 0, -2).substr($student->account_no, -1);