项目中智能指针多态性丢失的问题

FrozenLemonTee

项目地址：https://github.com/FrozenLemonTee/original
是一个仿STL的工具库项目。

问题源自于transform和transformStream两个类的设计上。transform是一个接口，通过继承这个类并且实现apply方法，可以直接以仿函数的方式调用这个类，将定义好的变换施加给项目中继承了iterable接口的可迭代对象中存放的所有元素。transformStream是一个中间的临时类，同时和transform一样也是可调用类，用于对若干个传入函数的transform所构成的复合调用链进行管理，在自己被调用时按照调用链顺序依次调用相关的transform以达到复合调用的目的。复合调用链用+操作符进行连接，通过重载+操作符自动生成transformStream，并将调用链中的transform加入生成的transformStream的管理。

在测试中发现，传入函数的复合调用链的每个transform派生类对象在被调用时，调用的是基类的apply方法,而基类定义的是空操作，也就导致整个调用链被调用时不施加任何变换。经过检查是transformStream的pushEnd方法存在问题：

    template<typename TYPE>
    void original::transformStream<TYPE>::pushEnd(const transform<TYPE>& t) {
        this->stream.pushEnd(std::make_shared<std::decay_t<decltype(t)>>(t));
    }

当以智能指针将传入的transform包装时，智能指针的参数无法获得传入的对象t正确的派生类型，导致对象t以基类的形式被存储。

我尝试了很多方案想要解决这个问题，一开始怀疑是自定义的容器chain的问题，于是换成std::vector，或者考虑以std::function的方式存储变换，但是都无效，想请教一下如何设计可以避免这个问题？

FrozenLemonTee

相关测试的例子在项目的test/test2.cpp中，最后几行就是针对该问题的测试

sunrisepeak

@FrozenLemonTee 在项目中智能指针多态性丢失的问题中说：

make_shared

如果传近来的是个const, 用make_shared创建对象的时候使用decay_t导致创建的就是基类对象了, 应该直接创建t的原类型, 向上转型自动会做

FrozenLemonTee

可以具体说一下怎么做吗

sunrisepeak

@FrozenLemonTee 在项目中智能指针多态性丢失的问题中说：

智能指针的参数无法获得传入的对象t正确的派生类型，导致对象t以基类的形式被存储。

发现你已经清楚是这个问题了, 对于涉及避免就是可能有两个简单的解决方法

1 想办法拿到真实类型, 如果过程中要重新创建对象
2 通过外部创建准确对象然后传递过程move指针

sunrisepeak

@FrozenLemonTee 避免创建对象, 如果必须创建可以在最容易获取原对象的地方创建对象然后move

FrozenLemonTee

已完成。
最终解决方案是，通过cloneable接口的clone方法，实现具体类对象的动态创建：
https://github.com/FrozenLemonTee/original/commit/fe14776ccc411790084dcd4ea1a002d3ee22eaa7
https://github.com/FrozenLemonTee/original/commit/cdd94d92c29c09bb58ca4d6f4b9eadb8272e7e27

D2Learn Forums

项目中智能指针多态性丢失的问题