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
[C11] _Generic を使ってみた
#define PRINTF_FORMAT_PARAM(prefix, x, postfix) _Generic((x) \ , char : prefix "%c" postfix \ , signed char: prefix "%hhd" postfix \ , unsigned char: prefix "%hhu" postfix \ , signed short: prefix "%hd" postfix \ , unsigned short: prefix "%hu" postfix \ , signed int: prefix "%d" postfix \ , unsigned int: prefix "%u" postfix \ , signed long: prefix "%ld" postfix \ , unsigned long: prefix "%lu" post
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 {
yohhoyの日記
C++2c(C++26)標準ライブラリに追加される多次元部分ビューstd::submdspanについて。 // <mdspan>ヘッダ namespace std { template< class T, class E, class L, class A, class... SliceSpecifiers> constexpr auto submdspan( const mdspan<T, E, L, A>& src, SliceSpecifiers... slices) -> /*see below*/; } まとめ： 多次元ビューstd::mdspan（→id:yohhoy:20230303）から部分ビューを取り出す(slice)関数。 第2引数以降のスライス指定子リストにより、各次元のスライス方法(slicing)を指定する。 単一インデクス：単一値。指定次元に対するインデクスを固
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のスレッド
Boost.勉強会 #21 札幌「C++1zにstring_viewが導入されてうれしいので紹介します」Hiro H.
std::make_shared から private コンストラクタを呼び出す - 野良C++erの雑記帳
std::make_shared で private コンストラクタを呼ぶには，関数内クラスと継承を利用すれば良い． class hoge { hoge(); // private ctor public: static std::shared_ptr<hoge> create() { // return std::make_shared<hoge>(); // こう書きたいが，コンパイルエラー // 代わりに関数内クラスを利用する struct impl : hoge { impl() : hoge() {} }; auto p = std::make_shared<impl>(); return std::move(p); } }; 継承ではなく包含を使うことも可能だし，関数内クラスではなくクラス内クラスを使うことも出来る． class hoge { hoge(); // privat
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 の乗算とみなされてしまう。 このような時には、プログラ
rvalue reference 補足
前回、rvalue reference 完全解説なる記事を書いた所、ある程度の反響を得た。このような個人のブログでは、数人が思う所を書けば、まあ、ある程度の反響と言って差し支えないのである。 しかるに、皆rvalue referenceの理解に苦しんでいる様子だ。果たしてあの解説が至らなかったのであろうか。しかし、あの解説は、これ以上ないくらい簡単に書いたはずである。 実際、value referenceは、名前の通りのrvalueへのreferenceに過ぎぬのだし、std::move()とstd::forward()は、キャストに過ぎぬのだ。std::move()は、rvalueへのキャストであり。std::forward()は、lvalueをlvalueへ、rvalueをrvalueへキャストするのである。それだけのことなのである。 しかし、現実に理解に苦しんでいる者がいる。これは一
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
関数内で constexpr の場合のみ static_assert する - C++でゲームプログラミング
さて、constexpr を使っていると次のように関数内で static_assert を行いたい場合があると思います。 template<typename T> void check(T t){ // t を参照して static_assert にしたい static_assert(t % 2 == 0, ""); } constexpr int a = 2; check(x); // error: 't' is not a constant expression しかし、上記のコードでは check 関数内で constexpr かどうかの判断が行えないのでコンパイルエラーになってしまいます。 これを回避する方法として、構造体内で constexpr 関数を定義する方法があります。 template<typename T> void check(T t){ // operator in
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Wandbox
Compile-time 'String' Manipulation with Variadic Templates
http://blog.wonderrabbitproject.net/2013/02/ctemplatetypename.html