More than 5 years have passed since last update.

C++11 で std::vector<T> な変数から型 T を取得する

Last updated at 2020-06-04Posted at 2020-06-03

背景

std::vector ということがわかっている変数から, 型 T を抽出したい.

std::vector<float> a;

using t = decltype(*a.begin());

static_assert(std::is_same<t, float>::value == true, "type must be float");

*a.data() でもいいかもしれません.

a[0] でも OK でした.

配列のインデックスを取るのは, カラの配列時 seg fault しそうでちょっと抵抗がありますが, sizeof はコンパイル時の処理だからか, 実のところカラの配列に対して行っても実行時問題ありませんでした(asan でも問題なかった)

std::vector<float *> など, ポインタの可能性のあるときからポインタ除去した型がほしい.

std::remove_pointer を使います.

ポインタで無い場合はなにもしないので汎用に使えます.

ただ, この場合 std::decay と組み合わせないとうまくいかないです.

こんな感じになります.

std::vector<float *> b;
using t = std::remove_pointer<std::decay<decltype(*b.begin())>::type>::type;
// => t = `float`

この場合, std::vector<float[2]> b なケースでも float が型として取得できます!