Effective Modern C++ ―C++11/14プログラムを進化させる42項目

項目 4：推論された型を確認する

｜

29

上例を実行すると、関数テンプレート boost::typeindex::type_id_with_cvr が型実引数をと

り（目的の型）、const、volatile、参照の修飾子を落とさない点が大きな意味を持ちます（そのた

め、const、volatile、参照（reference）を表す「with_cvr」がテンプレート名に付いている）。

戻り値は boost::typeindex::type_index オブジェクトであり、そのメンバ関数 pretty_name か

ら std::string が得られます。人間が読みやすい書式の型名です。

先に挙げた f の実装を呼び出す場面をもう一度考えてみましょう。typeid を用いると、param の

誤った型が返されます。

std::vector<Widget> createVec(); // factory function

factory 関数

const auto vw = createVec(); // init vw w/factory return

factory の戻り値で vw を初期化

if (!vw.empty()) {

f(&vw[0]); // call f f を呼び出す

…

}

GNU および Clang コンパイラでは、Boost.TypeIndex を使用すると次のように（正しく）表示さ

れます。

T = Widget const*

param = Widget const* const&