Mordern Effective C++ --auto

5. 优先使用auto而非显示类型声明

在C++之中,使用auto关键字声明类型可以将程序员从输入繁琐的类型中解放出来,编译器会自动推导出变量的实际类型。

template<typename It>
void dwim(It b, It e)
{
  while(b != e){
    typename std::iterator_traits<It>::value_type
    currValue = *b;
      ...
  }
}

使用auto关键字

template<typename It>
void dwim(It b, It e)
{
  while(b != e){
    auto currValue = *b;
      ...
  }
}

在C++14中,lambda函数的参数都可以使用auto来定义。

auto derefLess =                            // C++14 comparison
  [](const auto& p1,                          // function for
     const auto& p2)                          // values pointed
  { return *p1 < *p2; };

使用auto生命类型还可以将我们从类型截断的问题中解放出来:

std::vector<int> arrs;
auto size = arrs.size();

在C++中,unordered_map的key的类型是const类型的,所以即便采取如下方式遍历unordered_map容器,仍然会产生临时对象:

std::unordered_map<std::string, int> m;
   ...

for (const std::pair<std::string, int>& p : m)
{
   ...                  // do something with p
}

但是借助auto,我们不仅使声明更加简洁,还避开了此问题:

std::unordered_map<std::string, int> m;
   ...

for (const auto& p : m)
{
   ...                  // do something with p
}

6. 当auto推导出非预期类型时应当使用显示的类型初始化

在C++中,因为标准不允许返回对bit的引用,所以对于vector<bool>标准库进行了特化处理,其[]运算符返回的是std::vector<bool>::reference类型的临时对象。对临时对象的修改会被其同步到vector中,因而这样使用auto关键字是不合规的。

Widget w;
…
auto highPriority = features(w)[5];         // w是不是个高优先级的?
…
processWidget(w, highPriority);             // 配合优先级处理w

在这种情况下,我们只需显示指出highPriority的类型为bool即可规避此问题。

posted @ 2017-06-03 19:44 ZHOU YANG 阅读(...) 评论(...) 编辑 收藏