locale に "japanese" を指定したら数字の出力に３桁ごとのカンマが入るようになってしまった．ちょっとありがたくないので数字の出力まわりだけ "C" の locale の設定を使うことにした．で，下のようなコードを書いたところうまくいった．
wout.imbue( std::locale::locale( std::locale::locale( "japanese" ), "C", std::locale::numeric ) );
本当に正しいことをしているのかどうかは不明．なんとなく locale に関する情報が少なすぎる気がする．
- Newer: AWK - はじめ