Effective STL第6条:当心C++编译器最烦人的分析机制(构造函数被误认为函数的问题)

前言(重点):

  • 下面我们分析的问题现在已经得到解决了,C++现在允许使用大括号“{}”初始化来避免下面的问题。但是这一问题还是值得我们研究的

一、演示说明

  • 假设我们有一个存放整型(int)的文件,你想把这些整数拷贝到一个list中,那么你可能会使用下面的做法
std::ifstream dataFile("ints.dat");

//使用list的区间构造函数来初始化list(C++编译器可能会识别错误)
list<int> data(istream_iterator<int>(dataFile), istream_iterator<int>()); 
  • C++编译器可能会上面list的构造函数理解为一种函数:包含两个参数和一个list<int>返回值
  • 因为编译器可能会把上面那种形式的构造函数理解为一种函数,因此上面的data不会做任何事情,因此data为空

再做一个演示说明

  • 下面的演示案例也介绍了C++的分析机制可能会把构造函数误认为函数
  • 编译器可能会把下面的对象构造语句误认为:函数名为w,无参数,返回值为Widget类型的函数
class Widget
{
    //假设Widget使用默认构造函数
};

int main()
{
    //我们原本是想使用Widget的默认构造函数,但是可能会被误认为函数
    Widget w();
}

二、解决办法①

  • 多增加一对括号来跳过编译器的分析机制
  • 下面对list构造函数的第一个参数增加了一对括号
std::ifstream dataFile("ints.dat");

list<int> data((istream_iterator<int>(dataFile)), istream_iterator<int>()); 

不同编译器的分析机制不同

  • 但是不同的编译器对此种解析办法的分析可能会不一致,因此你还需要下面的解决办法②

三、解决办法②

  • 根据上面的代码,我们可以为istream_interator迭代器取名(而不是使用匿名)
std::ifstream dataFile("ints.dat");

istream_iterator<int> dataBegin(dataFile);
istream_iterator<int> dataEnd;

list<int> data(dataBegin, dataEnd);
  • 实际编程中都建议使用匿名的istream_interator对象,但是此处为了跳过编译器的分析机制,这种代价是值得的

四、使用大括号“{}”初始化

  • 现在C++标准已经提供了使用大括号“{}”来初始化,因此上面的所有问题都可以得到解决
发布了1315 篇原创文章 · 获赞 840 · 访问量 19万+

猜你喜欢

转载自blog.csdn.net/qq_41453285/article/details/103978821