当我从 C# 过渡到 C++ 时,我得到了很多建议,以尽可能使用值语义。几乎可以保证,如果我在任何地方发布带有指针的问题,就会有人出现并建议它应该是一个值。我开始看到曙光,我在代码中发现了很多地方,我可以用堆栈分配的变量(通常是引用)替换动态分配和指针。所以我认为我掌握了使用堆栈分配的对象并将它们作为引用传递给其他函数,当调用者中的对象生命周期比被调用者长时。
但是,当被调用者将获得所有权时,我有一个关于按值传递对象的问题。举个例子:
class Zoo
{
void AddAnimal(Animal animal);
std::list<Animal> animals_;
}
通常从灵活性和单元测试的角度来看,我希望 Animal 成为一个接口(C++ 中的抽象类),这样我就可以轻松地发送任意动物并使用模拟实现对其进行模拟。
在指针实现中,客户端代码会这样调用:
Animal animal = new Lion("Bob");
myZoo.AddAnimal(animal);
这里的客户端代码并不真正需要动物对象。它只是临时构建它以传递给方法。所以在这种情况下,没有共享语义。所以这似乎是价值语义的一个很好的例子。但是,我的理解是不能使用 Animal 作为值传递的参数,因为它是一个抽象类。
我的大多数不采用原始类型的成员函数都采用抽象类参数。那么处理这个问题的 C++ 方法是什么?(这就是你如何用值语义对 C++ 接口进行编程?)