子函数

1、 void函数（不返回值的函数）

      void函数，返回值类型的地方使用关键字 void，return语句不包含一个返回值的表达式。

      void函数的调用以 ； 结尾，表示是可执行函数。

      void函数中的return语句的作用只是终止函数。

2、 传引用调用形参

      使用一个传引用调用形参（或传引用调用参数，引用参数）时，函数调用中相应的实参必须是一个变量，用于替换形参的将是这个实参变量。这好比将实参变量原封不动地拷贝到函数定义中，并取代形参。置入形参之后，将执行函数主体中的代码，而这些代码可能更改是参变量的值。

     为了标记一个传引用调用参数，需要在函数声明和函数定义头中，在类型名称的末尾附加符号 & ，例如： void get_input(double& f_variable)。

      函数调用中相应的实参会成为一个变量，而不是一个常量或者其他表达式。调用函数时，相应的实参变量（而不是变量的值，传值调用是用实参的值代替形参的值，只是值的传递）会替换形参。调用函数期间，函数主体中对形参的任何更改都会作用于实参变量。

      在同一个函数中混合使用传值和传引调用参数是完全合法的。传引调用参数并非仅限于在void函数中使用，也可以在有一个返回值的函数中使用。所以，对于一个带有传引调用参数的函数来说，它既能改变作为实参提供的一个变量值，也能返回一个值。

3、 前条件和后条件

      在为函数声明写注释时，一个好办法是将其分解为两种信息，即前条件和后条件。前条件指出函数调用时，要满足什么条件。除非满足条件，否则不应该调用这个函数。也不保证它会执行。后条件描述函数调用的结果，也就就是说在满足前条件的前提下，后条件指出函数执行之后将满足什么条件。对于要返回一个值的函数，后条件描述这个返回值。对于一些要修改某些实参的函数，后条件描述对实参进行的修改。