我是否应该使用新的C ++ 11“自动”功能，尤其是在循环中？

使用auto关键字的利弊是什么，尤其是在for循环中？

for(std::vector<T>::iterator it = x.begin(); it != x.end(); it++ )
{
   it->something();
}

for(std::map<T>::iterator it = x.begin(); it != x.end(); it++ )
{
   it->second->something();
}

for(auto it = x.begin(); it != x.end(); it++ )
{
   it->??
}

似乎，如果您不知道是否有地图或矢量的迭代器，就不会使用first还是second直接访问对象的属性，是吗？

这让我想起了C＃关于是否使用关键字的争论var。到目前为止，我得到的印象是，在C ++世界中，人们auto比var在C＃世界中更愿意采用关键词。对我来说，我的第一个直觉是我想知道变量的类型，以便知道可以对它执行哪些操作。

C ++的动机更加极端，因为由于元编程和其他原因，类型可能比C＃类型更加复杂和复杂。auto与显式类型相比，其读写速度更快，并且更具灵活性/可维护性。我的意思是，您想开始输入吗

boost::multi_map<NodeType, indexed_by<ordered_unique<identity<NodeType>>, hashed_non_unique<identity<NodeType>, custom_hasher>>::iterator_type<0> it

那甚至不是完整的类型。我错过了几个模板参数。

在您的示例中：

for(auto it = x.begin(); it != x.end(); i++)
{
  it->??
}

必须有一个x可见的声明。因此，的类型it应该很明显。如果类型x不明显，则说明方法太长或类太大。

异议！加载的问题。

您能向我解释为什么其中包含第三代码??，而第一和第二代码却没有吗？为了公平起见，您的代码必须如下所示：

for(std::vector<T>::iterator it = x.begin(); it != x.end(); i++)
{
   it->???
}

for(std::map<T>::iterator it = x.begin(); it != x.end(); i++)
{
   it->second->???
}

那里。即使您没有使用，也会遇到同样的问题auto。

在所有情况下，答案都是相同的：上下文很重要。您不能孤立地有意义地谈论一段代码。即使您没有使用模板，而是使用某种具体类型，这也只会将问题转移到其他地方，因为您的代码阅读者必须知道该类型的声明。

如果auto在这种情况下使用代码会使您的代码不可读，则应将其视为警告标志，表明代码设计有问题。当然，在某些情况下，低级细节很重要（例如，在处理位操作或旧式API时），在这种情况下，显式类型可能有助于提高可读性。但总的来说-不。

关于var（因为您已经明确提到了它），在C＃社区中对于使用也有广泛的共识。反对使用它的争论通常基于谬误。var

专业版

您的代码：

for(std::vector<T>::iterator it = x.begin(); it != x.end(); i++)

由于模板相关的名称，将不进行编译。

这是正确的语法：

for( typename std::vector<T>::iterator it = x.begin(); it != x.end(); i++)

现在看看类型声明有多长时间。这说明了为什么auto引入了关键字。这个 ：

for( auto it = x.begin(); it != x.end(); i++)

更简洁。所以，这是一个专业人士。

骗子

你要小心点 使用关键字auto，可以得到声明的类型。

例如 ：

std::vector< int > v{ 1, 2, 3, 4 };
for ( auto it : v )
{
  ++ it;   // ops modifying copies of vector's elements
}

与

std::vector< int > v{ 1, 2, 3, 4 };
for ( auto & it : v )   // mind the reference
{
  ++ it;   // ok, vector's elements modified
}

结论：是的，您应该这样做，但不要过度使用它。有些人倾向于过多使用它，并把auto放在任何地方，例如下一个示例：

auto i = 0;

与

int i = 0;

是的你应该！auto不删除类型；即使您“不知道”什么x.begin()，如果您尝试错误使用该类型，编译器也会知道并会报告错误。同样，map用进行仿真也很常见vector<pair<Key,Value>>，因此使用的代码auto将对两种字典表示形式均适用。

是的，您应该使用auto默认规则。与显式指定类型相比，它具有原始优势：

• 它不会使您键入编译器已经知道的内容。
• 它使变量的类型“跟随”返回值类型的任何更改。
• 这样做可以防止隐式转换的隐式引入和局部变量初始化中的切片。
• 它消除了模板中某些显式类型计算的需要。
• 它消除了使用长名称命名返回类型的需要。（您从编译器诊断程序中复制粘贴的代码）

这是您可以选择的地方。在某些情况下，您别无选择：

• 它允许声明不可言类型的变量，例如lambda的类型。

只要您确切知道该怎么auto做，它就没有缺点。