C++標準ライブラリとは、C++でプログラムを作るときに標準で利用できる機能群のことです。
文字列、配列、連想配列、入出力、ファイル操作、日時、スレッド、アルゴリズム、メモリ管理、乱数、正規表現など、実用的なプログラムに必要な多くの部品が用意されています。
C++では、これらの機能の多くが std という名前空間にまとめられています。
たとえば、文字列を扱う機能、可変長配列を扱う機能、画面出力を行う機能などは、標準ライブラリの代表的な機能です。
標準ライブラリを使いこなせるようになると、自分で低レベルな処理を一から書く必要が減り、より安全で読みやすく、保守しやすいC++コードを書きやすくなります。
C++標準ライブラリの主な役割
プログラム作成に必要な基本機能を提供する
C++標準ライブラリは、プログラムを書くうえで頻繁に必要になる基本機能を提供します。
たとえば、文字列を扱う、複数の値をまとめて保存する、データを並べ替える、ファイルを読み書きする、現在時刻や経過時間を扱う、といった処理です。
これらを毎回自作すると、手間がかかるだけでなく、バグも入りやすくなります。
標準ライブラリを使えば、よく使われる処理を信頼性の高い形で利用できます。
安全で効率的なコードを書きやすくする
C++は自由度の高い言語ですが、その分、メモリ管理やリソース管理を誤ると不具合が起きやすい面もあります。
標準ライブラリには、動的メモリを安全に扱うスマートポインタ、ファイルを自動的に閉じる仕組み、スレッドの排他制御を安全に行う仕組みなどが用意されています。
これらを活用すると、手動で解放処理や後始末を書く場面を減らせます。
移植性の高いコードを書ける
標準ライブラリはC++標準で定義されているため、基本的にはGCC、Clang、MSVCなど複数のコンパイラで利用できます。
もちろん、C++20やC++23など比較的新しい機能は、コンパイラや標準ライブラリの対応状況に差があります。
しかし、標準ライブラリを中心に書くことで、特定の環境に依存しすぎないコードを作りやすくなります。
C++標準ライブラリの主なカテゴリ
入出力ライブラリ
入出力ライブラリは、画面への出力、キーボードからの入力、ファイルの読み書きなどを行うための機能です。
代表的なものには、標準出力、標準入力、エラー出力、ファイル入力、ファイル出力などがあります。
画面に文字を表示する、ユーザーから数値や文字列を受け取る、テキストファイルを読み込む、ログファイルを書き出すといった処理で使われます。
文字列ライブラリ
文字列ライブラリは、テキストデータを扱うための機能です。
C++では、C言語風の文字配列も扱えますが、通常の文字列処理では標準ライブラリの文字列型を使う方が安全で便利です。
文字数の取得、文字列の連結、部分文字列の取得、検索、比較、先頭や末尾の判定など、実用的な操作が用意されています。
また、文字列をコピーせずに参照するための軽量な文字列ビューもあります。
これは、大量の文字列を扱う場面や、関数に文字列を渡す場面で役立ちます。
ただし、参照先の寿命に注意が必要です。
コンテナライブラリ
コンテナとは、複数のデータを格納するためのデータ構造です。
C++標準ライブラリには、可変長配列、固定長配列、両端キュー、連結リスト、連想配列、集合、ハッシュテーブルなど、さまざまなコンテナが用意されています。
最もよく使われるのは可変長配列です。
要素数が変わるデータを扱いやすく、連続したメモリ領域にデータを持つため、処理効率も良いことが多いです。
キーと値を対応させたい場合は連想配列、重複のない集合を扱いたい場合は集合型、順序が不要で高速な検索をしたい場合はハッシュベースのコンテナが使われます。
アルゴリズムライブラリ
アルゴリズムライブラリは、データの検索、並べ替え、コピー、変換、集計、削除補助などを行うための機能です。
代表的な処理には、ソート、検索、カウント、反転、変換、最小値や最大値の取得、二分探索などがあります。
標準アルゴリズムを使うと、手書きのループを減らし、処理の意図を明確にしやすくなります。
たとえば、「データを並べ替える」「条件に合う要素を探す」「すべての要素を変換する」といった目的がコード上で分かりやすくなります。
イテレータ
イテレータは、コンテナ内の要素を指し示す仕組みです。
C++標準ライブラリでは、コンテナとアルゴリズムがイテレータを通じてつながっています。
これにより、同じアルゴリズムをさまざまなコンテナに対して使えるようになっています。
イテレータはポインタに似た考え方ですが、コンテナの種類に応じて適切に要素をたどるための抽象的な仕組みです。
Rangesライブラリ
Rangesは、C++20から導入された比較的新しい機能です。
従来のアルゴリズムでは、処理範囲の開始位置と終了位置を明示する必要がありました。
一方、Rangesを使うと、コンテナや範囲そのものを対象として処理を書きやすくなります。
また、Viewsという仕組みにより、データをコピーせずに絞り込みや変換を行うこともできます。
Viewsは多くの場合、必要になったタイミングで処理される遅延評価の仕組みです。
これにより、より宣言的で読みやすいデータ処理を書きやすくなります。
メモリ管理ライブラリ
メモリ管理ライブラリは、動的に確保したメモリを安全に扱うための機能です。
現代的なC++では、手動でメモリを確保して手動で解放する書き方はできるだけ避け、スマートポインタを使うことが推奨されます。
スマートポインタには、所有者が1つだけのもの、複数の所有者で共有するもの、共有されたオブジェクトを所有せずに参照するものがあります。
基本的には、所有者が1つで済むなら単独所有のスマートポインタを使い、どうしても複数箇所で所有する必要がある場合に共有所有のスマートポインタを使います。
ユーティリティライブラリ
ユーティリティライブラリには、C++でよく使う便利な型や補助機能が含まれます。
代表的なものには、値が存在するかどうかを表す型、複数の型のうちどれか1つを保持する型、任意の型を保持する型、複数の値をまとめる型などがあります。
値がない可能性を明示できる型を使うと、失敗時に特別な値を返すような曖昧な設計を避けやすくなります。
複数の型のうちどれか1つを持つ型は、型安全な分岐データを表現したいときに役立ちます。
任意の型を保持できる型もありますが、設計が曖昧になりやすいため、必要な場面を見極めて使うことが大切です。
例外・エラー処理ライブラリ
例外・エラー処理ライブラリは、プログラム実行中に発生した異常を扱うための機能です。
不正な引数、範囲外アクセス、実行時エラー、メモリ確保失敗などを表す標準的な例外型が用意されています。
例外処理を使うと、通常の処理の流れとエラー処理を分けて書けます。
ただし、プロジェクトや用途によっては、例外ではなくエラー値を返す設計が選ばれることもあります。
C++23では、成功値またはエラー値を表すための型も標準ライブラリに追加されています。
これにより、例外を使わずにエラーを明示的に扱う設計がしやすくなります。
日時ライブラリ
日時ライブラリは、時刻、時間間隔、経過時間の測定などを扱うための機能です。
実世界の時刻を扱う時計、経過時間の測定に向いた時計、高精度な時計などがあります。
処理時間の計測には、途中で時刻が変更される可能性のある時計よりも、単調に進む時計を使う方が適しています。
C++20以降では、カレンダーやタイムゾーン関連の機能も拡張されています。
ただし、対応状況は利用環境によって異なります。
並行処理ライブラリ
並行処理ライブラリは、複数の処理を同時に実行するための機能です。
スレッド、排他制御、非同期処理、条件変数、アトミック操作などが含まれます。
複数のスレッドから同じデータを扱う場合、データ競合を避けるために排他制御が必要になります。
標準ライブラリには、ロックの取得と解放を安全に管理する仕組みも用意されています。
C++20では、停止要求に対応したスレッドなど、より扱いやすい並行処理の機能も追加されています。
数値計算ライブラリ
数値計算ライブラリには、数学関数、集計処理、乱数生成などが含まれます。
平方根、三角関数、対数、絶対値などの数学関数のほか、合計、内積、累積和、最大公約数、最小公倍数などの処理も利用できます。
乱数については、C言語由来の古い乱数関数よりも、C++標準ライブラリの乱数生成機能を使う方が望ましいです。
ただし、暗号用途の乱数には、専用の安全な仕組みを使う必要があります。
ファイルシステムライブラリ
ファイルシステムライブラリは、ファイルやディレクトリを扱うための機能です。
ファイルの存在確認、ファイルサイズの取得、パスの操作、ディレクトリの作成、ディレクトリ内の走査、ファイルの削除などができます。
C++17で標準化された機能であり、現在のC++ではファイルパスやディレクトリ操作を扱う際に重要です。
古いコンパイラ環境では追加の設定が必要な場合もありますが、現在の主要な環境では比較的扱いやすくなっています。
正規表現ライブラリ
正規表現ライブラリは、文字列のパターン検索や置換を行うための機能です。
メールアドレスのような形式を探す、特定のパターンに一致する文字列を検出する、文字列をルールに従って置換する、といった処理に使えます。
標準ライブラリだけで正規表現を扱える点は便利です。
ただし、性能や機能面の評価は実装や用途によって異なります。
大量のテキストを高速に処理する必要がある場合は、外部ライブラリが検討されることもあります。
代表的な標準ライブラリ機能
文字列を扱う機能
C++で文字列を扱う場合、標準ライブラリの文字列型がよく使われます。
文字列型を使うことで、文字列の長さを取得したり、文字列同士を結合したり、特定の文字や単語を探したりできます。
C言語風の文字配列よりも扱いやすく、安全性も高いため、通常の文字列処理では標準ライブラリの文字列機能を使うのが一般的です。
可変長配列を扱う機能
可変長配列は、C++標準ライブラリの中でも特に使用頻度の高いコンテナです。
要素を後から追加でき、添字によるアクセスも高速です。
メモリ上に連続してデータを保持するため、CPUキャッシュの面でも有利になることが多いです。
ただし、途中への挿入や削除は要素移動が発生するため、処理量が大きくなる場合があります。
また、要素の追加によって内部のメモリが再確保されると、既存のイテレータや参照が無効になることがあります。
連想配列を扱う機能
連想配列は、キーと値を対応させて保存するためのコンテナです。
たとえば、名前と点数、商品IDと価格、単語と出現回数のようなデータを扱うときに便利です。
キー順に並ぶ連想配列と、順序を持たないハッシュベースの連想配列があります。
順序が必要な場合はキー順に管理されるものを使い、順序が不要で高速な検索を重視する場合はハッシュベースのものを使うことが多いです。
集合を扱う機能
集合は、重複しない値を管理するためのコンテナです。
特定の値が存在するかどうかを調べたい場合や、重複を取り除きたい場合に役立ちます。
集合にも、順序付きのものと、順序を持たないハッシュベースのものがあります。
スマートポインタ
スマートポインタは、動的に確保したオブジェクトの寿命を自動的に管理するための仕組みです。
C++では、メモリを手動で確保・解放することもできますが、解放忘れや二重解放といった問題が起きやすくなります。
スマートポインタを使うことで、オブジェクトの寿命に合わせて自動的にメモリを解放できます。
単独所有のスマートポインタは、所有者が1つだけの場合に適しています。
共有所有のスマートポインタは、複数の場所で同じオブジェクトを所有する必要がある場合に使います。
ただし、共有所有には参照カウントのコストがあり、循環参照にも注意が必要です。
値が存在しない可能性を表す型
値が存在する場合と存在しない場合を明示的に表す型があります。
これにより、「値が見つからなかった」「計算結果が存在しない」といった状態を安全に表現できます。
特別な数値や空文字列を失敗の意味として使う方法よりも、意図が明確になりやすいです。
複数の型のうち1つを保持する型
複数の型のうち、どれか1つの値を保持できる型もあります。
たとえば、ある結果が数値の場合もあれば文字列の場合もある、といった状況を型安全に表現できます。
従来の低レベルな共用体よりも安全に扱えるため、状態や結果の種類を明確にしたい場面で役立ちます。
エラーを値として扱う型
C++23では、成功した値またはエラー情報を表すための型が標準ライブラリに追加されました。
これにより、例外を使わずに、関数の結果として成功または失敗を明確に返す設計がしやすくなります。
ただし、C++23の機能はコンパイラや標準ライブラリの対応状況に差があるため、実際に利用する場合は環境の対応状況を確認する必要があります。
C++標準ライブラリの重要な考え方
RAII
RAIIは、C++を理解するうえで非常に重要な考え方です。
RAIIとは、リソースの取得と解放をオブジェクトの寿命に結びつける設計です。
たとえば、ファイルを開いたオブジェクトは、スコープを抜けるときに自動的にファイルを閉じます。
ロックを取得したオブジェクトは、スコープを抜けるときに自動的にロックを解放します。
スマートポインタは、所有しているオブジェクトが不要になったときに自動的にメモリを解放します。
このように、後始末を人間が手動で書くのではなく、オブジェクトの寿命に任せることで、解放忘れや例外発生時の不具合を減らせます。
コンテナとアルゴリズムの分離
C++標準ライブラリでは、データを保持するコンテナと、データを処理するアルゴリズムが分離されています。
たとえば、並べ替え処理や検索処理は、特定のコンテナ専用ではなく、イテレータを通じてさまざまなデータ構造に適用できます。
この設計により、同じアルゴリズムを複数のコンテナで再利用しやすくなっています。
テンプレートによる汎用性
C++標準ライブラリは、テンプレートを多用しています。
そのため、同じコンテナでも整数、文字列、独自のクラスなど、さまざまな型を格納できます。
テンプレートにより、型に依存しない汎用的なライブラリを作れることが、C++標準ライブラリの大きな特徴です。
所有権の明確化
現代的なC++では、どのオブジェクトがリソースを所有しているのかを明確にすることが重要です。
所有者が1つなのか、複数で共有するのか、単に参照しているだけなのかによって、使うべき型や設計が変わります。
標準ライブラリのスマートポインタやビュー型を正しく使うには、この所有権の考え方が欠かせません。
C++バージョンごとの主な標準ライブラリ機能
C++98 / C++03
C++98とC++03では、現在の標準ライブラリの基礎となる多くの機能が整備されました。
文字列、入出力、可変長配列、連想配列、集合、アルゴリズム、イテレータ、例外処理などは、この時代からC++の中心的な機能として利用されています。
C++11
C++11は、C++にとって大きな転換点となった規格です。
標準ライブラリにも多くの重要な機能が追加されました。
スマートポインタ、スレッド、ミューテックス、非同期処理、固定長配列、ハッシュベースの連想コンテナ、関数オブジェクト、タプル、日時、乱数、正規表現などが代表的です。
現代的なC++を書くうえで、C++11以降の機能は非常に重要です。
C++14
C++14は、C++11を補強・改善する性格の強い規格です。
標準ライブラリでは、単独所有のスマートポインタを安全に作成するための関数などが追加されました。
C++11で導入された機能を、より自然に使いやすくするための改良が多い規格です。
C++17
C++17では、実務で使いやすい便利な型や機能が多く追加されました。
値があるかどうかを表す型、複数の型のうち1つを保持する型、任意の型を保持する型、文字列ビュー、ファイルシステム、並列アルゴリズムなどが代表的です。
C++17は、現在でも実務で採用されることが多い重要な規格です。
C++20
C++20では、C++言語本体と標準ライブラリの両方に大きな拡張が入りました。
標準ライブラリでは、Ranges、文字列や配列を所有せずに参照するビュー型、フォーマット機能、停止要求に対応したスレッド、カレンダーやタイムゾーン関連の日時機能などが追加されています。
ただし、C++20の機能は、コンパイラや標準ライブラリの対応状況によって使いやすさに差があります。
C++23
C++23では、C++20の機能を補強する多くのライブラリ機能が追加されました。
成功値またはエラー値を表す型、標準出力をより簡潔に扱う機能、多次元配列ビュー、スタックトレース、文字列の包含判定、Ranges関連の拡張などが代表的です。
また、標準ライブラリモジュールも導入されています。
対応環境では、従来のヘッダ読み込みとは異なる形で標準ライブラリを利用できるようになります。
ただし、C++23機能は環境によって対応状況が異なるため、実際に使う場合はコンパイラと標準ライブラリの対応を確認する必要があります。
C++26
C++26は、次期標準として策定中・実装中の規格です。
標準ライブラリにも、新しいコンテナや実行制御関連の機能などが追加される見込みです。
ただし、正式な利用可否はコンパイラや標準ライブラリの対応状況に依存します。
そのため、C++26関連の機能は、実務では「将来的に使える可能性がある機能」として慎重に扱う必要があります。
C++標準ライブラリを学ぶ順番
最初に学ぶべき機能
C++標準ライブラリは非常に広いため、最初からすべてを覚える必要はありません。
まず学ぶべきなのは、文字列、可変長配列、標準入出力、基本的なアルゴリズムです。
このあたりを理解すると、簡単なデータ処理や入出力を含むプログラムを書けるようになります。
特に、文字列と可変長配列は使用頻度が非常に高いため、早めに慣れておくと効果的です。
次に学ぶべき機能
次に、連想配列、集合、ファイル入出力、数値集計、スマートポインタなどを学ぶとよいです。
キーと値を対応させる処理、重複を取り除く処理、ファイルを読み書きする処理、メモリを安全に管理する処理など、実用的なプログラムで必要になる場面が増えてきます。
中級者以降で学びたい機能
中級者以降では、値がない可能性を表す型、複数型を扱う型、ファイルシステム、日時、スレッド、乱数、正規表現、Rangesなどを学ぶとよいです。
これらを使えるようになると、より実務的で柔軟なC++コードを書けるようになります。
特に、C++17以降の便利型やC++20のRangesは、モダンC++の理解に大きく関わります。
C++標準ライブラリを使うメリット
コードの安全性が高まる
標準ライブラリを使うことで、手動メモリ管理や生の配列操作による危険を減らせます。
たとえば、文字列処理には標準の文字列型を使い、動的メモリ管理にはスマートポインタを使うことで、典型的なバグを避けやすくなります。
コードの可読性が高まる
標準アルゴリズムや標準コンテナを使うと、処理の意図が分かりやすくなります。
手書きのループで複雑に処理を書くよりも、標準アルゴリズムを使った方が、「何をしたいのか」が明確になる場合があります。
実装の信頼性が高い
標準ライブラリは、多くの環境で長く使われ、最適化されてきた機能群です。
自分で同じ機能を実装するよりも、標準ライブラリを使う方が信頼性や保守性の面で有利になることが多いです。
学習効果が高い
C++標準ライブラリを学ぶことは、C++そのものの設計思想を理解することにもつながります。
RAII、所有権、テンプレート、イテレータ、汎用プログラミングなど、C++らしい考え方が標準ライブラリには多く含まれています。
C++標準ライブラリを使うときの注意点
新しい機能は対応状況を確認する
C++17、C++20、C++23の機能は、コンパイラや標準ライブラリの対応状況によって利用可否が異なる場合があります。
特に、C++20以降の機能を使う場合は、使用しているGCC、Clang、MSVCなどのバージョンを確認することが大切です。
文字列ビューは寿命に注意する
文字列ビューは文字列を所有しません。
そのため、参照している元の文字列が破棄されると、文字列ビューは無効な参照を持つことになります。
関数の引数として使う場合は便利ですが、戻り値やメンバ変数として使う場合には、参照先の寿命を慎重に考える必要があります。
可変長配列のイテレータ無効化に注意する
可変長配列では、要素の追加によって内部メモリが再確保されることがあります。
再確保が起きると、既存のイテレータ、参照、ポインタが無効になる場合があります。
そのため、要素を追加しながら既存の参照やイテレータを使い続ける場合は注意が必要です。
ハッシュベースのコンテナは順序を持たない
ハッシュベースの連想配列や集合は、通常、要素の順序を保証しません。
キー順に処理したい場合や、出力順を安定させたい場合には、順序付きのコンテナを使う必要があります。
共有所有のスマートポインタは乱用しない
共有所有のスマートポインタは便利ですが、どこが所有しているのか分かりにくくなることがあります。
また、参照カウントのコストや循環参照の問題もあります。
基本的には単独所有を優先し、共有が本当に必要な場合にだけ共有所有を使うのが望ましいです。
削除系アルゴリズムの挙動に注意する
一部の削除系アルゴリズムは、コンテナのサイズを直接変えるわけではありません。
要素を削除するためには、アルゴリズムで不要な要素を後方に移動し、その後にコンテナ側で実際に削除する、という考え方が必要になる場合があります。
C++20以降では、より直接的に要素を削除できる標準機能も増えています。
STLとC++標準ライブラリの違い
STLは標準ライブラリ全体と同じではない
STLは、もともとStandard Template Libraryを指す言葉です。
現在では、日常的にC++標準ライブラリのコンテナ、イテレータ、アルゴリズム周辺を指して使われることが多いです。
ただし、C++標準ライブラリ全体には、入出力、スレッド、ファイルシステム、日時、正規表現、メモリ管理なども含まれます。
そのため、厳密には「STL」と「C++標準ライブラリ」は完全に同じ意味ではありません。
日常的には広い意味で使われることもある
実務や学習の場では、STLという言葉が標準ライブラリ全般を指すように使われることもあります。
ただし、正確に説明するなら、STLは標準ライブラリの一部、特にコンテナ・イテレータ・アルゴリズムを中心とする領域と考えるのが適切です。
C++標準ライブラリで特に重要な機能
文字列
文字列処理は多くのプログラムで必要になります。
標準ライブラリの文字列型を使うことで、文字列の結合、検索、長さの取得、部分文字列の取得などを安全に行えます。
可変長配列
可変長配列は、C++で最も頻繁に使われるコンテナのひとつです。
データを順番に保存したい場合や、要素数が実行時に変わる場合に適しています。
連想配列
連想配列は、キーから値を取り出したい場合に便利です。
データの集計、辞書的な管理、IDと情報の紐付けなど、さまざまな場面で使われます。
アルゴリズム
標準アルゴリズムを使うと、検索、ソート、変換、集計などの処理を簡潔に書けます。
C++らしいコードを書くには、コンテナだけでなくアルゴリズムも合わせて理解することが重要です。
スマートポインタ
スマートポインタは、現代的なC++のメモリ管理に欠かせない機能です。
手動でメモリを解放する書き方を減らし、リソース管理を安全に行いやすくします。
ファイルシステム
ファイルやディレクトリを扱うプログラムでは、ファイルシステムライブラリが役立ちます。
パス操作、存在確認、ディレクトリ走査などを標準ライブラリで扱えるため、ファイル操作を伴うプログラムで便利です。
Ranges
Rangesは、C++20以降のモダンなデータ処理で重要な機能です。
コンテナや範囲に対する処理を、より自然で読みやすい形で書けます。
C++標準ライブラリのまとめ
C++標準ライブラリは、C++で実用的なプログラムを書くために欠かせない機能群です。
文字列、コンテナ、アルゴリズム、入出力、ファイル操作、日時、メモリ管理、並行処理、数値計算、正規表現など、多くの機能が標準で提供されています。
最初に学ぶべきなのは、文字列、可変長配列、標準入出力、アルゴリズムです。
次に、連想配列、集合、ファイル入出力、スマートポインタ、数値処理を学ぶと、実用的なコードを書きやすくなります。
中級者以降は、値が存在しない可能性を表す型、複数型を扱う型、ファイルシステム、日時、スレッド、Rangesなどを学ぶと、より現代的なC++に近づけます。
C++標準ライブラリを使いこなすことは、単に便利な機能を覚えるだけではありません。
RAII、所有権、イテレータ、テンプレート、汎用プログラミングといったC++の重要な考え方を理解することにもつながります。
以上、C++の標準ライブラリについてでした。
最後までお読みいただき、ありがとうございました。
