我很清楚boost::any
and boost::variant
,但在这种情况下,它们不符合我的需求。
通常,为了包含一个未知类型的对象,人们会从一个公共基础派生它并通过虚拟方法访问该实例。但是,如果不可能使用一个共同的基地怎么办?
我知道在这个例子中你必须知道包含的类型,但请耐心等待。std::vector
是一个模板类,顶级类也是一个模板。据我所知,如果不修改 STL 标头,就无法为其提供非模板库。现在,假设我想创建一个单一类型的向量,但包含的类并不关心类型,但它确实需要访问一些“常用”方法,size()
例如pop_back()
。
使用boost::any
,类型已被删除,几乎不可能取消引用包含的对象。boost::variant
并且tuple
需要事先知道可以插入哪些类型,从而导致包含类本身就是一个模板。
我到目前为止是这样的:
struct container
{
virtual ~container() = 0;
virtual void pop_back() = 0;
virtual size_t size() = 0;
...
}
template < typename T >
struct contained
{
std::vector< T > _vec;
contained ( size_t n, T _what ) : _vec( n, _what ) {}
virtual void pop_back() { _vec.pop_back(); }
...
}
class some_class
{
container* _cont;
template < typename T >
void create ( T _first ) { _cont = new contained< T >(1,_first); }
...
}
这里客户端可以调用,create()
模板参数应该自动确定。我知道这不是一个很好的例子,但我试图对客户端隐藏模板参数。如果不这样做,some_class
还必须跟踪存储的类型。
我的方法依赖于导致性能损失的虚拟调用,尤其是当内部类有自己的虚拟方法时。
还有其他类型的容器更适合我的需要吗?
理想情况下,我想要这样的东西
container = std::vector< T >;
container.pop_back();
container.push_back( T2 ); // compile error if types don't match
在内部,它将跟踪类型并进行简单的转换,而不是依赖于虚拟方法。几乎就像auto
不同之处在于一旦声明它的类型可以改变。
编辑:
实际上,我想围绕std::basic_filebuf
. 此包装类使用或char
基于BOM 打开文件。包装器也派生自模板参数,无论客户选择什么。在内部,它将文件中的 unicode 代码点转换为客户端所需的编码。存储内部时会出现问题,因为它可以使用任何类型作为模板参数声明。我不想使用模板专业化,因为我希望客户端能够传入他们自己的实例。wchar_t
unsigned long
basic_filebuf
basic_filebuf
basic_filebuf
必须与 VS2010 兼容,它具有 C++11 的有限功能。