Почему нельзя определить тип в этой функции шаблона? - PullRequest
Новая
       36

Почему нельзя определить тип в этой функции шаблона?

4 голосов
/ 30 октября 2010 
template<typename T>
std::istream & read(std::istream & istr, typename std::enable_if<std::is_pod<T>::value, T>::type & value)
{
    return istr.read( reinterpret_cast<char*>(&value), sizeof(T));
}

int main() 
{
    int x;
    read(cin, x); // error here
}


error C2783: 'std::istream &read(std::istream &,std::enable_if<std::tr1::is_pod<_Ty>::value,T>::type &)' : could not deduce template argument for 'T'

Работает, если я укажу read .Есть ли способ заставить его выводить тип из аргумента?

1 Ответ

15 голосов
/ 30 октября 2010 
template<typename T>
std::istream & read(std::istream & istr, T value, 
                    typename std::enable_if<std::is_pod<T>::value>::type* = 0)
{
    return istr.read( reinterpret_cast<char*>(&value), sizeof(T));
}

Или 

template<typename T>
typename std::enable_if<std::is_pod<T>::value, std::istream>::type &
read(std::istream & istr, T value)
{
    return istr.read( reinterpret_cast<char*>(&value), sizeof(T));
}

Причина, по которой вы не работаете, состоит в том, что недостаточно определить T, если вы знаете тип аргумента. Что если enable_if будет шаблоном, подобным следующему? 

template<int N, typename T> struct A { typedef int type; };

Любой T в <std::is_pod<T>::value, T> сделает это. Как правило, тип параметра функции, сформированный из ...T...::type, называется не выводимым контекстом и не может использоваться для вывода T.

...