constexprとrvalue参照問題 - とくにあぶなくないRiSKのブログ
constexprとメンバ関数の呼び分け問題 小ネタ - constexpr の文脈でconstメンバ関数と非constメンバ関数を呼び分ける - ボレロ村上 - ENiyGmaA Code このエントリで指摘されているように、constexprとメンバ関数の呼び分け問題があります。一時オブジェクトはconst修飾されていないために、constexprであるconst修飾メンバ関数が呼ばれないのが原因です。 template<typename T> struct X { T t; T& get() { /* 非const版 */ return t; } constexpr T const& get() const { /* const版 */ return t; } }; template<typename T> constexpr auto get(T&& t) -> decltype(
C++11 tuple implementation details (Part 1)
In his "Variadic Templates are Funadic" talk at GoingNative 2012 Andrei Alexandrescu outlines a "recursive" implementation of std::tuple. He also notes that most implementations arrange tuple members in memory in the "wrong" order, that is, std::tuple<int, double, std::string> will have a memory layout where the std::string comes first and the int comes last. The straightforward recursive implemen
C++0xの新機能、finalとoverride
gcc 4.7は、finalとoverrideを実装している。 finalとは、クラスの派生と、virtual関数のオーバーライドを禁止するための機能である。 struct B final { } ; struct D : B { } ; // エラー struct C { virtual void f() final { } } ; struct D : C { void f() { } // エラー、C::fはオーバーライドできない } ; これ以上説明する必要がないくらいに分かりやすい機能だ。現実的には、最底辺の基本クラスのvirtual関数のオーバーライドを禁止にするということはない。なぜならば、それは普通の関数とほぼかわりないからだ。あえて言えば、派生クラスで、同じシグネチャの関数を定義できなくする程度の意味しかない。大方、以下のような目的に使われるだろう。 struct A {
C++11 時代のクラス設計に関する提案 - 野良C++erの雑記帳
先日，ついに C++11 の主要な機能を一通り実装した GCC-4.8.1 がリリースされた． もう一方の主要な C++ コンパイラである Clang++ でも C++11 の機能は既に全て実装されており， 来る 6/05 に最新版の Clang-3.3 がリリースされ， C++11 対応が完了する見通しだ．*1 このような状況においては， C++11 への乗り換えを検討し始めているプロジェクトも多いことだろう． さて， C++11 では， C++98/03 との互換性を保ちつつ，クラス設計に大きな影響を齎す変化が採用された． すなわち， Move Semantics である． この登場により， C++11 で「良い」とされるクラス設計は， C++98/03 時代とは若干 異なったものとなる． そこで，この記事では，筆者が C++11 において「良い」と考えているクラス設計を提案してみたい
規格書で読むC++11のスレッド
5. Free Lunch Is Over 5 ✤ タダ飯の時代は終わった ✤ 2005年 マイクロソフトの Software Architect である Herb Sutterの言葉 ✤ CPUコアのクロック数向上が頭打ちとなり、時 を待てば自ずとソフトウェアの性能が上がるとい う時代の終わり ✤ →並行プログラミングが重要に 7. #include <iostream> #include <thread> #include <vector> #include <functional> int main() { std::vector<int> data = GetSomeData(); int sum; std::thread th( [](std::vector<int> const &data_, int &sum_) { sum_ = 0; for(auto n : data_)
hello
hello [ "::ffff:130.211.0.89", "GET", "/wp/?p=189", {}, { "host": "wate.jp", "user-agent": "HatenaBookmark/4.0 (Hatena::Bookmark; Analyzer)", "cache-control": "no-cache", "accept": "*/*", "x-cloud-trace-context": "b634a78636bd494a8598c1dbaa124296/12014708019408460604", "via": "1.1 google", "x-forwarded-for": "153.120.13.138, 35.227.238.79", "x-forwarded-proto": "http", "connection": "Keep-Alive" }
オーバーロードに優先順位を付ける - とくにあぶなくない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
template キーワード - Cube Lilac
RapidXML でのコンパイルエラー - Life like a clown で問題になっていた事がようやく解決できたのでメモ． 本題に入る前に．C++ では，typename キーワードは 2 通りの使い方があります．一つはテンプレート引数として 「型」を取ることを宣言する場合で，もう一つはテンプレートクラス内において，後続する記述が「型名」である事を明示する場合です． typename には、もう一つ、後続する識別子が 「型名」であることを明示するという重要な働きがある。 ・・・（中略）・・・ template<class T> class Foo { public: void foo() { T::value_type *p; } }; ここで太字にした文は、ポインタ p の宣言ではなくて、 T::value_type と p の乗算とみなされてしまう。 このような時には、プログラ
Template Aliases - meryngii.neta
C++11 Advent Calenderの26日目の記事です。 クリスマスまで残り365日と迫りましたね。C++11 Advent Forever. さて、C++11で導入された機能の一つがTemplate Aliasesです。元々はTemplate Typedefなどとも呼ばれていました。他の主要な機能と比べて大して目立っていないですが、細かいポイントがいくつかあるような気がします。 Template Aliasesとは？ C言語でもtypedefを使えば型に好きな別名を付けることができます。C++のクラスも型ですからtypedefできます。ではテンプレートクラスはどうかというと、C++03まではそのままの名前で使うしか無かったのです。Template Aliasesならテンプレートに別名を与えることができます。そう、C++11ならね。 template <typename T> us
C++11 で enable_if を書いてみる - C++でゲームプログラミング
C++er は C++11 で書くことを強いられているんだ！！(集中線 ってことで C++03 の enable_if を使ったコードを C++11 で書きなおしてみたいと思います。 べ、べつにぼっち Boost.勉強会じゃないんだからねっ！ まだ C++11 のコードは手探りで書いているので、もしかしたら今後もっとスマートな書き方が出てくるかも知れません。 そういう意味でも今後が楽しみですね。 [元にする C++03 コード] #include <boost/type_traits/is_integral.hpp> #include <boost/utility/enable_if.hpp> template<typename T> void func(T x, typename boost::enable_if<boost::is_integral<T> >::type* =0){ s
C++0xにおけるenable_ifの新しい使い方
現在、BoostのML上で、C++0x上における、興味深いenable_ifの使い方が示されている。簡単にいうと、こうなる。 // Never defined extern void * enabler ; template < typename T, typename std::enable_if< std::is_arithmetic<T>::value >::type *& = enabler > void f( T ) { std::cout << "T is arithmetic" << std::endl ;} template < typename T, typename std::enable_if< std::is_pointer<T>::value >::type *& = enabler > void f( T ) { std::cout << "T is point
rvalue reference、move semanticsに挫折した人のための再入門解説 - Ideals and Reality
この記事は C++11 Advent Calendar 14日目の記事です。 何がわかりにくいのか C++11から正式に導入される新機能である、move semanticsとrvalue referenceですが、なかなかこれを理解出来ないという人が多いようです。 ちょっと考えればなるほど、と思いますが私が思うにこのわかりにくい最大要因はやはりその名前のせいかと思います。 特にrvalue referenceですが、日本語に訳すと右辺値参照という呼ばれ方をしています。 そもそも右辺値や左辺値という名称はC言語時代の流れでそのまま引き継いでいるものであり、右辺値参照という名称は言わば後付けで名称されたものです。 実際に使用する際に右辺値なのか左辺値なのかを意識している人は殆どおらず、これが余計な混乱を招いているのではないかと思います。 ではコードを書いてみて理解しましょう。 lvalueとr
いまさらVariadic Templatesをまとめてみる - Drawing Codes
この記事はC++ Advent Calendar 2012の13日目です。 Variadic Templatesとは C++11ではテンプレートで"."を3つ付けることが出来るようになりました、 こんな感じで。 template <class... Ts> これで何が出来るのかというと、0個以上の任意のテンプレート引数を受け取れるようになります。このとき、Tsをテンプレートパックと呼びます。 Variadic Templateはテンプレートクラスと関数テンプレートの両方で使うことが出来ます。 テンプレートクラスの場合 template <class... Ts> class hoge; このように書かかれていれば、 hoge<> hoge< long > hoge< int, short > こんな感じで型を渡すことができるようになります。 また、class...のように型だけでなくint
コルーチンのお話 - Garbage Collection
以前、こんなネタを書いていました C++でコルーチンを使う、というものです http://blogs.wankuma.com/izmktr/archive/2010/04/28/188507.aspx わんくまはよく落ちるので、上の記事にあるソースを転載しておきます #include "coroutine.h" class Test:public Coroutine{ int i; public: bool Foo(){ CoroutineBegin(); for (i = 1; i <= 20; i++){ printf("%d ", i); yield; if ((i % 3) == 0){ printf("fizz "); yield; } if ((i % 5) == 0){ printf("buzz "); yield; } } CoroutineEnd(); return tr
type_traits入門 std::enable_if - とくにあぶなくないRiSKのブログ
std::enable_if template <bool B, class T = void> struct enable_if; enable_if は B が true の時に typedef T type; を持つ。B が false の時は type を持たない。T のデフォルトは void #include<type_traits> static_assert(std::is_same<std::enable_if<true>::type, void>::value, "::type"); static_assert(std::is_same<std::enable_if<true, int>::type, int>::value, "::type"); static_assert(std::is_same<std::enable_if<true, unsigned>::typ
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
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Wandbox
Compile-time 'String' Manipulation with Variadic Templates
http://blog.wonderrabbitproject.net/2013/02/ctemplatetypename.html
ユークリッドの互除法で最大公約数＆最小公倍数 - ねむれぬひつじ