我想知道如何从字符串中取出一个字符?
我有个约会:
$date = "04.08.2013";
我想只去掉前两个零。像那样:
$date = "4.8.2013"
我该怎么做?
一个简单的(阅读:hacky)解决方案是:
$date = implode('.', array_map(function($x) { return (int)$x; }, explode('.', $date)));
您也可以使用正则表达式快速完成它:
$new_date = preg_replace('/(?<=^|\.)0/', '', $date);
或者更简单地说,没有后视(感谢@IlmariKaronen):
$new_date = preg_replace('/\b0/', '', $date);