what's the purpose of typename assignment inside templates

Question

I have come across this piece of code (I\'m trying to include all details in case I\'m missing something):

template< typename TYPE = TYPE_with_an_arbitrar         


        

Answer 1

These are not assignments but rather “default values” for the type arguments of the template, much like there is a similar syntax for default value arguments of functions. They are used when an explicit argument is not specified.

For bar and baz function templates in your example, it makes no sense because for these functions, T will be derived from the specified arguments.