PHP中的十进制标记


Decimal mark in PHP

可能重复:
php如何获得给定区域设置的当前十进制/千位分隔符

如果我知道语言/国家代码,我可以用PHP获得小数点吗?

或者是否有包含此信息的公共数据库.csv规范?

看看localeconv()。你可以这样做:

$locale_info = localeconv();
echo $locale_info['decimal_point'];