typenameが必要な理由 - Faith and Brave - C++で遊ぼう
『プログラミング言語C++』 C.13.5 typenameとテンプレート テンプレートを使ったプログラムでは、なぜ型名にtypenameを付ける必要があるのだろうか 以下のコードはどちらもエラーになる template <class Container> struct hoge { typedef Container::iterator iterator; // エラー }; template <class Container> void foo(Container& c) { Container::iterator it; // エラー } テンプレートは使わなければコンパイル(コード生成)されないが構文エラーくらいは検出しなければならない だが、構文チェックの時点でコンパイラはContainer::iteratorが「型」なのか「staticメンバ」なのか判別できない そこで、以下の
Boost.Functionの実装技術(1) - Type Erasure - Faith and Brave - C++で遊ぼう
Boost.Functionの実装方法はいくつかのサイトで紹介されているので(こことかここ) 私もBoost.Functionの実装技術について解説しよう Boost.FunctionではType Erasure(型削除型消去)というテクニックが使用されている 実際にBoost.Functionを作りながら解説しよう Boost.Functionは関数ポインタと関数オブジェクトを保持するようになっているので 今回は以下の使い方ができるように実装する int func(); struct func_obj { int operator()(); }; // 関数ポインタ・関数オブジェクトの保持 function<int> f1 = func; function<int> f2 = func_obj(); // 関数ポインタ・関数オブジェクトの実行 int result_func = f1()
C++1z インクルードするファイルが存在するかを確認する__has_include - Faith and Brave - C++で遊ぼう
C++1zから、インクルードするファイルが存在するかを確認するプリプロセッサ機能が追加されます。 __has_include式の引数として、ダブルクォーテーションで囲まれたインクルードファイル名、山カッコで囲まれたインクルードファイル名、もしくはプリプロセッサトークン名を指定することで、プリプロセス時にそのファイルが存在するかを#if／#elifで確認できます。 // <optional>ヘッダが存在していたらインクルードする #if __has_include(<optional>) #include <optional> #endif // "optional"ヘッダが存在していたらインクルードする #if __has_include("optional") #include "optional" #endif #define OPTIONAL_HEADER <optional> //
コンストラクタに用途別の名前を付ける - Faith and Brave - C++で遊ぼう
最近のC++標準ライブラリとBoostのちょっとした流行りな気がしますが、タグディスパッチのタグをユーザーに明示的に指定させることで、関数オーバーロードを容易にする方法がいくつかの場所でとられています。 たとえば、Boost.Containerのvectorには、以下のコンストラクタがあります。 // タグの定義 struct default_init_t {}; constexpr default_init_t default_init {}; // vectorのコンストラクタ vector::vector(size_type, default_init_t); // 3要素の配列を用意し、各要素の値を未初期化状態にする vector<T> v(3, default_init); この場合、単に3という1引数を渡すだけだと値初期化したリサイズ操作になりますが、default_initと
C++0x ratio - Faith and Brave - C++で遊ぼう
C++0x では、有理数(分数)定数である、 std::ratio メタ関数が用意されます。 (レイシオと読みます) // <ratio> namespace std { template <intmax_t N, intmax_t D = 1> class ratio { public: static const intmax_t num = N; static const intmax_t den = D; }; } // namespace std ratio は、 C++0x の DateTime ライブラリである で、時間を表すために使用されて たとえば、 1/3 秒のようなものを表現できるようになります。 また、 ratio のためには以下のようなものも提供されます。 加減剰余 namespace std { template <class R1, class R2> stru
duration_castと浮動小数点数型 - Faith and Brave - C++で遊ぼう
C++11から導入された時間ユーティリティライブラリChronoには、durationという経過時間を表す型があります。 この型の第1テンプレート引数には経過時間を表す数値型、第2テンプレートには単位を表すコンパイル時有理数を指定します。 using milliseconds = duration<integer_type, ratio<1, 1000>>; using seconds = duration<integer_type, ratio<1, 1>>; この第2テンプレート引数を使って、ミリ秒から秒へ、秒からミリ秒へ、といった単位の変換ができます。 たとえば、1秒をミリ秒に変換すると、1000ミリ秒になります。 #include <cassert> #include <chrono> using namespace std::chrono; int main() { second
Boost.Serializationで遊んでみた - Faith and Brave - C++で遊ぼう
これ使うとXMLの扱いがとっても簡単になりますね 基本的にはシリアライズしたいクラスのメンバにserialize関数を追加するだけです ・テキスト出力 #include <fstream> #include <string> #include <boost/serialization/serialization.hpp> #include <boost/serialization/nvp.hpp> #include <boost/serialization/string.hpp> #include <boost/archive/text_oarchive.hpp> class Person { public: int age; std::string name; private: friend class boost::serialization::access; template <cl
C++14でのreturnとreturn (…)の違い - Faith and Brave - C++で遊ぼう
C++14で導入されるdecltype(auto)を使うと、returnとreturn (…)で戻り値の型が変わる。前者は値、後者は参照となる。 decltype(auto) f() { static int value = 3; return value; } decltype(auto) g() { static int value = 3; return (value); } int main() { int f_result = f(); int& g_result = g(); } 参照 C++11/14 and return( … ) vs return - StackOverflow C++14 通常の関数の戻り値型を推論
エラー値と正常値を表す汎用的な型：expected - Faith and Brave - C++で遊ぼう
Andrei Alexandrescuが考案したExpected<T>というクラスを、いまBoostとC++標準に提案する動きがあります。 Vicente Botet EscribaさんとPierre Talbotさんが現在開発を進めているexpectedクラスは、エラー値と正常値を汎用的に表す型です。boost::optionalやboost::variantの亜種で、HaskellやScalaにあるEitherをエラーに特化させたものです。Haskell的にはMonadErrorに相当するそうです。私も以前、似たようなのを書きました：「エラー許容型を作った」。 ゼロ割りを適切にハンドリングする、安全な割り算関数に例外を使うと、以下のようなコードになります： struct DivideByZero: public std::exception { … }; double safe_div
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
cpprefjp C++14の言語機能解説が完了しました - Faith and Brave - C++で遊ぼう