自動型推論

Question

を禁止する私は、次のしているデモコード：

In function ‘int main()’:             
11:23: error: call of overloaded ‘func(int)’ is ambiguous 
11:23: note: candidates are: 
2:3: note: T func(const U&) [with int i = 1, T = int, U = int] 
5:3: note: T func(const T&) [with int i = 1, T = int] 

：それは役に立たないようだが、問題を表示するには十分ですので、私の実際のコードの煮詰めたバージョンである

template <int i, typename T, typename U> 
T func(const U &t){return i * t;} 

template <int i, typename T> 
T func(const T &t){return 2 * i * t;} 

int main() 
{ 
     return func<1, int>(1); 
} 

したがって、（テンプレートパラメータUの）自動型推論は、テンプレート関数の適切なバージョン（それは2パラメタのみを持つもの）を選択することに干渉することは明らかです。

私は両方のバージョンが基本的で特殊なテンプレートを持っている必要があります。

質問：この時点でタイプを自動的に推論しないようにコンパイラに指示する可能性はありますか（何らかの理由で：2つのパラメータしかないテンプレートを取るなど）。

Answer 1

あなたが効果的に控除を無効にします（ただし、intのこのケースで同じ効果を持っているパラメータのリスト初期化原因となる）初期化子リスト、渡すことができます。

template <int i, typename T, typename U> 
T func(const U &t){return i * t;} 

template <int i, typename T> 
T func(const T &t){return 2 * i * t;} 

int main() 
{ 
     return func<1, int>({1}); 
} 

しかし、あなたの場合には、あなたの場合をfunc<N>(...)に電話したい場合は、func<N, T>(...)に電話する場合は、常にfunc<N, T, U>(...)に電話してほしいので、最初に電話をしたいので、にいつもの控除を無効にしてくださいUにパラメータを非引き継ぎ文脈にすることによって

template <int i, typename T, typename U> 
T func(typename std::common_type<const U &t>::type t){return i * t;} 

template <int i, typename T> 
T func(const T &t){return 2 * i * t;} 

int main() 
{ 
     return func<1, int>({1}); 
} 

Answer 2

あなたは型推論を無効にすることはできませんが、オーバーロードの1を阻害するSFINAEを使用することができます。基本的に推論された型のUがタイプTであれば置換が失敗したためにテンプレート関数を作成

template <int N, typename T, typename U> 
typename std::enable_if< !std::is_same<T,U>::value, T >::type 
func(const U & t) { 
    return i*t; 
} 

を、その時点でSFINAEは潜在的な候補者のセットからテンプレートを削除し、他のテンプレートが選択されます。

C++ 11対応のコンパイラをお持ちでない場合は、enable_ifとis_sameのテンプレートは簡単に書き込むことができます...それらのためのGoogleまたはコメントをドロップするだけです。