Visual C++ 2010新功能之auto关键字

  C语言里面其实就已经有auto关键字了，只不过很少用到，当我们在C或者以前的C++中，auto关键字基本上可以被无视： 
比如这个局部变量: int a = 100; auto int a = 100;并没有什么区别，但是在VC2010中， auto已经有了新的含义，它可以对类型进行推断使得我们在使用的时候可以这样auto a = 100;那么a就是int类型，初始值为100. 下面是一个测试程序for VC2010：

#include <iostream> 
#include <string> 
#include <typeinfo> 
#include <functional> 
using namespace std;

template <typename T> 
void doshow( T t ) 
{ 
cout<<typeid(t).name() << endl; 
}

#define Show( test ) \ 
{ \ 
cout<< #test<<" : "; \ 
auto t = test; \ 
doshow(t); \ 
}

extern "C" 
{ 
class Test2 
{

}t2; 
}

class Test3 
{ 
public: 
void print() 
{

} 
}t3;

namespace ttt 
{ 
class Test4 
{

}t4; 
}

void testprint( int, double, float, float*, double* ) 
{

}

int main() 
{ 
Show( 2 ); 
Show( 3.0f ); 
Show( 3.0 ); 
Show( "test" ); 
Show( std::string("test") ); 
Show( L"Test" ); 
Show( std::wstring(L"test") ); 
Show( (const int*)0 ); 
Show( (const int* const)0 );

class Test1 
{

}t1; 
Show( t1 );

Show( t2 ); 
Show( t3 ); 
Show( ttt::t4 ); 
Show( &Test3::print ); 
Show( std::mem_fun(&Test3::print) ); 
Show( testprint ); 
Show( std::bind( testprint ) ); 
Show( std::function< void () >() ); 
Show( doshow<double> );

return 0; 
}

运行的结果： 
2 : int 
3.0f : float 
3.0 : double 
"test" : char const * 
std::string("test") : class std::basic_string<char,struct std::char_traits<char> 
,class std::allocator<char> > 
L"Test" : wchar_t const * 
std::wstring(L"test") : class std::basic_string<wchar_t,struct std::char_traits< 
wchar_t>,class std::allocator<wchar_t> > 
(const int*)0 : int const * 
(const int* const)0 : int const * 
t1 : ?AVTest1@?L@?main@ 
t2 : class Test2 
t3 : class Test3 
ttt::t4 : class ttt::Test4 
&Test3::print : void (__thiscall Test3::*)(void) 
std::mem_fun(&Test3::print) : class std::mem_fun_t<void,class Test3> 
testprint : void (__cdecl*)(int,double,float,float *,double *) 
std::bind( testprint ) : class std::tr1::_Bind_fty<void (__cdecl*)(int,double,fl 
oat,float *,double *),struct std::tr1::_Notforced,class std::tr1::_Bind0<struct 
std::tr1::_Callable_obj<void (__cdecl*)(int,double,float,float *,double *),0> > 
> 
std::function< void () >() : class std::tr1::function<void __cdecl(void)> 
doshow<double> : void (__cdecl*)(double)

可以看出只要你提供合法的初始值，那么它就可以为你推断出类型来。 
当然像这样的代码是不能通过编译的：auto a; 
因为auto关键字要求必须有初始值。 
error C3531: “a”: 类型包含“auto”的符号必须具有初始值设定项

下面的文字来自MSDN： 
C++ 标准为 auto 关键字定义了初始和修订的含义。在 Visual C++ 2010 之前，该关键字在自动存储类中声明变量，即具有局部生存期的变量。从 Visual C++ 2010 开始，该关键字从声明的初始化表达式中推导变量的类型。 使用 /Zc:auto[-] 编译器选项可指示编译器使用 auto 关键字的初始或修订的含义。 
/Zc:auto[-] 编译器选项指示编译器如何使用 auto 关键字来声明变量。如果指定默认选项 /Zc:auto，编译器从其初始化表达式中推导声明的变量的类型。如果指定 /Zc:auto-，编译器将该变量分配给自动存储类。

2010.6.24晚Patch：

        感谢yangjian8915提醒，你说的那个用法确实更能体现它的价值，不过另外还要谢谢你这个提醒让我想到一个我曾经遇到的问题，与大家分享，下面是我在做wxWidgets的时候遇到的问题：

#include <iostream> 
using namespace std;

#define WXUSINGDLL 
#include <wx/wx.h>

int main() 
{ 
wxArrayString aryTest;

aryTest.push_back(wxT("te"));

for( wxArrayString::iterator it = 0; it<aryTest.begin(); ++it ) 
{ 
    if( (*it).CmpNoCase( wxT("test") ) ) 
    { 
     // do sthing 
    } 
}

return 0; 
}

       我的平台是VC2008，这是当时的一段出错的代码，编译器在编译时并未报错。造成错误的原因是粉色背景的那一句，之所以会有这样的代码是因为最初我想用下标来访问，后来又换成了迭代器，但是初始值却忘了改。这样的代码一运行必然会出错。

        yangjian8915同学的留言让我猛然醒悟，如果用auto在编译时就能得到错误提示或者是警告，因此我改动了一下放到VC2010下面：

#include <iostream> 
using namespace std;

#define WXUSINGDLL 
#include <wx/wx.h>

int main() 
{ 
wxArrayString aryTest;

aryTest.push_back(wxT("te"));

for( /*wxArrayString::iterator*/auto it = 0; it<aryTest.begin(); ++it ) 
{ 
    if( (*it).CmpNoCase( wxT("test") ) ) 
    { 
     // do sthing 
    } 
}

return 0; 
}

        结果我得到一个编译错误：

main.cpp(13): error C2446: “<”: 没有从“wxArrayString::iterator”到“int”的转换 
            没有使该转换得以执行的上下文 
main.cpp(13): error C2040: “<”:“int”与“wxArrayString::iterator”的间接寻址级别不同 
main.cpp(15): error C2100: 非法的间接寻址 
main.cpp(15): error C2228: “.CmpNoCase”的左边必须有类/结构/联合

       总结：

       1.auto可以让我们避免一些错误，为我们提供一些方便。

       2.设计的时候要注意，不要自摆乌龙，比如wxWidgets这里让0能够成功转型成iterator是有问题的，至少STL的iterator无法直接从整形转换过去。

       3. 修改代码的时候要谨慎。

    再Patch：

       什么时候不应该用auto:

      1. 需要明确的告诉阅读者类型的时候。(代码可读性问题)

       2. 要在多个编译器下面编译的时候。(并非每个编译器都支持auto)

      3.当你要定义string而用const char*初始化的时候（以及类似的情况）。

       4.过去的代码中已经使用了auto，但是并非自动推断类型的意义的时候如：auto int a = 100; 如果开启自动推断那么这是错误的语法。

【本文转至】http://www.cnblogs.com/Mrt-02/archive/2011/07/24/2115618.html