如何使用操作符>>但是没有默认构造函数来读取值？

Question

template <class T> 
T Read() { 
    T t; 
    cin >> t; 
    if (cin.fail()) { 
    // ... 
    } 
    return t; 
} 

此通用代码读取类型为T的值，并附加一些错误处理。 它依赖于具有可以解析T的操作符>>，并以这种方式可扩展到新类型。

我没有意识到的是它依赖于T有一个默认的构造函数。 现在我遇到了这个问题。

我有什么选择？

什么是正确的做法？

Answer 1

从输入流进行流式处理始终假定要写入一个完全构造的对象。你无法避免构建一个对象，你所能做的只是允许不同的方式来完成。

做到这一点的一种方法可能是性状。该标准的特点会做你在做什么：

template< typename T > 
struct istream_traits 
{ 
    inline static T read(std::istream& is) 
    { 
    T obj; 
    is >> obj; 
    } 
} 

template< typename T > 
inline T read(std::istream& is) 
{ 
    is >> std::ws; 
    T obj = istream_traits<T>::read(is); 
    is >> std::ws; 
    if(!is.eof()) throw "dammit!"; 
    return obj; 
} 

如果你有一个类型X不能是缺省构造的，但可以从一个IStream构造，下面专门会做：

template<> 
struct istream_traits<X> 
{ 
    inline static X read(std::istream& is) 
    { 
    return X(is); 
    } 
}