は、私は次のシグネチャで例えば<code>function</code>と呼ばれるシンプルな機能持ってオーバーロードされた関数

Question

のためのテンプレート引数を推定できませんでした：私はいくつかの他のクラスを持っている

class Type { /* ... */ }; 

bool function(const Type& aValue) { /* ... */ return true; } 

をし、私はそのように記載されている機能をオーバーロードしたいですBaseから派生クラスのみがそれを使用することができること：

：それは正常に動作している

class Base { /* ... */ }; 
class Derived : public Base { /* ... */ }; 

template < typename T > 
bool function(const typename std::enable_if< std::is_base_of< Base, T >::value, T >::type& aValue) { /* ... */ return true; } 

私はこのようにそれを使用する場合

が、私は、私が言及したエラーを取得するテンプレート引数を残す場合（推測できなかったテンプレート引数）：

Derived object; 
function(object); // Compilation error (C2664). 

は、私はテンプレート引数を残すことができます任意の解決策はありますか？

（MSVC 2012）

Answer 1

ネストされた名前指定子（<T>::）を導入することにより、あなたはT上のテンプレート型の控除を阻害します。

template <typename T> 
auto function(const T& aValue) 
    -> typename std::enable_if<std::is_base_of<Base, T>::value, bool>::type 
{ 
    return true; 
} 

またはテンプレート型パラメータリスト内：

あなたは戻り値の型の構文では、例えば、他の場所 enable_ifを置くことによって推定される引数の式のタイプをさせる必要があり、言わ

template <typename T, typename = typename std::enable_if<std::is_base_of<Base, T>::value>::type> 
bool function(const T& aValue) 
{ 
    return true; 
}