通常在SO(以及其他地方),我已经看到C++标准中的注释和示例不是规范性的说法 - 我可能已经多次提出这个主张.
但是,我在C++标准的核心语言规范中找不到这个事实的证据(目前我在查看n3979 C++ 14工作草案).
我能找到的最接近的报价见第17.5.1.2/2段:
标有"注释:"或"示例:"的段落是提供信息的,其他段落是规范性的.
但是,除非我错误地认为该段只适用于图书馆部分(即第18至30条和附件D).
因此,问题是:C++标准中的所有注释和示例都是非规范性的吗?脚注怎么样?
C++标准[sec 5.7]说:
如果指针操作数和结果指向相同的数组对象,或一个过去的数组对象的最后一个元素的元素两者,所述评估也不得产生溢出; 否则,行为未定义.
那么,我是否正确地假设其他类型的指针比数组未定义?
例如:
int a = 0;
vector<int> v(&a, (&a)+1);
Run Code Online (Sandbox Code Playgroud)
上面的代码片段编译并且工作正常(使用g ++),但它是否有效?