为什么在这个模板函数中无法推导类型？

Question

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 ，它就会起作用。有什么方法可以让它从参数中推断出类型吗？

Answer 1

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; };

::value, T> 中的任何 T 都可以做到这一点。 一般来说，由...T...::type构成的函数参数类型称为非推导上下文，不能用于推导T。