C++11での自作アロケータに必要な最小コード - Faith and Brave - C++で遊ぼう
C++11では、std::allocator_traitsというアロケータアクセスの中間インタフェースが用意されたおかげで、自作アロケータに必要な実装がだいぶ減りました。 自作アロケータに必要な最小コードは、以下のようになります。 要素型value_type 特殊関数(デフォルトコンストラクタ、コピーコンストラクタ、ムーブコンストラクタ) 別な要素型のアロケータを受け取るコンストラクタ allocate()メンバ関数。(hintパラメータはあってもなくてもいい) deallocate()メンバ関数 operator==とoperator!= サンプルコード： #include <new> template <class T> struct MyAllocator { // 要素の型 using value_type = T; // 特殊関数 // (デフォルトコンストラクタ、コピーコンスト
C++14の言語拡張まとめ - Faith and Brave - C++で遊ぼう
C++14は、C++11に対するマイナーアップデートです。仕様のバグ修正や、C++11の比較的小さめな機能不足を補うバージョンになっています。 細かすぎる変更はさすがに書きませんが、ある程度大きめの変更を以下にまとめます。 この内容は、正式に策定されるまでに変更される可能性があります。 コア言語 2進数リテラル 変数テンプレート 通常の関数の戻り値型を推論 ジェネリックラムダ 一般化されたラムダキャプチャ constexpr関数の制限緩和 どこからともなく現れる結果の規定(前半, 後半) [[deprecated]]属性 数値リテラルの桁区切り文字 サイズ付きのデアロケーション initializer-listによるaggregate初期化の制約緩和 ロックフリーの定義 シグナルハンドラでできることの制限緩和と明確化 ライブラリ make_unique() コンパイル時整数シーケンス tu
C++14からC++17にかけての予定 - Faith and Brave - C++で遊ぼう
Trip report: Fall ISO C++ meeting 2013年9月末のシカゴ会議で決まった、C++14からC++17にかけてのロードマップ。 C++14に入れる機能の調整 いくつかの機能は、まだ完全に議論され尽くしていないので、一旦C++14の予定からは削除し、TS(Technical Specification)として、C++14に追加で入れます： std::optionalはLibrary Fundamentals TSに移動 std::dynarrayはArray Extensions TSに移動 それと、追加でC++14に入れることが決まった機能もあります： 桁区切り文字 : int x = 12'345'789のように、数値リテラルをシングルクォーテーションで桁区切りして記述できるようにします。カンマやアンダースコアは、他の機能と競合して難しいという理由で、シング
Boost.Log 自動的にフラッシュする - Faith and Brave - C++で遊ぼう
ファイルにログ出力するなら、やはり書き込むたびに自動的にフラッシュしてほしいです。(std::fstreamは自動的にフラッシュされます。) Boost.Logは、ファイル出力のセットアップ時に、自動的にフラッシュするかどうかを設定できます。 先日の、時間によるローテーションを行うサンプルを、ちょっと修正してみます。 #include <boost/log/trivial.hpp> #include <boost/log/utility/setup/file.hpp> #include <boost/log/attributes.hpp> #include <boost/thread.hpp> #include <boost/chrono/duration.hpp> namespace attrs = boost::log::attributes; namespace keywords =
C++14 変数テンプレート - Faith and Brave - C++で遊ぼう
N3651 - Variable Templates (Revision 1) C++11には、関数テンプレート、クラステンプレート、エイリアステンプレート、リテラル演算子テンプレート、可変引数テンプレートといったテンプレートがありますが、C++14では変数テンプレート(Variable Templates)というものが追加されます。 これは、変数の定義にテンプレートを使用可能にし、変数定義を特定の型で特殊化可能にするというものです。たとえば、円周率πの変数は、以下のように定義できます。 // 円周率変数piの定義 template<typename T> constexpr T pi = T(3.1415926535897932385); // テンプレート定義された変数の使い方 // 円の面積を求める template<typename T> T area_of_circle_with
ムーブによるpop - Faith and Brave - C++で遊ぼう
C++03のstd::queueとstd::stackがもつpop()メンバ関数は、要素型Tのコピーコンストラクタが例外を投げた場合に、削除がすでに済んでいるせいでコンテナが壊れてしまう、という例外安全性の問題があるために戻り値の型がvoidになっていました。 C++11にはムーブとnoexceptがあるので、要素型Tが例外を投げないムーブコンストラクタを持っていれば、戻り値を返すpop()が書けるのではないかと思います。 書いてみました。 #include <queue> #include <type_traits> template <class T, class Container = std::deque<T>> class movable_queue : public std::queue<T, Container> { using base = std::queue<T, Co
ヘッダファイルが存在するかどうかをチェックする(Clang) - Faith and Brave - C++で遊ぼう
Clangには、__has_include()という特殊なプリプロセス時判定機能があるようです。 // <atomic>ヘッダを持っているかチェックする #if defined( __clang__ ) #if __has_include( <atomic> ) // ... #endif #endif Clangは、使用する標準ライブラリを切り替えられることもあって、コンパイラがClangであることと、コンパイラバージョンだけでは、ライブラリの機能が使えるかどうかわかりません。そういった状況でこの機能が有効なようです。 GCCでも話は出ているようです。 __has_include() macro implementation can be accepted in GCC?
C++1y 多倍長整数 - Faith and Brave - C++で遊ぼう
N3542 Proposal for Unbounded-Precision Integer Types C++1yに向けて提案されている多倍長整数クラス。 この提案では、固定精度整数クラスは含まれておらず、無限精度のintegerクラスのみが考えられています。 integer a = 123; // int型整数からの初期化 integer b{std::string("12345678901234567890")}; // 文字列からの初期化 // 出力 cout << a << endl; // 文字列への変換 string s = a.to_string(); 現状の提案の問題としては、アロケータが指定できないことや、ユーザー定義リテラルがないことなどが挙げられています。 提案してる人が違うこともあってか、Boost.Multiprecisionとはだいぶ設計が異なっています。
Boost 1.54.0がおもしろそう。 - Faith and Brave - C++で遊ぼう
Boost 1.54.0に向けてリリース準備が進められている機能がおもしろそう。 まず、Boost.Geometryには、これまで実験中でリリースに含まれていなかった、SVG出力とR木が入りそう。 Boost.Multiprecisionには、多倍長整数のユーザー定義リテラルが入りそう。(auto x = 123_cppi1024;) 待望のBoost.Logがtrunkに入り、リリースに向けての議論中。 その他、Boost.Coroutine V2(C++1yに提案されているpush_coroutineとか)やBoost.TTI、Boost.AlgorithmのC++14アルゴリズムなどの開発が進められているが、これらが入るかは不明。 Boost 1.54.0は、C++Now!の時期を避けて7月にリリース予定。
optionalがC++14入り - Faith and Brave - C++で遊ぼう
N3672 A proposal to add a utility class to represent optional objects (Revision 4) optionalがC++14に入ることが決まりました。 boost::optionalベースで、細かいところが変わってます。変更点は、上記paperかこのブログの履歴を追ってもらうとして、Revision 4ではoperator==()とoperator<()以外の比較演算子が削除されています。 これは、それ以外の演算子の動作について合意がとれなかったのと、これらの演算子が、コンテナにoptionalを入れることのみを目的にしているからだそうです。 std-proposalsでいまsatodaさんが「せめてoperator!=()はほしい」という意見を出して議論しています。 optional Rev.4 (N3672): Wh
C++14 2進数リテラル - Faith and Brave - C++で遊ぼう
N3472 Binary Literals in the C++ Core Language C++14から、2進数リテラルが言語組み込みで導入されることが決まりました。 0bもしくは0Bというプレフィックスを付けたあとに、0か1のシーケンスを記述します。 int x = 0b1100; // x == 12 提案されている仕様を見る限りでは、0bと0Bに違いはないようです。 2進数リテラルはまだコア言語側だけが決まった段階で、IOStreamライブラリでのフォーマットについてはまだ何も決まっていないようです。 GCCでは、4.3から言語拡張としてすでに実装されていて、4.9からC++14の機能として導入される予定です。 Clangでも3.2段階ですでに実装されているようです(対応状況にYesとしか書いてないので、どこから対応してるかは不明)。
C++1y 通常の関数の戻り値型を推論 - Faith and Brave - C++で遊ぼう
N3638 Return type deduction for normal functions ラムダ式では、return文から戻り値の型を自動的に推論してくれますが、通常の関数は推論してくれません。この提案は、ラムダ式と同じく、通常の関数でも戻り値型を推論できるようにしよう、というものです。 通常の関数で戻り値を推論してほしい場合は、関数宣言の戻り値型を「auto」にします。 auto f(); // 関数f()の宣言。戻り値の型は「不明」。 auto f() { return 1; } // 関数f()の戻り値型はint int x = f(); // x == 1 参照型を返したい場合は、戻り値の型をauto&にします。 int x = 3; auto& f() { return x; } int& r = f(); ここまでの機能は、GCC 4.8で-std=c++1yオプション
C++ポケットリファレンスについて書ききれなかった、いくつかのこと - Faith and Brave - C++で遊ぼう
昨日、『C++ポケットリファレンス』の紹介エントリを書きましたが、ここではそのエントリで書ききれなかったことを書きます。読者向けではなく、この本の著者とレビュアーのためにプロジェクトの記録として残すことと、本の執筆に携わる人に参考にしてほしい、という意図で書きます。 プロジェクトメンバの構成 『C++ポケットリファレンス』の執筆は、6人の共著者、編集者が1人と、5人のレビュアーが関わっています。ぼくはとりまとめ役です。 その内、レビュアーの一人である兎さんが、レビュー管理のためのRedmineを立てて運営してくれていて、同様にレビュアーの一人であるDigitalGhostさんが、原稿管理のためのGitリポジトリを用意してくれました。Gitリポジトリは、弊社ロングゲートのサーバーに置いてあります。 使用したサービスとツール 単著でレビュアーなしであれば、エディタで原稿を書き、それを編集者に送
C++1y SIMDライブラリの提案 - Faith and Brave - C++で遊ぼう
N3571 A Proposal to add Single Instruction Multiple Data Computation to the Standard Library ひとつのCPU命令で複数のデータを操作する、SIMD(Single Instruction Multiple Data)を抽象化したライブラリの提案。これは、スレッドを使用するタスク並列性に対して、データ並列性と呼ばれている分野の技術です。 この提案は、Boost.SIMDとしてBoostに提案される予定のライブラリが元になっています。Boost.SIMDについては、私が翻訳したスライド資料もあるので、合わせて参照してください(Boost.SIMDによる実用的なSIMDアクセラレーション)。 このライブラリは、SIMDを抽象化したpack型と、それに対して操作を行うaccumulate()やtransfor
Boost.Random ジェネレータの状態を保存・復旧する - Faith and Brave - C++で遊ぼう
Boost.RandomやC++標準の乱数ジェネレータは、シードと乱数生成された回数さえ覚えておけば、状態を復旧できます。 乱数生成は分布クラス内部で行われるので、そういうことがしたい場合は、分布処理内での乱数生成回数を覚えておくために、ジェネレータをラップして乱数が生成される度にカウントアップするクラスを用意する必要があります。 #include <iostream> #include <boost/random.hpp> class logged_generator { std::size_t& generate_count_; boost::random::mt19937& gen_; public: typedef boost::random::mt19937 engine_type; typedef engine_type::result_type result_type; lo
C++1y 文字列のjoin - Faith and Brave - C++で遊ぼう
N3594 std::join(): An algorithm for joining a range of elements コンテナを、指定した区切り文字を付けれ文字列化するjoin()関数が提案されています。 // カンマ区切りの文字列にする vector<string> v = {"a", "b", "c"}; string s = join(v, ","); assert(s == "a,b,c"); // 要素はintでもdoubleでも、文字列化できるならOK vector<int> v = {1, 2, 3}; string s = join(v, ","); assert(s = "1,2,3"); ちなみにBoostには、Boost.StringAlgoライブラリにjoin()関数があります。こちらが扱えるのは、stringのRangeだけですね。ただし、戻り値の文字列
C++1y 動的配列クラスの提案 - Faith and Brave - C++で遊ぼう
N3522 C++ Dynamic Arrays C99にある可変長配列がC++でもほしい、という動機から、std::vectorとは少し違う動的配列クラスが提案されています。 int n = 3; dynarray<int> ar(n); // 動的に要素数を決定する(その後追加、削除はできない) size_t size = ar.size(); // コンストラクタで設定した要素数を取得(3が返る) // イテレータによる操作 for_each(ar.begin(), ar.end(), [](int&) {}); コンストラクタで動的な要素数を決定し、その後、要素の追加・削除を行わないのが特徴です。 アロケータを設定できないインタフェースになっていますが、これは領域をヒープにとるかスタックとるかを、ユーザーに決定させない(隠蔽する)という目的があるようです。 現状、ムーブできない等、
C++1y 多相アロケータの提案 - Faith and Brave - C++で遊ぼう
N3525 Polymorphic Allocators C++11現在の標準アロケータであるstd::allocatorは、コンパイル時にアロケータが管理する型を決定するから使いにくい。なのでアロケータにType Erasureを使ってインタフェースを改善しよう、というのがこの提案。 具体的には、polymorphic_allocatorとmemory_resourceという、大きく2つのクラスを用意する。使い方： // 固定サイズアロケータ。 // 抽象クラスであるmemory_resourceを継承して実装する class FixedBufferResource : public memory_resource { void *m_next_alloc; std::size_t m_remaining; public: FixedBufferResource(void *buffer
Boost.Chrono/Dateが開発中らしい - Faith and Brave - C++で遊ぼう
2013年のBoostのGoogle Summer of Codeプロジェクトを眺めていたら、こんなのがありました。 Boost.Chrono/Date Complete the Boost.ChronoDate [1] library based on [2] to make it ready for review. [1] https://svn.boost.org/svn/boost/sandbox/chrono_date/ [2] https://svn.boost.org/svn/boost/sandbox/chrono_date/libs/date/doc/date.html This project will be mentored by Vicente J. Botet Escriba 今まで時間のみを扱っていたBoost.Chronoですが、日付を扱うプロジェクトが進めら
Constrained TemplateはC++14？ - Faith and Brave - C++で遊ぼう
Constrained standard library - SG8 Concepts 軽量コンセプト(Concept Lite)と呼ばれている制約テンプレート(Constrained Template)は、C++14に入れる予定で議論が進められています。 C++14は、元々はC++11に対する小さなバグ修正程度が考えられていたのですが(C++98に対するC++03みたいな)、今のところ制約テンプレートに加えて、ジェネリックラムダと、ラムダ式のムーブキャプチャといった言語機能追加も予定されていたりします。 それで制約テンプレートですが、今のところC++14に入れることを考えられているのは言語機能のみで、標準ライブラリの方は未対応の予定だそうです。なので、標準ライブラリが対応するまでは、便利なenable_ifくらいのつもりで使うのがいいかもしれません。
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
