フリースタンディング処理系とホスト処理系

ホスト処理系とフリースタンディング処理系の2種類の処理系が C++ 標準によって定義されています。 ホスト処理系に対して C++ 標準が要求する標準ライブラリヘッダの集合はフリースタンディング処理系に対するものよりも大きなものです。 フリースタンディング処理系では実行はオペレーティングシステムなしで行われる場合もあります。

[編集] main 関数に対する要件

[編集] 標準ライブラリヘッダに対する要件

フリースタンディング処理系は処理系定義のヘッダの集合を持ちますが、この集合には少なくとも以下の表のヘッダが含まれます。

1. ↑ ヘッダ <cstdlib> の供給されるバージョンは少なくとも関数 std::abort、 std::atexit、 std::exit、 std::at_quick_exit および std::quick_exit (C++11以上) を宣言しなければなりません。
2. ↑ フリースタンディング処理系では常にロックフリーな整数アトミック型のサポートおよび型エイリアス std::atomic_signed_lock_free および std::atomic_unsigned_lock_free の存在は処理系定義です。 (C++20以上)

[編集] ノート

重要なことは、一部のコンパイラベンダーがフリースタンディングの実装を完全にサポートしない場合があることです。例えば、GCC libstdc++はバージョン13以前に実装上の問題やビルド上の問題があり、一方でLLVM libcxxやMSVC STLはフリースタンディングをサポートしていません。

C++23では、多くの機能が部分ヘッダーを用いてフリースタンディングになります。しかし、<array>のようなヘッダーが将来の標準(C++26かもしれない)でフリースタンディングになるかどうかは、WG21で議論されています。それでも、例外とヒープに依存しているため、vector、list、deque、mapのようなコンテナは常にフリースタンディングになりません。

GCC 13では、freestandingに必要なoptional、span、array、bitsetなどのヘッダーが追加されました。しかし、これらのヘッダーはポータブルでない場合があるため、ホスト環境と同じ体験を提供しない場合があります。ツールチェーンがこれらのヘッダーを提供していても、フリースタンディング環境では使用しない方が良いです。

[編集] 参考文献

[編集] 欠陥報告

以下の動作変更欠陥報告は以前に発行された C++ 標準に遡って適用されました。

[編集] 関連項目