注意C++令人烦恼的解析方式!
在C++中,加入你现在想从一个包含int数据的文件中读取所有数据,将他们存入到一个list<int>中保存,你可能会使用下面的代码:
ifstream dataFile("ints.dat");
list<int> data(istream_iterator<int>(dataFile), // warning! this doesn't do
istream_iterator<int>()); // what you think it does
这个代码看起来会完成我们想要完成的任务,而且代码简洁易懂。但是实际运行的时候却会发现他根本没有实现我们想要的功能。设置连data这个变量都没有定义。
在C++中,加入我们要声明一个函数,该函数以一个double变量作为参数,返回值类行为int型,那么一下几种声明方式是等价的:
int f(double d);
int f(double(d));
int f(double);
现在我们来看一下另外的一个函数声明,该函数以一个函数指针作为参数,该函数指针指向一个不需要参数,返回值为double的函数。函数返回值为int类型。那么一下声明方式等价:
int g(double (*pf)());
int g(double pf());
int g(double ());
同样的括号在不同的位置有不同的含义。参数量变的括号没有特殊的含义,但是当只有括号本身是他们代表了一个参数列表。
让我们在回过头看上面的代码:
list<int> data(istream_iterator<int>(dataFile), istream_iterator<int>());
这相当于是声明了一个名为data的函数,函数返回值是list<int>,它有两个参数,一个参数是类型为istring_iterator<int>的dataFile变量,另一个是一个匿名函数指针,该函数指针指向一个不需要参数,返回值
类行为istring_iterator<int>的函数。所以上面的代码不会得到我们想要的结果。
在C++中,当一个表达式可以被解析为一个函数的时候,编译器就会将其作为函数看待!
要解决上面的问题可以使用括号来明确的表示我们的目的。在C++中,函数声明时使用括号包含实参的声明是不合法的,但是使用括号包含函数调用是合法的,所以可以使用下面的代码来达到我们的目的:
list<int> data((istream_iterator<int>(dataFile)), // note new parens
istream_iterator<int>()); // around first argument to list's constructor
这样第一个参数就会被当作函数的调用。
另一种解决上面问题的方法是将上面的代码分开,明确的表示各个部分:
ifstream dataFile("ints.dat");
istream_iterator<int> dataBegin(dataFile);
istream_iterator<int> dataEnd;
list<int> data(dataBegin, dataEnd);
使用上面的代码这样就不会出现我们刚开始面临的问题了。
所以,有时候应该使用命名的迭代器对象,虽然这与STL的风格不相同,但是却可以明确的表示我们的目的!