C++11TMPによるコンパイル時コンパイラltmpcを支えるテンプレートメタプログラミングテクニック - Qiita
C++のテンプレートメタプログラミングによるコンパイル時C言語コンパイラ、「ltmpc」を作っています。まだまだ実装すべきことはたくさんありますが、最低限動くようになってきました。 ltmpcのはなし 実は、以前にC11のフルセットをサポートするC言語のコンパイラがC++TMP上に実装されたことがありました。 コンパイル中にコンパイルする「コンパイル時Cコンパイラ」をつくった話 しかし、この自動生成法のアプローチでは、メモリ使用量が爆発する問題から、残念ながら現存するコンパイラで現実的なコンピュータ上で動かすことはできません。 テンプレートメタプログラミングで、C言語のコンパイラほど大きな「動く」プログラムが作られたことは今までになかったように思われます。今回は、いかにして「動く」TMPプログラミングを行っていくか、というおはなしをしたいと思います。 既存技術の紹介 constexprメタ
Super Template Tetris
Let me share with you a vision of the future which offers hope. It is that we embark on a program to counter the awesome Runtime threat with measures that are preemptive. Let us turn to the very strengths in templating that spawned our great metaprogramming base and have given us the beautiful C++ we enjoy today. Today, I want to share an important first step with you: Super Template Tetris. A Ren
The Grand C++ Error Explosion Competition
This is just a reminder that the submission date for tgceec 2015 is at the end of the month. If you have not submitted your entry yet, now is the time to start coding. One week has passed and we have received many interesting submissions. To encourage people towards ever larger errors, here’s a roundup of the results thus far. In the oneshot category the leading submission manages to achieve over
アセンブリ読んだら負けかなと思ってる - 誰かの役に立てばいいブログ
子供のころからできるだけ手抜きして成果を挙げることだけは長けている山本です。 今回は、C/C++ で作ったプログラムが運用中にクラッシュするときのデバッグ方法のお話しです。 開発中のデバッグは gdb などでソース追いながらデバッグできますが、運用中ですと strip していたり最適化していたりしてデバッグが難しくなります。 そもそも、いきなりクラッシュすると情報が残らずに困ってしまいます。そんなときどうするか。 Step1. スタックトレースを出力する こんな関数を用意しましょう。Linux 以外の人はそれなりに実装してください。 #include <execinfo.h> #include <unistd.h> void dump_stack() { void* bt[100]; int n = backtrace(bt, 100); backtrace_symbols_fd(bt,
C++ Grandmaster Certification [CPPGM]
Prospective Students What is the C++ Grandmaster Certification? (About/FAQ) Pre-register to be notified when enrollments open for next run. Current Students: C++ Grandmaster I (2013-2014) In part 1 of the course you will develop a series of components corresponding to all nine phases of translation of C++. You will also exhaustively study the complete latest C++ specification (including the core l
Effective C++11（の種） - yohhoyの日記
Scott Meyers氏によるEffective C++11ネタ集を見つけたのでInitial Thoughts on Effective C++11より抄訳。 2014-03-23追記：本記事の内容はBook Report: New Title, New TOC, New Sample Itemにてアップデートされている。（2013-03-25 Effective C++11: Content and Status） 2013-04-18追記：並行/並列関連だけ詳細化された姉妹版→Effective C++11/Concurrency関連の目次草案 明示的な型宣言よりもautoを使おう オブジェクトの生成では () と {} を区別しよう ただしauto + { expr } == std::initializer_listは忘れずに（auto x{1};/auto x={1};ではs
libdcompile
あ\n こんにちは、fadisです。★最近話題の某A社で働いています。★きな言語はC++、好きなエディタはVim、好きなディストリはGentooですが、昨日東京の方でやっていた闇鍋プログラミング勉強会によると、★この3つはTLから変態を検出するキーワードとして使えるらしいです。ちょっと、こんなに健全な人が変態に分類されるとか誤認識にも程があると思うのですが、\n こんにちは、fadisです。★最近話題の某A社で働いています。★きな言語はC++、好きなエディタはVim、好きなディストリはGentooですが、昨日東京の方でやっていた闇鍋プログラミング勉強会によると、★この3つはTLから変態を検出するキーワードとして使えるらしいです。ちょっと、こんなに健全な人が変態に分類されるとか誤認識にも程があると思うのですが、\n こんにちは、fadisです。★最近話題の某A社で働いています。★きな言語はC
C++ のヘッダファイルを #include するだけで使える GC 書いてみた - kazuhoのメモ置き場
そういえば C++ のヘッダファイルを #include するだけで使える GC を書きました。使い方は下のサンプルコードを見てもらえばいいとして、特徴としては、 ヘッダファイルを #include するだけで使える C++ の標準機能だけを使っているのでポータブル*1 mark-and-sweep, precise GC ってなあたりでしょうか。コードは GitHub - kazuho/picogc: a tiny, portable, precise, mark-and-sweep GC in C++ にあります。 C++ のプロジェクトで、ちょっとここだけは GC がほしいんだけど、ってなケースで使いやすいと思います。速度も、そこそこでるんじゃないかな*2。 というわけで、以下、サンプルコード。軽く説明しておくと、 GC を使うクラスは picogc::gc_object を継承する
privateメンバに外部から非侵入的にアクセスする - redboltzの日記
はじめに C++では通常、クラスのprivateメンバに外部からアクセスすることができない。 アクセスするためには、friend関数やfriendクラスを用いる。 しかし、 http://bloglitb.blogspot.com/2010/07/access-to-private-members-thats-easy.html で話題となり、Daveが、 https://gist.github.com/1528856 にエッセンスを抽出したコードを起こしているが、privateメンバに外部から合法的にアクセスする方法がある。 Daveのコードのコメントだけで必要十分かもしれないが、私は理解するのにかなり時間がかかってしまったので、その経緯を忘れないためにもここに書いておきたいと思う。 メンバポインタの復習 まずは、このコードを見て欲しい。 http://ideone.com/dGRqg
Multi-Dimensional Analog Literals in C++
Version 2006-05-24, by Eelis This software has been released into the Public Domain Table of contents Tutorial Changelog Header analogliterals.hpp 1. Tutorial (download as .cpp) // Note: The following is all standard-conforming C++, this is not a hypothetical language extension.#include "analogliterals.hpp" #include <cassert> int main () { using namespace analog_literals::symbols;// Consider: unsi
Implementing Scheme in C++ - Special forms | Solarian Programmer
Implementing Scheme in C++ - Special forms Posted on November 21, 2011 by Paul The code for this article is on GitHub: https://github.com/sol-prog/schm. In my last post I’ve started to implement a Scheme interpreter in C++. This article continues with the implementation of six Scheme special forms: quote, if, set!, define, lambda and begin. I’m not, currently, interested in the interpreter’s perfo
C++のテンプレートでラムダ計算と型推論 - 貳佰伍拾陸夜日記
C++のテンプレートを, コンパイル時に走るプログラムを記述するための言語だと思うと, この言語はチューリング完全なので, 当然ラムダ計算のインタプリタを実装できるし, そのラムダ計算の項の型を推論することもできる. できるからと言って馬鹿みたいにやってしまったという話. ソースコードは末尾. テンプレートメタプログラミング テンプレートをプログラミング言語だと思うと, 構文はともかく, 副作用がなく関数(っぽいもの)を淡々と定義してパターンマッチして再帰呼出しして, という感じでとても関数型っぽい. 関数と返り値 テンプレートメタプログラミングではテンプレートクラスを関数だと思って使う. そして返り値はtypedefして返す. たとえば任意の型S, Tを受け取って前者を返す関数firstは template<typename S, typename T> struct first { t
More C++ Idioms - Wikibooks, collection of open-content textbooks
C++ has indeed become too "expert friendly" -- Bjarne Stroustrup, The Problem with Programming, Technology Review, Nov 2006. Stroustrup's saying is true because experts are intimately familiar with the idioms in the language. With the increase in the idioms a programmer understands, the language becomes friendlier to them. The objective of this open content book is to present modern C++ idioms to
オーバーロードに優先順位を付ける - とくにあぶなくないRiSKのブログ
動機 enable_switch - 複数の重複しうるコンパイル時条件で、SFINAE によるオーバーロードを書くには - ボレロ村上 - ENiyGmaA Code これと同じです。重複する条件があるときにSFINAEだけではめんどうかつDRYじゃないことがあります。スマートな解法がほしいです。 問題 以下はコンパイルエラーになります。int を関数 f へ渡すと二つの関数のオーバーロードを解決できないからです。 #include<type_traits> #include<iostream> extern void* enabler; template<class T, typename std::enable_if<std::is_same<T, int>::value>::type*& = enabler> void f(T&&) { std::cout << "int" << s
emscriptenでC++からJavaScriptへ変換しよう
準備 emscriptenを使ってC/C++のソースコードをJavaScriptのソースコードへ変換するには、次のソフトウェアやそのコマンドが必要です。 Clang&LLVM clang / clang++ (gccとかg++とかclとかに相当するものですね) opt (llvmのコードを最適化するプログラム(Optimizer)です) llvm-link (リンカ) llvm-dis (逆アセンブラ) V8 JavaScript Engine d8 (JavaScriptをコンソールから実行するプログラムです。emscripten自体が一部JavaScriptで書かれているようで、その実行に必要です。SpiderMonkeyでも良いそうですが、ビルドが簡単そうだったV8にしました) emscripten emscripten.py等 (llvmの逆アセンブラテキストからJavaScrip
Google Sites: Sign-in
Not your computer? Use a private browsing window to sign in. Learn more about using Guest mode
axilmar/a5gc - GitHub
This is a very simple garbage collector I wrote in order to experiment with the idea of tracing root ptrs from an object instead of tracing objects from root ptrs. The collector deletes objects as soon as they are unreachable, including cyclically-referenced objects. Objects are deleted in deterministic order, except if there are cycles. If there are cycles, then the collector breaks the cycle by
Monads in C++ | Bartosz Milewski's Programming Cafe
Monads in C++ Posted by Bartosz Milewski under C++, Functional Programming, Haskell, Monads, Programming, Type System [32] Comments Follow @BartoszMilewski “You must be kidding!” would be the expected reaction to “Monads in C++.” Hence my surprise when I was invited to Boostcon 11 to give a three-hour presentation on said topic, a presentation which was met with totally unexpected level of interes
dag_vector: ランダムアクセス可能な圧縮配列 - Preferred Networks Research & Development
こんにちは、この夏はシルキードライで乗り切りたい岡野原です。 今日は最近公開したC++のオープンソースであるdag vectorについて紹介します。 github: dag_vector ライセンスは修正BSDライセンスです。 dag vector (direct accessible gamma code vector) は値を圧縮して格納したまま任意の場所の値を高速に参照可能な配列ライブラリです。しかもデータ末尾への追記が可能です。 dag vectorはstd::vectorのように利用できます。下にいくつか例を見ていきましょう。 dag_vectorの例 #include "dag_vector.hpp" // dag_vectorは0以上の正整数の配列を扱う配列。 dag_vector dv; // 値はいつでも追加可能。追加された値は圧縮して格納される // 正整数xは2lg(
How to write simple HTTP proxy with Boost.Asio
In this article I describe the process of writing of a simple cross-platform HTTP proxy. Please, note that this code isn't production-ready - it was used as simple demonstration on how it could be implemented, and contains obvious bugs. What we need To develop this example (source code) I used Boost version 1.35. To build example, you can use cmake (but you can also build sources manually). To con
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
