Function generatePointerFinalizer

src/ast/ast_generate.cpp:447–524

    }

    FunctionPtr generatePointerFinalizer ( const TypeDeclPtr & ptrType, const LineInfo & at ) {
        auto pFunc = new Function();
        pFunc->privateFunction = true;
        pFunc->generated = true;
        pFunc->at = pFunc->atDecl = at;
        pFunc->name = "finalize";
        auto THIS0 = new ExprVar(at, "__this");
        auto NULLP0 = new ExprConstPtr(at);
        auto NEQ = new ExprOp2(at, "!=", THIS0, NULLP0);
        auto ifb = new ExprBlock();
        ifb->at = at;
        if ( ptrType->firstType && ptrType->firstType->isClass() ) {
            if ( ptrType->firstType->structType->macroInterface ) pFunc->macroFunction = true;
            auto sizvar = new ExprLet();              // let __size = class_rtti_size(__this)
            sizvar->at = at;
            auto vsiz = new Variable();
            vsiz->at = at;
            vsiz->name = "__size";
            vsiz->type = new TypeDecl(Type::autoinfer);
            vsiz->type->constant = true;
            auto crs = new ExprCall(at,"class_rtti_size");
            crs->arguments.push_back(new ExprVar(at,"__this"));
            vsiz->init = crs;
            //vsiz->init = make_sm
            sizvar->variables.push_back(vsiz);
            ifb->list.push_back(sizvar);
            auto invk = new ExprInvoke(at, "invoke");           // invoke(__this,__this.__finalize)
            auto THISA = new ExprVar(at, "__this");
            auto pAt = new ExprField(at, THISA, "__finalize");
            invk->arguments.push_back(pAt);
            auto pCast = new ExprCast();
            pCast->at = at;
            pCast->castType = new TypeDecl(Type::autoinfer);
            auto THISAA = new ExprVar(at, "__this");
            pCast->subexpr = new ExprPtr2Ref(at,THISAA);
            pCast->subexpr->alwaysSafe = true;
            invk->arguments.push_back(pCast);
            ifb->list.push_back(invk);
            auto THISA1 = new ExprVar(at, "__this");    // delete /*native*/ this, __size
            auto delit1 = new ExprDelete(at, THISA1);
            delit1->native = true;
            delit1->sizeexpr = new ExprVar(at,"__size");
            ifb->list.push_back(delit1);

        } else {
            auto THISA = new ExprVar(at, "__this");     // delete * this
            auto THISR = new ExprPtr2Ref(at, THISA);
            auto delit = new ExprDelete(at, THISR);
            ifb->list.push_back(delit);
            auto THISA1 = new ExprVar(at, "__this");    // delete /*native*/ this
            auto delit1 = new ExprDelete(at, THISA1);
            delit1->native = true;
            ifb->list.push_back(delit1);
        }
        auto THISB = new ExprVar(at, "__this");    // *THIS = null
        auto NULLP = new ExprConstPtr(at);
        auto SETB = new ExprCopy(at, THISB, NULLP);
        ifb->list.push_back(SETB);