派生类调用父级的方法

Question

(注意：此处提供相应的要点。(

---

我有很多方法是从std::unary_function<K::Point_3, K::FT>加typedef K::Point_3 Point;派生的(底层库CGAL需要它(——这个类被称为Function。

我现在需要向Function_vector:添加一些派生类的实例(例如：MySphere(

#include <CGAL/Exact_predicates_inexact_constructions_kernel.h>
#include <CGAL/Implicit_to_labeling_function_wrapper.h>
typedef CGAL::Exact_predicates_inexact_constructions_kernel K;
typedef K::FT FT;
class Function: public std::unary_function<K::Point_3, K::FT>
{
public:
  typedef K::Point_3 Point; // necessary
  // I'd rather not define operator() here
  virtual K::FT operator()(K::Point_3 p) const {return 0.0;}
};
class MySphere: public Function
{
public:
  virtual K::FT operator()(K::Point_3 p) const {return 3.14;}
};
typedef CGAL::Implicit_multi_domain_to_labeling_function_wrapper<Function>
                                               Function_wrapper;
typedef Function_wrapper::Function_vector Function_vector;
int main()
{
  MySphere f1;
  Function_vector v;
  v.push_back(f1);
  std::cout << f1(CGAL::ORIGIN) << std::endl; // MySphere::operator()
  std::cout << v[0](CGAL::ORIGIN) << std::endl; // Function::operator() :(
  return 0;
}

问题：

Function_vector不接受指针，因此实际抽象的Function类不能是虚拟的，需要从std::unary_function实现operator()。当向Function_vector添加MySphere实例时，MySphere被强制转换为Function，并且Function的operator()被调用，而不是MySphere的。

如何让v[0]调用MySphere::operator()？

Answer 1

由于您将Function对象放入向量中，因此有对象切片，因此您根本无法。虚拟函数需要指针或引用才能正确使用继承树。

我能给你的唯一建议是你重新考虑你的设计。

Answer 2

作为一种变通方法，可以创建另一个包装器MyFun并将其输入到Functionàla 中

#include <CGAL/Exact_predicates_inexact_constructions_kernel.h>
#include <CGAL/Implicit_to_labeling_function_wrapper.h>
#include <memory>
typedef CGAL::Exact_predicates_inexact_constructions_kernel K;
typedef K::FT FT;
class MyFun: public std::unary_function<K::Point_3, K::FT>
{
  public:
  virtual K::FT operator()(K::Point_3 p) const = 0;
};
class MySphere: public MyFun
{
public:
  virtual K::FT operator()(K::Point_3 p) const {return 3.14;}
};
class Function: public std::unary_function<K::Point_3, K::FT>
{
  public:
  typedef K::Point_3 Point;
  explicit Function(std::shared_ptr<MyFun> fun):
    fun_(fun)
  {
  }
  virtual K::FT operator()(K::Point_3 p) const {
    return fun_->operator()(p);
  }
  private:
  std::shared_ptr<MyFun> fun_;
};

typedef CGAL::Implicit_multi_domain_to_labeling_function_wrapper<Function> Function_wrapper;
typedef Function_wrapper::Function_vector Function_vector;
int main()
{
  auto f1 = std::make_shared<MySphere>();
  Function_vector v;
  v.push_back(Function(f1));
  std::cout << (*f1)(CGAL::ORIGIN) << std::endl;
  std::cout << v[0](CGAL::ORIGIN) << std::endl;
  return 0;
}