1. Parameter with a Default Value
2. Default Parameter Values
-
only the last arguments can be omitted
3. Parameter Error Checking
-
z3.5-error.cc
- cout vs. cerr; message vs. throw exception
4. Function Name Overloading
-
z3.6-overloading.cc
z3.6-swap.cc - bad swap functions using overloading
