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绑定，您实际上是在宏之外引用范围而不是从内部;在这种情况下，这可以使破碎卫生成为可能。

结果，以下似乎有效：

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。

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

1 个答案: