Question

首先我正在开发编译器项目，我已经构建了一个符号表

class SymbolTable
{
    Scope * currScope;
    Scope * rootScope;
...
}

//where scope is 
class Scope{
    Scope();
    Scope * parent;
    MyMap * m;
...
};

//and Mymap is 
class MyMap
{
    static const int mapLength = MAX_LENGTH;
    MapElem * arr[mapLength];
    int hash(char* name);
...
}

//MapElem is

    class MapElem{
        char* name;
        void* elem;
        MapElem * next;
    ...
    }

现在Void * elem，可以是（（函数，类，变量，范围））所有r类，我想打印Symbol表来检查Yacc和解析器正在做什么！我试着这样做：

void printScope(Scope *s)
{
    if (s != NULL)
    {
        cout << "{";
        for (int i = 0; i < 71; i++)
        {
            MapElem* tempelem = s->m->getbyId(i);
            while (tempelem != NULL)
            {
                //cout << "element name is" << tempelem->getName();

                if (static_cast <Type*> (tempelem->getElem())){
                    Type* t = (Type*)tempelem->getElem();
                    cout << "element is Class it's name is" << t->getIs_final() << " " << t->get_name() << "(";
                    for (int i = 0; i < t->getInheritedType().size(); i++){
                        if (t->getInheritedType()[i] != NULL)
                        cout << t->getInheritedType()[i]->get_name() << "," << endl;
                    }
                    cout << "):" << endl;
                    printScope(t->getScope());
                }

                else if (static_cast <Function*>(tempelem->getElem())){
                    Function* t = (Function*)tempelem->getElem();
                    cout << "element is Function it's name is" << t->get_final() << " " << t->get_name() << "(";
                    vector<Variable *> paramet = t->getparameters();
                    for (int i = 0;i< paramet.size(); i++){
                        cout << paramet[i]->get_name() << "," << endl;
                    }
                    cout << "):" << endl;
                    printScope(t->getScope());
                }
                else if ((Scope*)tempelem->getElem()){
                    Scope* t = (Scope*)tempelem->getElem();
                    printScope(t);
                }
                else if ((Variable*)tempelem->getElem()){
                    Variable* t = (Variable*)tempelem->getElem();
                    cout << "element is Variable it's name is" << t->getAccessModifier() << " " << t->get_name() << endl;
                }
                tempelem = tempelem->getNext();
            }
        }
        cout << "}"<<endl;
    }


}

代码运行完美，但它没有检查If语句中的[void type]，即使转换错误也总是输入第一个条件，按顺序总是输入类型，即使void是函数还是变量??? 当我更换它们时，也进入第一个stmt它是什么！为什么？？以及如何解决它？或者我如何知道我必须知道哪种数据类型。

Answer 1

传统的答案是向MapElem添加枚举以指明类型：

class MapElem{
    //Enumeration identifying all the types of map element and indicating the contents of elem.
    typedef enum {
        aFunction,
        aClass,
        aVariable,
        aScope
    } Type;

    char* name;
    Type type; //<---- Tells us what elem really is!
    void* elem;
    MapElem * next;
...
};

更多OO方式是为每种类型引入基类和子类。你可能会觉得有点麻烦，因为变量类型（函数，类，变量和范围）是如此不同，以至于你的基类只包含一种提取类型的方法！哦，以及一些返回可打印字符串以检查元素的方法...

您可能会引入一个返回枚举类型或依赖RTTI的虚拟成员。 RTTI通常是一个错误，表明您不了解多态性，或者它并没有真正帮助这种情况。在这种情况下，我怀疑后者。

如何在c ++中知道void *数组的元素类型

1 个答案: