Unicode UTF-32 (int) を小文字に変換する方法を探しています。Java では、次のような方法でうまくいきます。
Character.toChars(Character.toLowerCase(Character.codePointAt(text, i)))
私は Char.ConvertToUtf32 から UTF-32 を持っていますが、その値を小文字にする方法はないようです。
更新: 文字のストリーム/配列を扱っています。hi サロゲートを探してコード ポイントを見つけました。これは、上記の Java スニピットに多少似ています。String への変換は非効率的です。