可能重复:
php如何获得给定区域设置的当前十进制/千位分隔符
如果我知道语言/国家代码,我可以用PHP获得小数点吗?
或者是否有包含此信息的公共数据库.csv规范?
看看localeconv()。你可以这样做:
$locale_info = localeconv();
echo $locale_info['decimal_point'];
可能重复:
php如何获得给定区域设置的当前十进制/千位分隔符
如果我知道语言/国家代码,我可以用PHP获得小数点吗?
或者是否有包含此信息的公共数据库.csv规范?
看看localeconv()。你可以这样做:
$locale_info = localeconv();
echo $locale_info['decimal_point'];