 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
| • |
Type
dependencies are deduced by the compiler by
|
|
|
matching
the actual arguments in a call with the formal
|
|
|
argument
in the function template formal argument list.
|
|
| • |
Type
dependencies may also be explicitly specified in the
|
|
|
function
call, adding flexibility in how we specify our
|
|
|
formal
arguments.
|
|
| • |
By
explicitly specifying type dependencies, the return type
|
|
can
be a type distinct from the types in the function's
|
|
|
formal
argument list.
|
|
|
function_identifier
<data type list> (actual arguments)
|
|