テンプレート識別子とテンプレート関数内のdecltypeパラメータタイプ

Question

あなたはどんな点でより良いと思いますか？

template <typename T> void func(T x,T y) {} 

又は

template <typename T> void func(T x,decltype(x) y) {} 

私見は、第2の形態は、xとyの種類との間でリンクが明示的であるため、好ましいと思われる、少なくともテンプレート識別子ものの名前を変更すると、より少ないエラーが発生しやすいと思われる場合。

EDIT

2番目の形式は最初の形式はまったく同じタイプを必要としているときに、最初のパラメータのための1つの使用のサブタイプを持つ関数を呼び出してみましょう。この議論は以前の議論よりもやや良いようです。

Answer 1

意味的に異なるので、達成したいことに依存します。 2番目は最初のものよりも制限的です。考えてみましょう：SFINAEで

template <typename T> void func1(T x, decltype(x) y) {} 
template <typename T> void func2(T x, T y) {} 

func1(2., 4); // converts 4 to double 
func2(2., 4); // fails to compile 

はそれが（ないnecessarelyコンパイルエラー）異なるコンパイル時の行動につながることができますコンテキスト、および2つのオプションは、間接的に異なるプログラムをコンパイルすることができます。

Answer 2

両方の形式は、正確にはと同じではありません。 2番目のものは推論されません。

最初の引数は、引数の1つに暗黙的な変換（サブタイプだけでなく）を許可しません。これは、変換するタイプに予想される型（たとえばint）を統一することができないためですfloat）：See on coliru。