我一直在使用c++ 11标准中提供的新的auto关键字来处理复杂的模板类型，我相信它就是为这个目的设计的。但我也用它来做以下事情:
auto foo = std::make_shared<Foo>();
更令人怀疑的是:
auto foo = bla(); // where bla() return a shared_ptr<Foo>
我还没有看到很多关于这个话题的讨论。auto似乎被滥用了，因为类型通常是一种文档和完整性检查的形式。你在使用auto方面的界限在哪里，这个新功能的推荐用例是什么?
澄清一下:我并不是在寻求哲学观点;我要求标准委员会对这个关键字的预期使用，可能还会对如何在实践中实现预期使用发表评论。
当前回答
一件容易的事。当你不关心是什么类型时使用它。例如
for (const auto & i : some_container) {
...
这里我只关心I是容器里的东西。
它有点像typedefs。
typedef float Height;
typedef double Weight;
//....
Height h;
Weight w;
这里，我不关心h和w是浮点数还是双精度浮点数，只关心它们是任何适合表示高度和权重的类型。
或者考虑
for (auto i = some_container .begin (); ...
这里我只关心它是一个合适的迭代器，支持运算符++()，在这方面有点像鸭子类型。
此外，lambdas的类型不能拼写，因此auto f =[]…是好的风格。另一种方法是强制转换为std::function，但这会带来开销。
我真的无法想象对汽车的“滥用”。我能想到的最接近的是剥夺你自己到一些重要类型的显式转换——但你不会使用auto，你会构造一个所需类型的对象。
如果您可以在不引入副作用的情况下删除代码中的一些冗余，那么这样做一定是好的。
反例(借用别人的回答):
auto i = SomeClass();
for (auto x = make_unsigned (y); ...)
这里我们确实关心类型是什么，所以我们应该写Someclass i;And for(unsigned x = y;…
其他回答
我使用auto没有任何限制，没有遇到任何问题。有时我甚至把它用于简单的类型，如int。这使得c++对我来说是一种更高级别的语言，并且允许在c++中像在python中一样声明变量。在写完python代码之后，我有时甚至会写例如。
auto i = MyClass();
而不是
MyClass i;
这是我认为auto关键字滥用的一种情况。
Often I don't mind what is the exact type of the object, I'm more interested in its fonctionality, and as function names generally say something about the objects they return, auto does not hurt: in e.g. auto s = mycollection.size(), I can guess that s will be a kind of integer, and in the rare case where I care about the exact type, let's check the function prototype then (I mean, I prefer to have to check when I need the info, rather than a priori when code is written, just in case it would be usefull someday, as in int_type s = mycollection.size()).
关于这个例子，从公认的答案:
for ( auto x = max_size; x > 0; --x )
在我的代码中，在这种情况下我仍然使用auto，如果我想让x是unsigned，那么我使用一个实用函数，命名为say make_unsigned，这清楚地表达了我的担忧:
for ( auto x = make_unsigned(max_size); x > 0; --x )
免责声明:我只是描述我的使用，我没有能力给出建议!
Auto关键字只能用于局部变量，不能用于参数或类/结构成员。所以，在任何你喜欢的地方使用它们都是安全可行的。我确实经常使用它们。类型在编译时推导，调试器在调试时显示类型，sizeof正确报告它，decltype将给出正确的类型——没有伤害。我从不认为auto是过度使用的!
是的，它可能被过度使用而损害可读性。我建议在这样的情况下使用它:确切的类型很长，或者无法表达，或者对可读性不重要，并且变量的寿命很短。例如，迭代器类型通常很长，不重要，所以auto可以工作:
for(auto i = container.begin(); i != container.end(); ++i);
这里的Auto不会影响可读性。
另一个例子是解析器规则类型，它可能很长很复杂。比较:
auto spaces = space & space & space;
with
r_and_t<r_and_t<r_char_t<char>&, r_char_t<char>&>, r_char_t<char>&> spaces =
space & space & space;
另一方面，当类型是已知的并且是简单的，如果显式地声明它会更好:
int i = foo();
而不是
auto i = foo();
一件容易的事。当你不关心是什么类型时使用它。例如
for (const auto & i : some_container) {
...
这里我只关心I是容器里的东西。
它有点像typedefs。
typedef float Height;
typedef double Weight;
//....
Height h;
Weight w;
这里，我不关心h和w是浮点数还是双精度浮点数，只关心它们是任何适合表示高度和权重的类型。
或者考虑
for (auto i = some_container .begin (); ...
这里我只关心它是一个合适的迭代器，支持运算符++()，在这方面有点像鸭子类型。
此外，lambdas的类型不能拼写，因此auto f =[]…是好的风格。另一种方法是强制转换为std::function，但这会带来开销。
我真的无法想象对汽车的“滥用”。我能想到的最接近的是剥夺你自己到一些重要类型的显式转换——但你不会使用auto，你会构造一个所需类型的对象。
如果您可以在不引入副作用的情况下删除代码中的一些冗余，那么这样做一定是好的。
反例(借用别人的回答):
auto i = SomeClass();
for (auto x = make_unsigned (y); ...)
这里我们确实关心类型是什么，所以我们应该写Someclass i;And for(unsigned x = y;…
我指出的一个危险是在引用方面。 如。
MyBigObject& ref_to_big_object= big_object;
auto another_ref = ref_to_big_object; // ?
问题是，在这种情况下，another_ref实际上不是一个引用，它是MyBigObject而不是MyBigObject&。你最终复制了一个大对象而没有意识到它。
如果你直接从一个方法中得到一个引用，你可能不会考虑它实际上是什么。
auto another_ref = function_returning_ref_to_big_object();
你需要"auto&"或者"const auto&"
MyBigObject& ref_to_big_object= big_object;
auto& another_ref = ref_to_big_object;
const auto& yet_another_ref = function_returning_ref_to_big_object();
