For example, all references to Glorp in the compare function template will be resolved to the same type when the function is instantiated.

• 如果是类型形参，我们就知道该形参表示未知类型，如果是非类型形参，我们就知道它是一个未知值。