C++语言中的表达式可分为算术表达式,关系表达式和逻辑表达式等多种类型,但从表达式中变量所起的作用角度来看可分为两类:有副作用的表达式和无副作用的表达式.
有关表达式的副作用的概念一般说计算一个表达式的值需要引用一些变量,在表达式求值过程中,需要提取这些变量的值,但并不改变这些变量的值,这样的表达式称为无副作用的表达式.从传统意义上讲,表达式的作用就是计算,它除了产生一个计算结果外,不应该改变参与计算过程的任何变量的值或产生其它的效应.换句话说,传统意义上的表达式是不应该有副作用的.因此,绝大多数的高级语言中的表达式都是无副作用的表达式.C++语言兼有高级语言和低级语言的特点,是一种典型的全面支持面向对象特性的语言,为了运行效率的提高,引用了具有副作用的表达式.一个表达式在求值过程中,对使用的变量不但引用,对它们的值还加以改变,这样的表达式称为有副作用的表达式,或者称这个表达式是有副作用的.