以下のコードは合法である。 #include <type_traits> #include <iostream> #include <boost/type_index.hpp> using namespace std; using boost::typeindex::type_id_with_cvr; template< typename Arg > void f( Arg&& arg ) { cout << "`Arg` is `" << type_id_with_cvr< Arg >() << "`" << endl; cout <</boost/type_index.hpp></iostream></type_traits>…

const int& は const int への参照であるため、well-formedであるが、 int& const はint&に対するcv修飾であるためill-formedである。 ただし、cv修飾される型名が typedef-name または decltype-specifier の場合、cv修飾子は無視される。 また、同時に ref…

本記事では、std::tupleに対するstd::for_each的な処理を行うためのコードについて記述する。 以下のコードは、規定クラスのポインタの配列に派生クラスのアドレスを代入し、range-based forを用いてメンバ仮想関数をコールしている。 struct Base { virtual…

要素を指定したら自動で型を判別しダウンキャストする - 雑記 上記の記事では、基底クラス型のポインタの配列に対して、 任意の添え字に対して静的に型が決っている派生クラスのアドレスを保持し、 テンプレート関数を用いて派生クラスポインタ型のアドレス…