それは正解です。テンプレート引数控除は、コンパイラが渡された実際の引数のタイプに基づいて関数引数のタイプを推測できることに依存しています。定義は、渡された実際の引数とは異なる順序であります。テンプレート引数を明示的に指定するか、テンプレートパラメーターを再配置することにより、使用するタイプについてのコンパイラにヒントを提供し、テンプレート引数の控除を成功させることができます。
Yes, that's correct. Template argument deduction relies on the compiler being able to deduce the types of the function arguments based on the types of the actual arguments passed in. In the second example you provided, the compiler cannot deduce the correct types because the template parameter types in the function definition are in a different order than the actual arguments passed in. By explicitly specifying the template arguments or rearranging the template parameters, you provide a hint to the compiler as to what types to use, allowing template argument deduction to succeed.