[Effective Modern C++] Item 4. Know how to view deduced types - 知道如何看待推断出的类型

条款四 知道如何看待推断出的类型

基础知识

有三种方式可以知道类型推断的结果:

  • IDE编辑器
  • 编译器诊断
  • 运行时输出

使用typeid()以及std::type_info::name可以获取变量的类型信息,但是存在一些问题,代码如下:

template<typename T>
void f(const T& param) {
using std::cout;
cout << "T = " << typeid(T).name() << "\n";
cout << "param = " << typeid(param).name() << "\n";
}
std::vector<Widget> createVec();
const auto vw = createVec();
if(!vw.empty()) {
f(&vw[]);
} // T -> class Widget const*, param -> class Widget const*

std::type_info::name要求类型以值的方式被传递。

正确结果T为Widget const*,param为Widget const* const&,分析如下:

  ??vw的类型为const vector<Widget>,则&v[0]被推断为const Widget*类型,当传入f中时,传入的是指针的引用,即const Widget const*,所以T的...

可以使用boost的type_id_with_cvr获得正确的类型。

总结

  • 推断类型总可以通过IDE编辑器,编译器错误信息和Boost TypeIndex库获知
  • 一些工具的结果可能既不有用又不准确,所以了解C++类型的推断的规则还是最本质的
上一篇:现代C++之理解模板类型推断(template type deduction)


下一篇:[Effective Modern C++] Item 6. Use the explicitly typed initializer idiom when auto deduces undesired types - 当推断意外类型时使用显式的类型初始化语句