所以我正在阅读
this article about type erasure.但该文章中的代码似乎部分不正确,例如：
template <typename T>
class AnimalWrapper : public MyAnimal
{
const T &m_animal;
public:
AnimalWrapper(const T &animal)
: m_animal(animal)
{ }
const char *see() const { return m_animal.see(); }
const char *say() const { return m_animal.say(); }
};
其次是
void pullTheString()
{
MyAnimal *animals[] =
{
new AnimalWrapper(Cow()),/* oO,isn't template argument missing? */
....
};
}
无论如何;有没有人可以通过简单的例子教C语言中哪种类型的擦除？
我想了解它以了解std :: function的工作原理,但无法理解它.
解决方法
这是一个非常简单的类型擦除实例：
// Type erasure side of things
class TypeErasedHolder
{
struct TypeKeeperBase
{
virtual ~TypeKeeperBase() {}
};
template <class ErasedType>
struct TypeKeeper : TypeKeeperBase
{
ErasedType storedObject;
TypeKeeper(ErasedType&& object) : storedObject(std::move(object)) {}
};
std::unique_ptr<TypeKeeperBase> held;
public:
template <class ErasedType>
TypeErasedHolder(ErasedType objectToStore) : held(new TypeKeeper<ErasedType>(std::move(objectToStore)))
{}
};
// Client code side of things
struct A
{
~A() { std::cout << "Destroyed an A\n"; }
};
struct B
{
~B() { std::cout << "Destroyed a B\n"; }
};
int main()
{
TypeErasedHolder holders[] = { A(),A(),B(),A() };
}
如您所见,TypeErasedHolder可以存储任意类型的对象,并正确销毁它们.重要的是,它不会对所支持的类型(1)施加任何限制：例如,它们不必从公共基础派生.
(1)当然,除了可移动之外.
