C++ Technical Report 1

C++ > C++ Technical Report 1 C++ Technical Report 1 (TR1、Technical Report on C++ Library Extensions)は、ISO/IEC TR 19768:2007 の非公式名称で、標準C++ライブラリの拡張についての標準規格である。これには正規表現、スマートポインタ、ハッシュ表、擬似乱数生成器などが含まれている。TR1の目標は「拡張された標準C++ライブラリの使用方法について慣習を確立してほしい」とのことである。 TR1は既に一部ないし全部を実装しているものもある。ちなみに、TR1のほとんどはBoostに含まれており、それが利用可能である。 TR1はC++のライブラリの拡張の全てではない。たとえばC++11ではスレッドに関するライブラリが含まれ、言語機能自体の拡張（move semanticsやvariadic templatesの追加など）などSTL全体に機能増強が行われた。 なお、TR1で追加されたライブラリは、現標準ライブラリと区別するため、名前空間 std::tr1 に入れられている。しかし、C++11では名前空間 std に入れられた。 TR1にとってC++11は必須ではないが、現行のC++上で全て実装可能というわけでもない。例えば、型のPOD性を検査する関数is_podの実装にあたって、現行のC++にはクラスがPODであることを判別する方法が無い。したがって、現在のC++処理系でのTR1実装は、コンパイラ独自の拡張機能を使用するか、あるいは擬似的な実現に留まる。この状況は、かつて一部コンパイラがテンプレートの部分特殊化に対応していなかった時代のSTLの擬似実装とよく似ている。 注意点としては、TR1はC++の仕様の一部ではないので、std::tr1 名前空間やTR1の機能に依存したコードは後々問題を起こす可能性がある。というのも、最近のドラフトであるn3225[2]では<type_traits>で定義される has_* はis_* へ変更されている。また、std::tr1 は次期標準の仕様にも含まれないので注意されたい。 次のような実装が存在する。 Visual C++ 2008のFeature Packそしてその後に出たサービスパック1 libstdc++ Boost TR1には次のものが含まれている。 Boost.Ref由来[3]。 <functional>ヘッダに追加。 - cref, ref, reference_wrapper アルゴリズムや関数オブジェクトに対して、値渡しではなく参照渡しを行うことができる。 Boost Smart Pointer libraryを基にしている [4]。 <memory>ヘッダに追加。 - shared_ptr, weak_ptr, etc より安全にメモリ管理を行うためのユーティリティ。参照カウントに基づくスマートポインタである。 <functional>ヘッダに4つのモジュールが追加。 Boost.Functionを基にしている[5]。 Boost Bind libraryから採用された[6]。 現標準のstd::bind1st及びstd::bind2ndをより一般化したもので、関数オブジェクトへ引数の束縛を行う。 Boostを基にしている。 関数呼出式から、戻り値の型を決める機構。 Boost Mem Fn libraryを基にしている[7]。 現標準のstd::mem_fun及びstd::mem_fun_refから機能向上したものである。 メンバ関数へのポインタを関数オブジェクトにする機構である。 新しく<type_traits>ヘッダが追加。 - is_pod, has_virtual_destructor(C++11ではis_virtual_destructibleに変更), remove_extent, etc Boost Type Traits libraryを基にしている[8]。 データ型に関しての問い合わせを容易にすることによってメタプログラミングの支援をする。 新しく<random>ヘッダが追加。 - variate_generator, mersenne_twister, poisson_distribution, etc Boost Random Number Libraryを基にしている[9]。 <cmath>/<math.h>ヘッダに追加。 - beta, legendre, etc 各種数学関数。 新しく<tuple>ヘッダが追加。 - tuple Boost Tuple libraryを基にしている[10]。 およそstd::pairの拡張である。 さまざまなデータ型を混在できる容量固定のデータ構造である。 新しく<array>ヘッダが追加。 - array Boost Array libraryから採用された[11]。 標準のstd::vectorのような動的配列とは全く逆の存在である。 新しく<unordered_set>, <unordered_map>ヘッダが追加。 既存のライブラリを基にしたものではなく、新たに作られたものである。 要素の参照は、大抵の場合定数時間で済むが、最悪の場合には線形時間かかる。 名前がhash_set（SGI版STLに含まれるライブラリ）などでないが、標準のset,mapはイテレータを用いて順序付けされた（ソートされた）要素アクセスが可能であるのに対し、unordered_set, unordered_mapでは不可能であることを示している。実装ではなくインターフェース（利用法）に由来した名前をつける発想である。 新たに<regex>ヘッダが追加。 - regex, regex_match, regex_search, regex_replace, etc Boost Regex libraryを基にしている[12]。 正規表現によるパターンマッチングを行うライブラリ。 C++はC言語と互換になるように設計されているものの、現在C++は厳密な上位互換ではない。TR1はその溝を埋めるため<complex>, <locale>, <cmath>その他のヘッダに拡張を行っている。これによってC99とある程度は近づいたものの、C99の全てがTR1に含まれているわけではない。 C++ Technical Report 2 も作られたが、正式に出版されることはなかった。 ^ ISO/IEC TR 19768:2007 ^ [1] ^ “Visual C++ 2008 Feature Pack Release” (2008年4月22日). 2009年8月2日閲覧。 ^ “標準 C++ ライブラリ TR1 拡張リファレンス”. 2009年8月29日閲覧。 ^ “The GNU C++ Library Documentation Chapter 1. Status”. 2009年8月29日閲覧。 ^ “Boost Libraries Chapter 21. Boost.TR1”. 2009年8月29日閲覧。 ^ TR2 call for proposals C++11 - TR1の内容が取り込まれたC++標準。 C++14 Boost - TR1の一部のライブラリの基となっている。 Standard Template Library - 現標準C++ライブラリの一部である。 Peter Becker: "The C++ Standard Library Extensions: A Tutorial and Reference", 2006, ISBN 0321412990. TR1にも言及している。 http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2005/n1836.pdf - このドラフト文書のPDF http://aristeia.com/EC3E/TR1_info_frames.html - スコット・メイヤーズ TR1 page, links to documents and articles