C++のcerealのシリアライズが快適すぎるやばい - Qiita
cerealって? cerealとは、C++11用のjson, xml, binaryシリアライズライブラリです。似たようなものにboost::serializationや、googleのprotocol buffersなどがあります（ほかにもまだありそうですが）。 ではなぜcerealなのか？ cerealには他の二つにはない利点として、 ヘッダーオンリー ライブラリが小規模 というのがあります。 この性質は移植作業を大変楽にしてくれます。 というのも自分、boost::serializationをしばらく使っていたのですが、iOSでも使おうとしてビルドで問題がおきて、もっと良いシリアライズライブラリがないものかと探した経緯があります。 シリアライズしたいケースとして、異なるプラットフォーム同士で通信するプログラムを作りたいケースがありますので、この性質は大いに作業を楽にしてくれます。
Template Haskell入門 - think and error
Template Haskell(以下TH)超入門です。 まあ入門するのは僕ですが。 Haskellの易しいエントリがあまり見あたらないため、僕が書いていくことにしようとか考えたり。 続き よかったらこちらもどうぞ。 続・Template Haskell入門 -- QuasiQuotes編 - think and error 前提 GHC7.0.2で。 GHC7.0.1からQuasiQuotesの記法が一部変更したようです。 ..と下書きを書いて既に数ヶ月が経とうとしています。 実はこの記事はHIMA' #6に参加したことをきっかけとして書いています。 partake.in 7/24(Sun)にはスタートHaskellが開かれます！ http://atnd.org/events/17468 ....それも終わって既に２ヶ月経ってますね。やる気ないですね僕。 しかしHaskellは熱いですね
テンプレートの推論された型をお手軽確認 - Qiita
テンプレートを書いていて、推論された型を確認したい テンプレートを記述していると 「この引数を与えたときには、Tがどう推論されるのか？」 なんて思うことは良くありますよね？ 嗚呼、そんなとき、どーしたらよいのでしょーか？ たとえば template < typename T > void f(T&&){} void g(int const&){}; int main(){ f(g); } この場合のTがどう推論されるのか知りたい！ と思ったとき、どうしますか？ 諦める IDEに頼る typeid.name()を使う Boost.Typeindexを使う Attributeを使う（C++14） IDEに頼る フォーカスすると情報が表示されるのを利用する IDEを使っている場合は概ねこれで事足りる typeid.name()を使う ヘッダをインクルードして この方法では実行時までわからない型情
Home - Metashell
Home Metashell Motivation License Getting Metashell Supported platforms Supported compilers Binary installers Building Metashell User manual Getting started The environment in Metashell Using different compilers Troubleshooting Embedding Metashell How to... Reference The pragmas MDB commands PDB commands The built-in headers Engines Developer guide Building Metashell Creating a Metashell release T
boost::optionalをパターンマッチする関数 - Faith and Brave - C++で遊ぼう
match function on sum types - std-proposals Vicenteさんが標準向けに提案していた関数を元に、boost::optional用のパターンマッチ関数を作ってみました。 実装 shand/match.hpp shand/type_traits/is_callable.hpp コード例 libs/match/example/match.cpp テスト libs/match/test/match.cpp インタフェース： // shand/match.hpp namespace shand { // 1引数版 template <class T, class F> void match(boost::optional<T>& x, F f); template <class T, class F> void match(const boost::op
c++スレより 「クラスの内側で定義したクラステンプレートを特殊化する」 - matsutakegohan1の日記
何の気なくのぞいてみたら、2chって宝の山なのですね。 過去スレとかにも面白い書き込みがたくさんあり、幾つかがdatに行く前にこうやって張れたらと思います。 91 名前： デフォルトの名無しさん 投稿日： 2007/09/30(日) 20:19:13 クラスの内側で定義したクラステンプレートを特殊化する、 class X { template<typename T> class Y {}; template<> class Y<int> {}; }; のようなコードは、VC++(2003/2005)ではコンパイルできますが、g++3/4では error: explicit specialization in non-namespace scope ‘class X’ というエラー になってしまいます。 YをXの中ではなく、名前空間スコープで template<> class X::Y {}
C++ template の(部分)?特殊化ができるとき、できないとき
C++ template の（部分）特殊化ができるとき、できないとき STL はまあ普通に使う、くらいの軟弱な知識で C++ を使っていると、クラス内で関数テンプレートの特殊化をしようとしてコンパイルエラーになって、なんでここで特殊化できないんだよ〜と愚痴を言っていたら、さらに恐ろしいことに、特殊化はできないのに部分特殊化はできる場合に遭遇したりして、 C++ の闇に触れた気分になるのだけど、実はそうでもないという話（少なくとも、ユーザの側から理解するだけなら、ね）。 （部分）特殊化できる条件 ややこしく感じる理由は、特殊化できる条件と、部分特殊化できる条件が全く別だから。実はそんなに複雑ではない。 特殊化できる OK: 名前空間スコープで定義 NG: クラススコープで定義 部分特殊化できる OK: クラステンプレート NG: 関数（⊃メンバ関数）テンプレート 例 template<cla
C++勉強会in広島プレゼン資料
Pythonの処理系はどのように実装され，どのように動いているのか？ 我々はその実態を調査すべくアマゾンへと飛んだ．
C++ は Structural Polymorphism らしい: いげ太のブログ
C++ を知らずに育った僕にはどういう意味か皆目わからず。 C++ ほど Structural Polymorphism 大好きな言語を他に私は知らない。 d.y.d.: Structural C++ とはいえ、自称 F#er としては Structural Polymorphism と聞いて捨て置くわけにはいかないぜ。足らない脳内メモリをフル GC して調べてみた。時系列はぐちゃぐちゃだが、わかりやすさを優先して以下の順序で読み進めるのがおもしろげ。 template vs generics Windows Developer Magazine 01月号 「世界はオブジェクトの海に浮かぶ」 Generics と template - odz buffer C++ のテンプレートでダックタイピング - bkブログ 2008-05-07 - Cry’s Diary スレッド: [csharp
Expression Template - Faith and Brave - C++で遊ぼう
operator+ - * / のような演算子の一般的な実装では一時オブジェクトのコストが発生します。 Vector operator+(const Vector& l, const Vector& r) { const std::size_t n = l.size(); Vector tmp(l); for (std::size_t i = 0; i < n; ++i) tmp[i] += r[i]; return tmp; } そのため、以下のような式を書いた場合 Vector x, y, z, t; t = x + y + z; x + y + z では 2 つの一時オブジェクトが生成されてしまうのです。 以下のように書けば一時オブジェクトは生成されませんが const std::size_t n = x.size(); for (std::size_t i = 0; i < n;
TMPとその周辺事情について～C++(fork)AC2013/12/05～ | 南山まさかずのブログ
こんにちは、南山まさかずです。 C++ (fork) Advent Calendar 2013ということで、TMPとその周辺事情について思うことを書いていこうかなとか思ったり思わなかったり。 しかし、この企画参加人数めちゃ少ないけど大丈夫なのかな。 では行きます。 この記事を読む皆さんはきっとTemplateが何とかそういったことは説明するまでも理解してくれる人ばかりだと思うのでTemplateに関する説明はすっ飛ばします。 Templateを活用してコンパイル時に行われるプログラミング、それがTemplate Meta ProgrammingことTMPです。 それは、コンパイル時に型を操作し、鮮やかに型を生み出す手法。 そう、TMPは人類の夢です。 義務です。 constexprが市民の義務ならTMPは人類の義務です。 取り組まなければなりません。 きちんと取り組むには既存のコードを再利
C++テンプレート集 | 株式会社きじねこ
ここでは、noocyte さんのサイト内にある「C/C++ 関数・マクロ集」に掲載されている内容を、C++ のテンプレートを用いて記述しなおしていきます。とはいえ、中には実現不可能なものや、標準ライブラリで実現できてしまうものもありますので、その辺りは完全に一対一対応にできないかもしれません。 ここに掲載しているコードを丸写しして利用していただくことに制限は課しません。ただし、元々パロディとして始めたこともあり、設計方針に一貫性がありません。また、識別子の命名規則もいい加減です。お使いの処理系で正しく動作することを保証するものでもありません。ご参考程度にとどめておかれることをお勧めします。 noocyte さんの関数・マクロの焼き直しだけでなく、オリジナルのものも追加しています。101.以降は当サイトのオリジナルです。 書籍紹介 C++テンプレートテクニック επιστημη [著] Mo
Boost.Variant の assign の処理 - melpon日記 - HaskellもC++もまともに扱えないへたれのページ
かなり面白かったので書いてみます。 代入する型が一致する場合 まずは小手調べ。簡単に代入できる場合までの処理。 Boost 1.40.0 では以下の実装になっています。 void variant_assign(const variant& rhs) { if (which_ == rhs.which_) { detail::variant::assign_storage visitor(rhs.storage_.address()); this->internal_apply_visitor(visitor); } else { assigner visitor(*this, rhs.which()); rhs.internal_apply_visitor(visitor); } } template <typename T> void assign(const T& rhs) { det
静的型付け言語におけるダックタイピング (Type Erasure) - Cube Lilac
第127回 Ruby vs Java ダックタイピングとインタフェースで見る多態性 - bingo_nakanishiの他言語出身者のためのPerl入門 を読んで、「静的な型付け言語もやればできる子なんです」と言うところを少しは見せる事ができればと、今さらなネタですが書き起こしてみました。ただし、ジェネリックに対応した言語である必要があります。 元の記事では Java でしたが、Java の環境がなかったので C++ で記述しています。Java も Java 5.0 以降（？）からジェネリックを取り入れたらしいので大きな違いはないと思います。 前置き いま、このようにhumanがtouchすると、おのおのの動物が鳴くソースを書いてみる。duck（アヒル）はhuman（人間）に触られると「ガーガー」と鳴き、dog （犬）はhuman（人間）に触れると「ワンワン」と鳴くとする。 第127回 R
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Template argument deduction - cppreference.com
関数テンプレートの部分特殊化 - 逃避メモ
C++ Template Meta Programming の紹介＠社内勉強会
GitHub - minamiyama1994/FTMP: TMP library
Is it possible to figure out the parameter type and return type of a lambda?
Jinja — Jinja Documentation (3.1.x)