為什么編譯器會生成根本不是錯誤的錯誤-有解無憂

我試圖用 C 撰寫自己的 VM 實作，這本書來自《Crafting Interpreters》。

這本書構建了一個基于堆疊的虛擬機，我正在撰寫一個C 版本

所以這是編譯器對我大喊大叫的代碼。

物件.h

#pragma once

#include "common.h"
#include "value.h"
#include "chunk.h"

#define OBJ_TYPE(value)        (AS_OBJ(value)->type)

#define IS_CLOSURE(value)      isObjType(value, OBJ_CLOSURE)
#define IS_FUNCTION(value)     isObjType(value, OBJ_FUNCTION)
#define IS_NATIVE(value)       isObjType(value, OBJ_NATIVE)
#define IS_STRING(value)       isObjType(value, OBJ_STRING)

#define AS_CLOSURE(value)      ((ObjClosure*)AS_OBJ(value))
#define AS_FUNCTION(value)     ((ObjFunction*)AS_OBJ(value))
#define AS_NATIVE(value)       (((ObjNative*)AS_OBJ(value))->function)
#define AS_STRING(value)       ((ObjString*)AS_OBJ(value))
#define AS_CSTRING(value)      (((ObjString*)AS_OBJ(value))->chars)

typedef enum {
    OBJ_CLOSURE,
    OBJ_FUNCTION,
    OBJ_NATIVE,
    OBJ_STRING,
    OBJ_UPVALUE
} ObjType;

struct Obj {
    ObjType type;
    Obj* next;
};

struct ObjString :Obj {
    int length;
    char* chars;
    uint32_t hash;
};

struct ObjFunction :Obj {
    int arity;
    int upvalueCount;
    Chunk chunk;
    ObjString* name;
};

struct ObjUpvalue :Obj {
    Value* location;
};

struct ObjClosure :Obj {
    ObjFunction* function;
    ObjUpvalue** upvalues;
    int upvalueCount;
};

typedef Value(*NativeFn)(int, Value*);

struct ObjNative :Obj {
    NativeFn function;
};

ObjUpvalue* newUpvalue(Value* slot);
ObjClosure* newClosure(ObjFunction* function);
ObjFunction* newFunction();
ObjNative* newNative(NativeFn function);
ObjString* takeString(char* chars, int length);
ObjString* copyString(const char* chars, int length);
void printObject(Value value);

static inline bool isObjType(Value value, ObjType type) {
    return IS_OBJ(value) && AS_OBJ(value)->type == type;
}

通用檔案

#pragma once

#include <stdbool.h>
#include <stddef.h>
#include <stdint.h>

#define DEBUG_PRINT_CODE
#define DEBUG_TRACE_EXECUTION

#define UINT8_COUNT (UINT8_MAX   1)

值.h

#pragma once

#include "common.h"
#include "object.h"

typedef enum {
    VAL_BOOL,
    VAL_NIL,
    VAL_NUMBER,
    VAL_OBJ
} ValueType;

#define IS_BOOL(value)    ((value).type == VAL_BOOL)
#define IS_NIL(value)     ((value).type == VAL_NIL)
#define IS_NUMBER(value)  ((value).type == VAL_NUMBER)
#define IS_OBJ(value)     ((value).type == VAL_OBJ)

#define AS_OBJ(value)     ((value).as.obj)
#define AS_BOOL(value)    ((value).as.boolean)
#define AS_NUMBER(value)  ((value).as.number)

#define BOOL_VAL(value)   (Value {.type = VAL_BOOL, .as = {.boolean = value}})
#define NIL_VAL           (Value {.type = VAL_NIL, .as = {.number = 0}})
#define NUMBER_VAL(value) (Value {.type = VAL_NUMBER, .as = {.number = value}})
#define OBJ_VAL(object)   (Value {.type = VAL_OBJ, .as = {.obj = (Obj*)object}})

struct Value {
    ValueType type;
    union {
        bool boolean;
        double number;
        Obj* obj;
    } as;
    bool operator==(Value b);
};

struct ValueArray {
    int count;
    int capacity;
    Value* values;

    ValueArray();
    ~ValueArray();
    void write(Value value);
};

void printValue(Value value);
void freeValueArray(ValueArray* array);

塊.h

#pragma once

#include "common.h"
#include "value.h"

typedef enum {
    OP_CONSTANT,
    OP_NIL,
    OP_TRUE,
    OP_FALSE,
    OP_POP,
    OP_GET_LOCAL,
    OP_SET_LOCAL,
    OP_GET_GLOBAL,
    OP_DEFINE_GLOBAL,
    OP_SET_GLOBAL,
    OP_GET_UPVALUE,
    OP_SET_UPVALUE,
    OP_EQUAL,
    OP_GREATER,
    OP_LESS,
    OP_NEGATE,
    OP_ADD,
    OP_SUBTRACT,
    OP_MULTIPLY,
    OP_DIVIDE,
    OP_NOT,
    OP_PRINT,
    OP_JUMP,
    OP_JUMP_IF_FALSE,
    OP_LOOP,
    OP_CALL,
    OP_CLOSURE,
    OP_CLOSE_UPVALUE,
    OP_RETURN
} OpCode;

