c++ - 型 T と U が同じ場合、関数テンプレートは型を推定できません

Answer 1

問題は、TとUが同じということではなく、関数プロトタイプにV型に関する記述があることです。

VB を返すことを宣言し、戻り値の型を T()*U() として定義していることを考えると、どうあるmatrix<V>べきか疑問に思います。

私は B と戻り値の型が でmatrix<decltype(declval<T>()*declval<U>())>、 V がないことを期待します (これはパラメーター リストに含まれるべきではありません)。