C++标准问题

对。

double *pointer = 0;    // init `pointer` to a NULL pointer value
double &value = *pointer; // dereference it

本标准专门针对这种情况—从8.3.2/4“参考文献”中:

引用应初始化为 引用有效的对象或函数。 不能存在于定义良好的 创建这样一个引用 将其绑定到 取消对空指针的引用 如9.6所述,引用不能 直接绑定到位字段。]

*pointer 在第二行。