struct Chunk {
    int count;
    int capacity;
    uint8_t* code;
    int* lines;
    ValueArray constants;

    Chunk();
    ~Chunk();
    void write(uint8_t byte, int line);
    int addConstant(Value value);
};

將這些檔案與其他一些檔案一起編譯時，我收到以下錯誤訊息

Build started...
1>------ Build started: Project: Clox, Configuration: Debug x64 ------
1>chunk.cpp
1>D:\Ankit\Programming\C  \Clox\object.h(45,8): error C3646: 'chunk': unknown override specifier
1>D:\Ankit\Programming\C  \Clox\object.h(45,13): error C4430: missing type specifier - int assumed. Note: C   does not support default-int
1>D:\Ankit\Programming\C  \Clox\object.h(51,7): error C2143: syntax error: missing ';' before '*'
1>D:\Ankit\Programming\C  \Clox\object.h(51,7): error C4430: missing type specifier - int assumed. Note: C   does not support default-int
1>D:\Ankit\Programming\C  \Clox\object.h(51,17): error C2238: unexpected token(s) preceding ';'
1>D:\Ankit\Programming\C  \Clox\object.h(61,15): error C4430: missing type specifier - int assumed. Note: C   does not support default-int
1>D:\Ankit\Programming\C  \Clox\object.h(61,16): error C2065: 'NativeFn': undeclared identifier
1>D:\Ankit\Programming\C  \Clox\object.h(61,24): error C2513: 'int': no variable declared before '='
1>D:\Ankit\Programming\C  \Clox\object.h(61,24): fatal error C1903: unable to recover from previous error(s); stopping compilation
1>INTERNAL COMPILER ERROR in 'C:\Program Files\Microsoft Visual Studio\2022\Community\VC\Tools\MSVC\14.30.30705\bin\HostX64\x64\CL.exe'
1>    Please choose the Technical Support command on the Visual C  
1>    Help menu, or open the Technical Support help file for more information
1>Done building project "Clox.vcxproj" -- FAILED.
========== Build: 0 succeeded, 1 failed, 0 up-to-date, 0 skipped ==========

我不明白為什么會出現這些錯誤。

uj5u.com熱心網友回復：

您的包含檔案中有一個回圈。

object.h  => chunk.h => value.h => object.h

所以你得到的宣告并不是所有其他型別都定義了（因為#pragma once阻止了遞回發生）。

您需要通過在這些檔案之一中使用前向宣告并洗掉 #include 來打破回圈。

如果沒有所有檔案，很難重現問題。但我認為這可以通過以下更改來解決（在value.h）

1：洗掉這個包括：

#pragma once

#include "common.h"
// -> Remove this line #include "object.h"

2：添加前向宣告：

struct Obj;     // Forward declare the class Obj
struct Value {
    ValueType type;
    union {
        bool boolean;
        double number;
        Obj* obj;
    } as;
    bool operator==(Value b);
};

從頭檔案中包含的一般規則是：

審慎，只包括你需要的。
如果您不需要完整的型別資訊，請向前宣告而不是包含。
即如果你只使用一個指標然后向前宣告類。

這可能意味著源檔案將需要一個額外的包含行，但這沒關系，因為您通常不包含源檔案，您不會以回圈結束。

旁注還有一些其他奇怪的事情你正在做。

放在typedef所有結構的前面。

`typedef struct Value { /* STUFF */} Value;

這是 C 代碼，在 C 中不需要。你可以簡單地做：

`struct Value { /* STUFF */};

并具有相同的效果。

當可以使用正常功能時，不要使用宏。

// There is no type checking here.
// This is literally text replacement and can go wrong so easily.
#define IS_BOOL(value)    ((value).type == VAL_BOOL)

// This is type checked.
// Will more than likely be inclined by the compiler so is
// no more expensive.
inline bool isBool(Value const& value) {return value.type == VA_BOOL;}

當可以使用 const 運算式時，不要使用宏。

#define UINT8_COUNT (UINT8_MAX   1)

static constexpr std::uint8_t UINT8_COUNT = (UINT8_MAX   1);

更多未正確型別檢查的宏魔法：

#define BOOL_VAL(value)   (Value {.type = VAL_BOOL, .as = {.boolean = value}})

在這種情況下，一組適當的建構式將解決這個問題。而且您不需要依賴于將正確的宏放在適當的位置，編譯器將檢查型別并分配使用正確的值。

不要創建自己的陣列型別：

struct ValueArray {
    int count;
    int capacity;
    Value* values;

    ValueArray();
    ~ValueArray();
    void write(Value value);
};

該標準已經定義了一些很好的替代方案，并且它們的作業效率很高（std::vector<>或std::array<>其他一些）。

轉載請註明出處，本文鏈接：https://www.uj5u.com/ruanti/389997.html

標籤：C 视觉工作室编译器错误手工艺口译员

上一篇：SQL自聯接-SQL和Access

下一篇：如何將fltk圖形庫與VisualStudio(community)2022一起用于Windows11PC上的C 專案