C++11 FAQ中文版:auto – 从初始化中推断数据类型

长平狐 发布于 2013/01/11 10:33
阅读 64
收藏 0
Year 2011 陈 良乔 C++11 FAQ

auto –从初始化中推断数据类型

考虑下面的代码:
auto x = 7;
这里的变量x被7初始化,所以x的实际数据类型是int。通常,我们可以这样写:

auto x = expression;

这样,这个表达式计算结果的数据类型就是变量x的数据类型。
当我们很难准确地推断一个变量的数据类型,或者是这个变量的数据类型难于书写时,我们通常利用编译器从一个变量的初始化中探测其数据类型。考虑下面的代码:

template<class T> void printall(const vector<T>& v)
{
      // 根据v.begin()的返回值类型自动推断p的数据类型
      for (auto p = v.begin(); p!=v.end(); ++p)
          cout << *p << “n”;
}

为了表示同样的意义,在C++98中,我们不得不这样写:

template<class T> void printall(const vector<T>& v)
{
    for (typename vector<T>::const_iterator p = v.begin();
       p!=v.end(); ++p)
        cout << *p << “n”;
}

当一个变量的数据类型依赖于模板参数时,如果不使用auto关键字,将很难确定变量的数据类型。例如:

template<class T,classs U> void multiply (const vector<T>& vt,
const vector<U>& vu)
{
// …
auto tmp = vt[i]*vu[i];
// …
}

在这里,tmp的数据类型应该与模板参数T和U相乘之后的结果的数据类型相同。对于程序员来说,要通过模板参数确定tmp的数据类型是一件很困难的事情。但是,对于编译器来说,一旦确定了T和U的数据类型,推断tmp的数据类型将是轻而易举的一件事情。

auto特性是C++11中最早被提出并被实现的特性。早在1984年,我就在我的Cfont中实现了auto特性,但是由于一些兼容性问题,它没有被纳入以前的标准。当C++98和C98同意删除“implicit int”之后,这些兼容性问题已经不复存在了,也就是C++语言对“每个变量和函数都要有确切的数据类型”的要求消失了。auto关键字原来的含义(表示一个本地变量)是多余而无用的——标准委员会的成员们在数百万行代码中仅仅只找到几百个用到auto关键字的地方,并且大多数出现在测试代码中,有的甚至就是一个bug。

作为简化代码的一个主要手段,auto关键字并不会影响标准库的实现。

参考:



原文链接:http://blog.csdn.net/fjb2080/article/details/7527188
加载中
返回顶部
顶部