C++2011程序中的一些未定义行为总结:
(1)对于带符号的整型来说,赋值或者计算结果超过了范围,将是未定义行为
(2)对于内置类型变量来说,当其定义在原函数外未初始化时,会默认初始化为一个特定的值;对于函数内定义的变量而未初始化时,该变量将是未定义的行为
(3)指针的值一般有四种:指向某一个对象;指向紧邻对象所占空间的下一个位置;空指针,nullptr,NULL或者0;无效指针。当访问或者拷贝无效指针的时候,将是未定义行为
(4)求值顺序问题:运算符的优先级确定运算符的执行顺序,也即运算对象的组合方式;结合律表明了同一优先级的情况下运算对象的组合顺序;对于求值顺序,当某一运算符的几个对象均指向并修改某一对象时,编译器的计算顺序将是不可预知的,即运算对象的求值顺序与优先级以及结合律无关,下面的两种情况有可能产生未定义行为:
int i=0; cout<<i<<" "<<++i<<endl;
int i= f()*g();
(5)算术运算时,除数是0时,以及计算结果超出了类型的范围,算术表达式均会产生未定义行为,得到一个不确定的值。
(6)对于string以及vector对象中的下标运算符,要确保下标在有效范围内,即在处理遍历string以及vector对象中的元素时的for( auto ; index != s.size() ; );
(7)对于求值顺序而言,当一个表达式中一个子表达式改变了某一个对象,而另一个子表达式又要使用该对象时,编译器将产生未定义行为,即求值顺序的不确定性
(8)对于指针而言,可以定义而不初始化也是合法的,但是访问或者拷贝一个没有初始化的指针,或者没有指向任何对象的指针将是不安全的行为,对于空指针nullptr或者0呢?
解引用无效指针,解引用空指针?
(9)位运算中的左移操作,假如运算对象是带符号的,此时可能对符号有影响,而对符号位的操作依赖于具体的机器,这是一种未定义行为,所以位运算只作用于无符号整型。
(10)
新闻热点
疑难解答
图片精选