C语言解释器-5 类型系统

根据分析，有以下类型：

void,

char,

short,

int,

float,

指针。

关联到表达式的操作数，就有：

Operand：操作数基类。

Value：值类型。

ValueOfPointer：指针类型。

ValueOfPointerIndiction：指针内容类型。

ValueOfVariableReference：变量引用类型。

ValueOfFunctionCalling：函数调用类型。不用奇怪，这里将函数调用归结到类型系统以简化操作。

 

类型定义如下：

public enum PrimitiveDataType
    {
        VoidType = 0x0001,
        CharType = 0x0002,
        ShortType = 0x0004,
        IntType = 0x0008,
        FloatType = 0x0010,

        SignedType = 0x0100,
        UnsignedType = 0x0200,

        ConstType = 0x1000,
        PointerType = 0x2000,
        StructureType = 0x4000,

        BaseTypeMask = 0x00FF,
        PointerMask = 0xDFFF
    };

 

类型信息定义：

public struct DataTypeInfo
    {
        public PrimitiveDataType Type;
        public int PointerCount;

        public PrimitiveDataType BaseType

        public bool IsPointer

        public bool IsUnsigned

 

对于变量，则有：

public class Variable : Context
    {
        public DataTypeInfo TypeInfo;
        public int Address;
        public int PointerAddress;
        public int ReferenceCount = 0;

        ...

对于函数，则有：

public class FunctionDefine : Context
    {
        private Stack<List<Expression.Operand.Value>> m_parameterStack;

        public DataTypeInfo ReturnType;
        public Expression.Operand.Operand ReturnValue;

        public bool IsVariableArgument;
        public int ReferenceCount;
        public int IteratorCount = 0;

        public List<Context> ArgumentDefinitions;
        public Block Body;

表达式则为：

public class ExpressionNode
    {
        public Expression.ExpressionToken Token;
        public ExpressionNode LeftNode;
        public ExpressionNode RightNode;

        public override string ToString()
        {
            ...

        }

        public Operand.Operand Evaluate(Context ctx)
        {
            ...        

        }

        public DataTypeInfo ResultType(Context ctx)
        {
            // 表达式结果类型推导

            ...        

        } // func ResultType
    }

 

类型系统粗就，下面就从运行过程来深入了解SharpC。