javascript - 如何打破局部变量的 SweetJS 卫生？

Question

我正在尝试在我的项目中使用 SweetJS。为了更好地理解和学习 SweetJS，我想我会从一个简单的“类”宏开始(我知道有一些存在，只是在这里玩......)。然而，我似乎无法让 SweetJS 停止扰乱我的局部变量“self”和“superCall”。知道我做错了什么吗？我希望 var self=this 保持 var self=this 而不是被破坏。

macro class {
  case { _ $name extends $parent {
    constructor $cargs { $cbody ... }
    $($mname $margs { $mbody ... } ) ... 
  } } => {
    return #{
        function $name $cargs { var self=this,superCall=$parent.prototype; $cbody ... }
        $name.prototype = Object.create($parent.prototype);
        ($name.prototype.$mname = function $margs {var self=this,superCall=$parent.prototype; $mbody ... } ) ...;
    }
  }

  case { _ $name { $body ...} } => {
    return #{ class $name extends test2 { $body ... } };
  }
}

macro super {
    case { $macroName.$name( $($args (,) ...) ) } => {
       letstx $s = [makeIdent("self", #{ $macroName })];
       letstx $sC = [makeIdent("superCall", #{ $macroName })];
       return #{
          $sC.$name.call($s)
       };
    }

    case { $macroName( $args ... ) } => {
       letstx $s = [makeIdent("self", #{ $macroName })];
       letstx $sC = [makeIdent("superCall", #{ $macroName })];
       return #{
          superCall.constructor.call($s);
       };
    }
}

class test extends cow {
 constructor(arg1, arg2) {
     console.log('Hello world!');
 }
 method1(arg1, arg2) {
     super.method1();
 }
}

这扩展为:

function test(arg1, arg2) {
    var self$2 = this, superCall$2 = cow.prototype;
    console.log('Hello world!');
}
test.prototype = Object.create(cow.prototype);
test.prototype.method1 = function (arg1, arg2) {
    var self$2 = this, superCall$2 = cow.prototype;
    superCall.method1.call(self);
};

如您所见，var self=this 已变成 var self$2 = this。我怎样才能防止这种情况发生？我曾尝试使用 makeIdent，但我认为我做错了什么。有任何想法吗？谢谢!

Answer 1

为了打破卫生习惯，您需要提供超出您所在宏范围的词法上下文。在这种情况下，通过使用 $name 绑定(bind)，您实际上是在引用范围在你的宏之外而不是从内部；这使得在这种情况下破坏卫生成为可能。

因此，以下似乎有效:

macro class {
  case { _ $name extends $parent {
    constructor $cargs { $cbody ... }
    $($mname $margs { $mbody ... } ) ... 
  } } => {
    letstx $self = [makeIdent("self", #{ $name })];
    return #{
        function $name $cargs { var $self=this,superCall=$parent.prototype; $cbody ... }
        $name.prototype = Object.create($parent.prototype);
        ($name.prototype.$mname = function $margs {var $self=this,superCall=$parent.prototype; $mbody ... } ) ...;
    }
  }

  case { _ $name { $body ...} } => {
    return #{ class $name extends test2 { $body ... } };
  }
}

请注意，我创建了一个名为 $self 的标识符，并将该类的名称用作我的语法对象。

阅读更多关于破坏卫生的信息 here .