A compiler can deduce type and non-type arguments from a call, provided the function argument list uniquely identifies the set of template arguments.

• 如果根据函数实参表能够决定一组模板实参，那么编译器就能从一个调用中演绎出类型和非类型实参。