Chinaunix首页 | 论坛 | 博客
  • 博客访问: 1575270
  • 博文数量: 399
  • 博客积分: 8508
  • 博客等级: 中将
  • 技术积分: 5302
  • 用 户 组: 普通用户
  • 注册时间: 2009-10-14 09:28
个人简介

能力强的人善于解决问题,有智慧的人善于绕过问题。 区别很微妙,小心谨慎做后者。

文章分类

全部博文(399)

文章存档

2018年(3)

2017年(1)

2016年(1)

2015年(69)

2013年(14)

2012年(17)

2011年(12)

2010年(189)

2009年(93)

分类: LINUX

2009-10-27 14:30:38

在看别人的代码时,意外发现了一个标准库的问题(不知到标准委员会的c++ standard lib.core issue文件里有没有提到,不管它),是这样的,代码如下:
struct X
{
};
ostream& operator<<(ostream& out,    X&  x   /*坏习惯*/)
{                                                          ^^^^ ---- #1 non-const reference
    ...
    return out;
}
void use1()
{
    vector v;
    v.push_back(X());
    copy(v.begin(),b.end(),ostream_iterator(cout,"\n") ); //编译错误!
}
void use2()
{
    X x;
    cout<}

按照语义,use1和use2都应该通过编译,但事实是use1不能通过编译。原因就在于#1处,如果将X&改为X const&则万事大吉。
到底为什么呢?看一下ostream_iterator的定义吧:
其中有一个成员函数是这样的
ostream_iterator& operator=(const _Tp& __value)
 {                                           ^^^^^^^^^^^^  -----#2 const reference
 *_M_stream << __value; //应该转到用户重载的operator<<中去
 ...
}
上 面的例子中的copy(...)每迭代进一步都要调用这个函数,将迭代器指向的值给它,然后在这个函数中的:*_M_stream << __value;其实就相当于cout<<__value,输出该值,又什么不对吗?看看参数__value的类型,是const &,而我们重载的那个operator<<只接受non-const引用,所以就找不到匹配的函数了。这里的关键在 于,ostream_iterator的成员operator=为它的参数强加上了不该加的语义——const——而不管其原先是否为const。

解决方法有两种:
对于用户,解决办法是重载operator<<时注意第二个参数最好写成const引用参数,否则像上面 的"copy(v.begin(),v.end(),ostream_iterator(cout) )"调用方式就会出漏子了。这个篓子还不算严重,至少你还被阻止在编译期,另外一种情况更为严重——通过编译但运行结果让人摸不着头脑,我们为原先的例子 加上一些代码:
ostream& operator<<(ostream& out,X* & px)
 {
      ...
      return out;
 }
void use3()
{
X* px=new X;
cout<vector v;
v.push_back(px);
copy(v.begin(),v.end(),ostream_iterator(cout,"\n") ); //编译没问题,但结果确打印出px里面存放的地址
}

copy(...)为什么会打印出地址?因为ostream有一个成员函数是为void*重载的,所以发生了一个隐蔽的类型转换,调用了它。
与前面的错误相比,这种错误更为隐蔽。要到运行期才会出现。
对 于库的设计者,这是个疏忽,有一个简单的解决办法,为ostream_iterator添加一个operator=成员函数,其调用参数是non- const引用。这样通过重载决议,上面的copy(...)将调用添加的版本,由于其参数是non-const引用,所以接下来会转往用户重载的 operator<<去。这个解决方案要求编译器能在 const引用和non-const引用之间正确进行重载决议。

阅读(920) | 评论(1) | 转发(0) |
给主人留下些什么吧!~~

chinaunix网友2011-05-07 20:26:24

为什么我加了const和不加编译都不过 输出信息还一样