لماذا لا يمكن استنتاج النوع في وظيفة القالب هذه؟
سؤال
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'
إنه يعمل إذا قمت بتحديد قراءةu003Cint> . هل هناك أي طريقة لجعلها استنتاج النوع من الوسيطة؟
المحلول
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
.
لا تنتمي إلى StackOverflow