setlocale() 如何在 Windows 上工作？

Question

开发多语言应用程序我想输出区域设置正确的数字和日期。在 Win7 上测试我都失败了：

setlocale(LC_ALL, 'de_DE@euro', 'de_DE', 'deu', 'de', 'ge', 'German_Germany.1251');
var_dump(localeconv());

显示十进制字符是 .但应该是 , 对于德语。

$f = 3.14;
echo($f);

确认 3.14 作为输出。

无论我尝试设置区域设置，我都没有成功。类似的结果适用于number_format()。但是它确实适用于日期，例如月份名称。

在 Windows/CLI 上setlocale() 的正确方法是什么？

Answer 1

似乎这是自 5.3 以来 PHP 的一个已知问题：https://bugs.php.net/bug.php?id=65230

应尽可能避免setlocale()，而应使用NumberFormatter。