我正在用 C++ 开发一些图像处理算法。为了使我的代码更通用并且能够在不重新编译整个项目的情况下配置所有内容,我想出了一个想法,将处理算法分成小部分(“提取器”),将它们作为从单个接口继承的对象和从工厂方法解析的 XML 文件中配置它们的执行顺序和参数。但是这些基本处理块的输入和输出类型可以不同,所以我考虑使用 boost::any 作为通用类型,所以每个对图像的操作看起来像:
boost::any Process(const boost::any& feature);
每个对象都应在内部存储正确的输入和输出类型,并在每次执行时执行装箱-拆箱。使用这种技术是个好主意吗?它满足了我的需求,并且在 Python 中非常自然,但同时在 C++ 中看起来像一个丑陋的 hack,它本质上是静态类型的,所以我怀疑是否应该使用它。
UPD:一个更清楚的小例子
// Base class for all processing
template <typename Input, typename Output>
class Processor {
public:
virtual ~Processor();
virtual Output Process(const Input& input) const = 0;
};
// Generalized type-erased processor
typedef Processor<boost::any, boost::any> TypeErasedProcessor;
// Boxing-unboxing wrapper
template <typename Input, typename Output>
class ProcessorWrapper: public TypeErasedProcessor {
public:
boost::any Process(const boost::any& boxed_input) const {
Input input = boost::any_cast<Input>(boxed_input);
Output output = processor_->Process(input);
boost::any boxed_output = output;
return boxed_output;
}
private:
std::shared_ptr<Processor<Input, Output>> processor_;
};
class SimpleImageProcessingChain: public TypeErasedProcessor {
public:
boost::any Process(const boost::any& input) const {
boost::any result = input;
for (const auto& processor: processors_) {
result = processor->Process(result);
}
return result;
}
private:
std::vector<std::shared_ptr<TypeErasedProcessor>> processors_;
};