引き続き、2014-02-post-Issaquahの論文集を解説していく。
シグナルハンドラーの中で、アトミック変数を使えるように文面を変更した所、うっかりと、volatileでもatomicでもない変数が使えないように解釈できる分綿と鳴ってしまった。この文面を修正するにあたって、そもそも、既存の文面を厳密に解釈した所、色々と本来意図しない制限があることが判明した。その制限を緩和する提案。
この文面変更は、もう少し継続した議論が必要だということで、C++14には入らない。
シグナルハンドラーはロックフリーなアトミック操作を行うことができる。
エイリアステンプレート、void_tの提案
void_tのリファレンス実装は以下の通り。
// N3911提案のvoid_tのリファレンス実装
template < typename ... >
using void_t = void ;
これだけである。「ハァ？ なんだそりゃ」と読者が思うのも無理はない。しかし、これだけなのだ。
なんでこんな単純極まりないものを、標準ライブラリに入れなければならないのか。それは、この一件単純すぎるエイリアステンプレートが、テンプレートメタプログラミングでとても重宝するからだ。
たとえば、ある型が、ネストされた型名typeを持つかどうか調べる、メタ関数を書いてみよう。
// has_typeの実装
template < typename ... >
using void_t = void ;
template < typename, typename = void >
struct has_type
: std::false_type { } ;
template < typename T >
struct has_type< T, void_t< typename T::type > >
: std::true_type { } ;
void_tは、任意個の型を受取、かならずvoidを返すので、とても使いやすい。いくらでも型を突っ込むことができる。そして、突っ込んだ型がすべてwell-formedならば、void_t自体もwell-formedになる。ひとつでもill-formedな型がまじっていれば、void_t自体もill-formedとなる。これはつまり、SFINAEのために悪用可能である。
さて、実はこの単純極まりないvoid_tエイリアステンプレートではあるが、ひとつ問題が持ち上がっている。なんと、GCCとClangの間で、実装上の差異があるのだという。なぜそんな自体に陥ったかというと、規格の文面の問題である。なんと、エイリアステンプレートの未使用のテンプレート実引数の扱いをどうするか、規格上、まったく規定していなかったのだという。
この問題は、core issue 1558で把握されていて、現在の議論による解決案は、未使用のテンプレート実引数であっても、SFINAEで考慮されるようになる方向で、変更されるように調整が進んでいる。したがって、この論文の利用方法に合致する。
論文では、当面のworkaroundとして、未使用のテンプレート実引数を出さない、以下のようなマヌケな実装を提示している。
// 当面のマヌケなworkaround
template< class... > struct voider { using type = void; };
template< class... T0toN > using void_t = typename voider<T0toN...>::type;
これは小さいが下位互換性をぶち壊す提案。
C++11では、braced-init-listをauto指定子でうけると、型はinitializer_listになる。
// C++11のコード
auto x{ 0 } ; // std::initializer_list<int>
auto x{ 0, 1 } ; // std::initializer_list<int>
auto x = { 0 } ; // std::initializer_list<int>
auto x = { 0, 1 } ; // std::initializer_list<int>
新しいlambdaキャプチャーの文法である、init-captureは、autoと同じ方法で型推定を行うので、これは問題になる。
// C++11の型推定ルールを使ったinit-capture
[ x{0} ] (){} ; // std::initializer_list<int>
[ x{0, 1} ] (){} ; // std::initializer_list<int>
[ x = {0} ] (){} ; // std::initializer_list<int>
[ x = {0, 1} ] (){} ; // std::initializer_list<int>
これはさすがに問題がある。
このため、N3912は、なんと直接初期化の場合、initializer_listとはならない変更を提案している。
// N3912提案
auto x{ 0 } ; // int
auto x{ 0, 1 } ; // ill-formed
auto x = { 0 } ; // std::initializer_list<int>
auto x = { 0, 1 } ; // std::initializer_list<int>
同様に、init-captureも以下のようになる
// N3912提案のinit-capture
[ x{0} ] (){} ; // int
[ x{0, 1} ] (){} ; // ill-formed
[ x = {0} ] (){} ; // std::initializer_list<int>
[ x = {0, 1} ] (){} ; // std::initializer_list<int>
これは、もちろん下位互換性をぶち壊す。しかし、Issaquah会議での投票により、この変更は好ましいとされた。
この変更が、この最終段階で、C++14に入るかどうかは、未定である。ひょっとしたら入るかもしれないし、次に持ち越されるかも知れない。
これは興味深い変更だ。下位互換性をぶち壊すという点がとても興味深い。
これはもともと、シカゴ会議のときにフィンランドのNBコメントとして出ていて、その時には却下されているが、今回、init-captureという新たな問題が持ち上がったことにより、問題が再認識され、議論が再開された。
最大公約数と最小公倍数を計算する関数テンプレート、gcdとlcmを<numeric>に追加する提案。
前回の論文、[PDF注意] N3845では、<cstdlib>に提案されていたが、議論の結果、合意が得られずに、ヘッダーが変更された。
コア言語のちょっとした文面上の解釈揺れなどを修正する提案。
tupleの全要素を関数オブジェクトの実引数に渡してくれるヘルパー関数テンプレート、applyの提案。
前回の論文、[PDF注意] N3829からは、ほとんど変更はない。
この提案論文は、アロケーターに実行時ポリモーフィズムを実現するための、Polymorphic Memory Resourcesの提案である。
従来のC++のSTLでは、アロケーターは、テンプレート実引数で指定する。たとえば、独自実装のアロケーターを使いたい場合、以下のように書く。
// アロケーターを指定する例
#include <memory>
#include <string>
// 独自実装のアロケーター
class super_fast_allocator ;
class awesome_allocator ;
int main()
{
std::basic_string< char, std::char_traits<char>, super_fast_allocator > s1 ;
std::basic_string< char, std::char_traits<char>, awesome_allocator > s2 ;
}
なるほど、これは動く。しかし、色々と問題がある。まず、s1とs2は、別の型になってしまう。s1とs2の違いは、その生のストレージがどのように確保されるかという違いだけで、その他は同じであるはずだ。それにも関わらず、型が異なってしまう。
それに、このコードは、コンパイル時にアロケーターを指定子なければならない。しかし、多くの現実のプログラムは、実行時にメモリ確保の戦略を変えたいはずだし、メモリ確保の戦略を変えるためだけに、わざわざコンパイルし直すことはない。
この問題は、古典的なオブジェクト指向で解決できる。すなわち、抽象基本クラスを指定して、そこから派生して具体的な実装をし、基本クラスへのポインターを経由して、virtual関数を呼び出すのだ。問題は、そのためのアロケーターの基本クラスを、標準ライブラリは定狂していない。そのため、これを実現しようとすると、利用者がそれぞれ独自に基本クラスを定義しなければならなくなる。他人の書いたコードを混在させるのが難しくなる。
そもそも、メモリ確保の戦略をコンパイル時に決定できない状況で、わざわざアロケーターをテンプレート化する意味があるだろうか。コンパイル時に指定する必要のないもの、コンパイル時に汎用化できないものを、テンプレートにする意義は薄い。
このため、N3916は、実行時ポリモーフィズムを実現するためのクラス、memory_resourceと、それを従来のアロケーターにするためのラッパークラス、polymorphic_allocatorを提供している。さらに、それ以上にも色々と提供している。
注意：以下の解説は、まだ提案段階の論文、N3916を元に解説している。この提案のあらゆる内容は変わる可能性がある。
std::pmr名前空間
Polymorphic Memory Resourceのライブラリは、std::pmr名前空間スコープに配置される。pmr名前空間は、仮の名前で、いずれバイク小屋議論を巻き起こすであろう。
memory_resource
memory_resourceとは、抽象基本クラスで、バイト単位の生のストレージの確保、解放をするためのクラスである。このクラスには、allocate, deallocate, is_equalというメンバー関数があり、それぞれdo_allocate, do_deallocate, do_is_equalというpure virtual functionを呼び出す。
// memory_resourceの実装例
namespace std { namespace pmr {
class memory_resource
{
private :
static constexpr std::size_t max_align = alignof(maxalign_t) ;
public :
virtual ~memory_resource() { }
void * allocate( size_t bytes, size_t alignment = max_align )
{ return do_allocate( bytes, alignment ) ; }
void deallocate( void * p, size_t bytes, size_t alignment = max_align )
{ do_deallocate( p, bytes, alignment ) ; }
bool is_equal( const memory_resource & other ) const noexcept
{ do_is_equal( other ) ; }
protected :
virtual void * do_allocate( size_t bytes, size_t alignment ) = 0 ;
virtual void do_deallocate( void * p, size_t, bytes, size_t alignment ) = 0 ;
virtual bool do_is_equal( const memory_resource & other ) const noexcept = 0 ;
} ;
} }
独自のメモリ確保を実装する際には、このmemory_resourceから派生して、do_xxxをオーバーライドする。
// 独自のストレージ確保クラスを実装するひな形
class super_fast_mr
: memory_resource
{
protected :
virtual void * do_allocate( std::size_t bytes, std::size_t alignment )
{
// サイズが少なくともbytes、でアライメント要求がalignmentを満たすストレージを確保して、そのストレージへのポインターを返す
}
virtual void * do_deallocate( void * p, std::size_t, bytes, std::size_t alignment )
{
// ストレージを解放
}
virtual bool do_is_equal ( const memory_resource & other ) const noexcept
{
// *thisとotherを比較
}
} ;
polymorphic_allocator<T>
polymorphic_allocatorは、memory_resourceをラップして、std::allocatorと同等のインターフェースを提供するクラステンプレートである。std::allocatorのかわりに、共通の基本クラスとして使うことができる。
// 例
class custom_resource : std::pmr::memory_resource
{ /* 実装 */ } ;
int main()
{
custom_resource cr ;
using vec = std::vector< int, std::pmr::polymorphic_allocator<int> > ;
vec v( std::pmr::polymorphic_allocator<int>( &cr ) ) ;
}
ただし、いちいちアロケーターを指定するのは面倒だ。そのため、標準ライブラリで、エイリアステンプレートが用意されている。
// エイリアステンプレートが提供される
namespace std { namespace pmr {
template < typename T >
using vector = std::vecotr< T, polymorphic_allocator<T> > ;
// ... その他のコンテナー
} }
resource_adaptor<Alloc>
resource_adaptorは、従来のアロケーターをmemory_resourceのインターフェースに合わせるラッパークラステンプレートだ。
// 従来のアロケーター
class custom_allocator { /* ... */ }
int main()
{
using custom_resource = resource_adaptor< custom_allocator > ;
}
その他
new_delete_resource関数は、allocateやdeallocateがグローバルなoperator new, operator deleteを呼び出すmemory resourceへのポインターを返す。
null_memory_resourceは、allocateが必ず失敗してbad_alloc例外を投げるmemory resourceへのポインターを返す。このポインターは、memory resourceの集合の最後に番兵として配置するのに使うことができる。また、テストのために使うこともできる。
get_default_resourceは、プログラムでデフォルトのmemory resourceへのポインターを返す。set_default_resourceは、デフォルトのmemory resourceへのポインターをセットする。
標準のmemory resource
論文では、二種類（細かく分けて三種類）の標準で提供されるmemory resource実装を提案している。
synchronized_pool_resource/unsyncronized_pool_resource
この二つのクラスは、確保したストレージを所有していて、デストラクターで一括して開放する。つまり、確保したストレージ片を個別に開放しなくても、このオブジェクトの破棄とともに、一括解放されるのだ。
// synchronized_pool_resourceの例
int main()
{
{
synchronized_pool_resource spr ;
spr.allocate( 100 ) ;
spr.allocate( 100 ) ;
spr.allocate( 100 ) ;
} // 一括解放される
}
deallocateしなくても、synchronized_pool_resourceが破棄されるときに、そのオブジェクトから確保したメモリは、すべて解放される。
unsynchronized_pool_resourceは、マルチスレッドから同時にアクセスして動くことが保証されていない。そのため、実装に酔っては、スレッド間の同期処理を省くなどして、より効率的な実装とすることを許している。
実装例としては、メモリをチャンクと呼ばれる一定サイズごとに区切って、別々のチャンクごとの専用ヒープから確保するような方法が考えられる。
pool_optionsで、色々と設定もできるようになっている。
monotonic_buffer_resource
これはかなり特殊なメモリ確保戦略を取る。このクラスのdeallocateメンバー関数は、何もしない。このクラスを用いて確保したメモリーを、個別に解放することはできない。確保したストレージは、クラスのオブジェクトに所有され、オブジェクトが破棄されるときに、一括して破棄される。
このmemory resourceは、すぐに一括して破棄する小さなオブジェクト群のためのストレージを高速に確保するのに向いている。
また、polymorphic memory resourceは、これまでstd::functionやstd::promiseが、実装上必要になっていた、アロケーターのtype erasureの実装を、標準化するという意味合いもある。polymorphic memory resourceが採択されれば、std::functionやstd::promiseは、polymorhpic memory resourceを使うと規定されるようになる。
temporary object(一時オブジェクト)という用語があり、temporary expression(一時式)という用語もある。ところで、exception object(例外オブジェクト)は、もはやtemporaryとは何の関係もない。しかし、現行規格の文面上、関係のあるようになってしまっている。このために、文面を修正して、明確に分離する提案。
[PDF注意] N3859の改訂版。どうもあまり違いが見られないようだが。
Transactional Memoryの詳しい解説については、本の虫: 2014-01-pre-Issaquah mailingの簡易レビュー Part 1を参照。
を与えた。この本はとても良い本であるが、残念ながらこの本が出版されたときには、筆者はすでに英語をある程度理解してしまったあとであったので、この本は筆者のためには、それほど役に立たなかった。しかし、この本は良い本であることには変わりない。