effective C++的有句话不是很明白

[amankjan]

条款29: 异常安全 126-127页

class PrettyMenu {
public:
  void changeBackground(std::istream& imgSrc); 
private:
  std::tr1::shared_ptr<Image> bgImage;
  Mutex mutex;                
  int imageChanges;    
};
void PrettyMenu::changeBackground(std::istream& imgSrc) {
  Lock ml(&mutex);
  bgImage.reset(new Image(imgSrc));  // replace bgImage's internal
                                     // pointer with the result of the
                                     // "new Image" expression
  ++imageChanges;
}

如果Image构造函数抛出异常,有可能输入流input stream的读取记号read marker已被移走，
而这样的搬移对程序其余部分是一种可见的状态改变。
所以changeBackground在解决这个问题前只提供基本的异常安全保证。
不明白啊不明白构造函数异常跟输入流有什么关系，读取记号是神马

[晨星]

Image的构造函数有可能从imgSrc中读取了东西之后抛出了异常。
输入流上一旦有读取动作，就会有内部状态会发生改变，比如文件的读取指针，所谓“read maker”指的就是这类东西。
于是最终结果就是：发生了异常，同时产生了一种程序其它部分可见的副作用（其它部分再读imgSrc的话，读到的就是刚才的read之后的内容了）。

[shaotine_wu]

[Quote=引用 1 楼 steedhorse 的回复:]

Image的构造函数有可能从imgSrc中读取了东西之后抛出了异常。
输入流上一旦有读取动作，就会有内部状态会发生改变，比如文件的读取指针，所谓“read maker”指的就是这类东西。
于是最终结果就是：发生了异常，同时产生了一种程序其它部分可见的副作用（其它部分再读imgSrc的话，读到的就是刚才的read之后的内容了）。
[/Quote]
++
所以构造函数失败后，程序就无法回到函数调用之前的状态，就无法满足强烈保证