無法推斷出模板參數的重載函數

Question

我有一個名爲function例如具有以下簽名的簡單功能：

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<Derived>(object); 

但是如果我離開這個模板參數我得到的提到的錯誤（無法推斷出模板參數）：

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

是否有任何解決方案，我可以離開模板參數？

（MSVC 2012）

Answer 1

通過引入嵌套名指定中（<T>::）你抑制對T模板類型推演。

這就是說，你必須讓參數表達式類型通過將enable_if其他地方，例如，在返回類型的語法可以推斷：

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

或模板類型參數列表：

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