Question

我的课程中有以下方法定义：

virtual Calc* Compile(
  Evaluator* evaluator, ResolvedFunCall* fun_call, string* error);

出于某种原因，海湾合作委员会抱怨说：

error: 'Compile' declared as a 'virtual' field

为什么它会认为Compile是一个字段而不是一个方法的任何想法？

Answer 1

当第一个参数对它没有意义时，我得到了那个错误。检查Evaluator是否已知类型：

struct A {
    virtual void* b(nonsense*, string*);
};

=> error: 'b' declared as a 'virtual' field

struct A {
    virtual void* b(string*, nonsense*);
};

=> error: 'nonsense' has not been declared

为了确定某些东西是对象还是函数声明，编译器有时必须扫描整个声明。声明中可能形成声明的任何构造都被视为声明。如果不是，那么任何这样的构造都被认为是表达式。 GCC显然认为因为nonsense不是有效类型，所以它不能成为有效的参数声明，因此会将整个声明视为一个字段（请注意，它另外说明了 error: expected ';' before '(' token ）。在本地范围内同样的事情

int main() {
    int a;

    // "nonsense * a" not treated as declaration
    void f(nonsense*a);
}

=> error: variable or field 'f' declared void

int main() {
    // "nonsense * a" treated as parameter declaration
    typedef int nonsense;
    void f(nonsense*a);
}

=> (compiles successfully)

为什么C ++编译器（gcc）认为函数是“虚拟”字段？

1 个答案: