They are appropriate when their impact on code size in not adverse i.e. their size is small and they are not called from too many different places.

They are suitable when they are in the deepest of the loop hierarchies. It helps remove too many fuction calls and improve performance. It may also help in better code optimizations.

The other advantages have been covered above like compiler support for type checking and facility of providing overloads.