我一直在使用c++ 11标准中提供的新的auto关键字来处理复杂的模板类型，我相信它就是为这个目的设计的。但我也用它来做以下事情:
auto foo = std::make_shared<Foo>();
更令人怀疑的是:
auto foo = bla(); // where bla() return a shared_ptr<Foo>
我还没有看到很多关于这个话题的讨论。auto似乎被滥用了，因为类型通常是一种文档和完整性检查的形式。你在使用auto方面的界限在哪里，这个新功能的推荐用例是什么?
澄清一下:我并不是在寻求哲学观点;我要求标准委员会对这个关键字的预期使用，可能还会对如何在实践中实现预期使用发表评论。
当前回答
我使用auto的一个痛苦经历是在lambda表达式中使用它:
auto i = []() { return 0; };
cout<<"i = "<<i<<endl; // output: 1 !!!
实际上，这里i被解析为int(*)()的函数指针。这只是一个简单的cout，但是想象一下，当它与template一起使用时，会导致什么样的编译/运行时错误。
你应该避免使用这样的表达式，并设置一个合适的返回类型(或受控的decltype())
上述例子的正确用法是:
auto i = []() { return 0; }(); // and now i contains the result of calling the lambda
其他回答
在c++和超越2012的Ask Us Anything小组中，Andrei Alexandrescu、Scott Meyers和Herb Sutter就何时使用和不使用auto进行了一次精彩的交流。跳到25:03分钟进行4分钟的讨论。这三位演讲者都给出了很好的观点，应该记住什么时候不使用auto。
我非常鼓励人们得出自己的结论，但我的结论是在任何地方都要使用auto，除非:
这会影响可读性 关心自动类型转换(例如，从构造函数，赋值，模板中间类型，整数宽度之间的隐式转换)
自由地使用explicit有助于减少对后者的关注，这有助于最大限度地减少前者成为问题的时间。
换句话说，Herb说，“如果你不做X, Y和Z，用auto。了解X, Y和Z是什么，然后在其他地方使用auto。”
我使用auto的一个痛苦经历是在lambda表达式中使用它:
auto i = []() { return 0; };
cout<<"i = "<<i<<endl; // output: 1 !!!
实际上，这里i被解析为int(*)()的函数指针。这只是一个简单的cout，但是想象一下，当它与template一起使用时，会导致什么样的编译/运行时错误。
你应该避免使用这样的表达式，并设置一个合适的返回类型(或受控的decltype())
上述例子的正确用法是:
auto i = []() { return 0; }(); // and now i contains the result of calling the lambda
大胆尝试吧。在任何地方使用auto可以使编写代码更容易。
任何语言中的每一个新特性都会被至少某些类型的程序员过度使用。只有通过一些有经验的程序员(不是新手)适度的过度使用，其他有经验的程序员才能学会正确使用的界限。过度使用通常是不好的，但也可能是好的，因为这种过度使用可能会导致功能的改进或更好的功能来取代它。
但如果我写的代码不止几行，比如
auto foo = bla();
where the type is indicated zero times, I might want to change those lines to include types. The first example is great since the type is stated once, and auto saves us from having to write messy templated types twice. Hooray for C++++. But explicitly showing the type zero times, if it's not easily visible in a nearby line, makes me nervous, at least in C++ and its immediate successors. For other languages designed to work at a higher level with more abstraction, polymorphism and genericity, it's fine.
在任何可能的地方都使用auto -特别是const auto，这样副作用就不那么重要了。除了一些明显的情况外，您不必担心类型，但它们仍然会为您进行静态验证，并且可以避免一些重复。在auto不可行的地方，可以使用decltype将类型语义地表示为基于表达式的契约。您的代码看起来会有所不同，但这将是一个积极的变化。
auto与线性代数库(如Eigen或OpenCV)大量使用的表达式模板结合使用可能非常危险。
auto A = Matrix(...);
auto B = Matrix(...);
auto C = A * B; // C is not a matrix. It is a matrix EXPRESSION.
cout << C; // The expression is evaluated and gives the expected result.
... // <code modifying A or B>
cout << C; // The expression is evaluated AGAIN and gives a DIFFERENT result.
由这类错误引起的bug是调试的一大麻烦。一种可能的补救方法是，如果执意要将auto用于从左到右的声明样式，则显式地将结果转换为预期的类型。
auto C = Matrix(A * B); // The expression is now evaluated immediately.
