C ++模板和派生类,不匹配函数

时间:2017-11-18 20:16:53

标签: c++ templates inherited

我尝试编译以下代码:

#include "Fraction.cpp"
#include "Pile.cpp"
#include "Plus.cpp"
#include <iostream>

using namespace std;

Nombre calcul(Element* tab [], int nbElement){

  Pile<Nombre> pile  = Pile<Nombre>(30);
  for(int i = 0 ; i < nbElement ; i++){
      if( tab[i]->getType() == "o" ){
        Fraction f = (*tab[i])(pile.pop(),pile.pop());
        pile.push(f);
      }
      else if(tab[i]->getType() == "n"){
        pile.push(*(tab[i]));
      }
  }
  return pile.pop();

}

int main(){

}

以下是所需的课程:

Fraction.hpp:

#include <iostream>
#include "Element.cpp"
using namespace std;


class Fraction : public Nombre{

private:
  int nume;
  int deno;
  static int pgcd(int x, int y);

public:
  Fraction(int n, int d);
  Fraction(int n);
  int getNume() const;
  int getDeno() const;
  virtual string getType();
  Fraction operator+(const Fraction &) const;
  Fraction operator-(const Fraction &) const;

};

ostream &operator<<(ostream &os,const Fraction &f);
Fraction operator+(const int &n,const Fraction &f);

Pile.hpp:

template <typename T> class Pile{

  private:
    int size;
    int top;
    T* stacktab;

  public:
    Pile<T>();
    Pile<T>(int s);
    bool isEmpty();
    bool isFull();
    bool push(T elt);
    T pop();
    void afficher(ostream &flux);

};

Element.cpp:

#include <string>
using namespace std;

class Element{

public:
  virtual string getType() = 0;
};


class Operateur : public Element{
public:
    virtual string getType() ;
};

class Nombre : public Element{
public:
    virtual string getType() ;
};

string Operateur::getType() {
  return "o";
}

string Nombre::getType() {
  return "n";
}

Plus.cpp:

class Plus : public Operateur{
public:
  Fraction operator()(Fraction f1, Fraction f2);
};

class Moins : public Operateur{
public:
  Fraction operator()(Fraction f1, Fraction f2);
};

Fraction Plus::operator()(Fraction f1,Fraction f2){
  return f1 + f2;
}

Fraction Moins::operator()(Fraction f1, Fraction f2){
  return f1 - f2;
}

当我尝试编译此代码时出现2个错误:

1) error: no match for call to ‘(Element) (Nombre, Nombre)’
         Fraction f = (*tab[i])(pile.pop(),pile.pop());

这里,* tab [i]是Element上的指针,但实例应该是Plus或Moins(它们都来自Operateur,而Operateur来自Element)。我理解这个问题:我只在Plus和Moins类中实现了operator(),因此编译器无法在Element中找到它,但我该如何解决这个问题?

2) error: no matching function for call to ‘Pile<Nombre>::push(Element&)’
         pile.push(*(tab[i]));
note: candidate: bool Pile<T>::push(T) [with T = Nombre]
template <typename T>  bool Pile<T>::push(T elt){
                             ^
note:   no known conversion for argument 1 from ‘Element’ to ‘Nombre’

我使用Pile并尝试使用Element对象推送()。由于Nombre是从Element派生的,我不应该使用Element对象而不是Nombre对象吗?

我一直在寻找几个小时的答案,但我仍然不明白。我觉得我还没有理解一些非常基本的东西。

1 个答案:

答案 0 :(得分:0)

您需要在元素中拥有virtual Fraction operator()(Fraction f1, Fraction f2);

但这不会那么容易,因为Fraction是从Element派生的,所以尚未宣布。你可以试试virtual Element operator()(Element e1, Element e2);。但你会发现从Plus和Moins返回非同质类型将是另一个问题。

你正在将非同质类型推到桩上。那不行。尽管Fraction来自Nombre,但它并不完全是Nombre,而且会切片。