<charconv>ヘッダでは、ロケール依存なし、フォーマット解析なしの高速な文字列・数値変換を提供する。

これらの変換は以下のような特徴がある。

• フォーマットは引数で指定し、入力値のフォーマットを実行時に解析することはない
• 動的にメモリ確保を行わない
• ロケールを考慮しない（Cロケール (POSIXロケール) 固定）
• バッファオーバーランしない
• 例外を投げない（エラーは戻り値で表現、エラーと有効値は区別可能）
• 使用可能なフォーマットは最小限
  • スペースが現れた場合はそこで変換終了
  • 浮動小数点数の指数部以外の+符号は考慮されない
  • #による小数点以下の桁数指定はできない
  • 16進数に0xは付けられない

フリースタンディング

このヘッダの一部の機能が、フリースタンディング処理系でも使用できる。どの機能が使用できるかは各機能のページを参照。

文字列 ⇔ 数値変換関数

クラス

導入された経緯

XMLやJSONに代表されるテキストベースのデータを利用するケースが増えており、C++においてそれを利用するケースも増加している。 それらは多くの場合コンピュータによって生成されコンピュータによって読まれるため国際化対応の必要がなく、生成する側でも読む側でもロケールに非依存であり、考慮するべきではない。
そして、これらのデータは多くの場合通信に利用されており高いスループットを要求される。

しかし、C++17未満の環境で利用可能であった文字列変換法はいずれもロケールに依存しておりロケール非依存な変換が提供されていなかったうえに、いずれの方法も動的なフォーマットの解析・指定や動的メモリ確保、エラー報告の不足等何かしら使いにくい所があった。
動的なフォーマット解析はコンパイル時のフォーマットチェック及び選択を妨げ、（iostreamのマニピュレータのような）動的なフォーマット指定はその状態のスレッド間共有が必要になるため好ましくなく、動的メモリ確保を行わず変換エラーは区別できることが望ましい。

また、浮動小数点数を10進文字列→2進浮動小数点数→10進文字列と変換した時に最初と最後の文字列が一致する保証がある変換方法も提供されていなかった。

各変換方法とその問題点

これらの問題がなく高速な文字列・数値変換を提供するために、本ヘッダ及びto_chars, from_chars関数が導入された。各関数の特徴は冒頭及び個別のページを参照のこと。

バージョン

言語

• C++17

処理系

• Clang: 7.0(整数のみ) ✅, 14.0(to_chars()のみ浮動小数点もsupport), 20.1(from_chars()もdouble, floatをsupport) ✅
• GCC: 8.0(整数のみ) ✅, 11.1(full support) ✅
• Visual C++: 2017 update 7(整数のみ) ✅, update 9(full support) ✅

参照

• C++1z ロケール依存なし、フォーマット解析なしの高速な文字列・数値変換 - Faith and Brave - C++で遊ぼう
• P0067R0 Elementary string conversions
• P0067R1 Elementary string conversions, revision 1
• P0067R2 Elementary string conversions, revision 2
• P0067R3 Elementary string conversions, revision 3
• P0067R4 Elementary string conversions, revision 4
• P0067R5 Elementary string conversions, revision 5
• P0682R1: Repairing elementary string conversions
• N4412: Shortcomings of iostreams
• LWG Issue 3080. Floating point from_chars pattern specification breaks round-tripping
• P2338R4 Freestanding Library: Character primitives and the C library
  • C++26で、文字特性やC言語ライブラリの文字・文字列関数など、このヘッダの機能がフリースタンディング処理系に対応した