有没有办法在 Haxe 中将类和方法声明为抽象？

Question

在 Haxe 中有没有办法获得 Java 的抽象方法和抽象类的等价物？

我想要的是

// An abstract class.  (Written in a Java/Haxe hybrid.)
abstract class Process<A> {
    public function then<B>( f : A -> Process<B> ) : Process<B> {
        var a : A = go() ;
        return f(a) ;
    }

    abstract public function go( ) : A ;
} 

// A concrete class.
class UnitP<A> extends Process<A> {
    var _a : A ;

    public function new( a : A ) {
       _a = a ; }

    public override function go() : A { return _a ; }
}

我能得到的最接近的方法是将Process 定义为一个接口，并用一个概念上的抽象类ProcessA 来实现它，它定义了这两种方法； go 在 ProcessA 中的实现只是崩溃了。然后我可以从 ProcessA 扩展我在概念上具体的类。

Answer 1

正如 MSGhero 所提到的，Haxe 本身并不支持 Java 风格的抽象。不过有几个人要求，所以 Andy Li 编写了一个宏来为 Haxe 用户提供类似的功能：

https://gist.github.com/andyli/5011520

Answer 2

我如何在 Haxe 中做类似的事情

• 将构造函数设置为私有，以确保不会创建抽象类的实例。
• 创建一个包含所有必须实现的方法的接口

• 创建一个继承自抽象并实现接口的类。

  // An interface
  interface IProcess<A, B> {
      public function then( f : A -> AProcess<B> ) : AProcess<B>;
  
      public function go() : A;
  }
  
  // An abstract class.
  class AProcess<A, B> {
      private function new() {}
  
      public function then<B>( f : A -> AProcess<B> ) : AProcess<B> {
          var a : A = go() ;
          return f(a) ;
      }
  
      private function go() : A {};
  }
  
  // A concrete class.
  class UnitP extends AProcess<A, B> implements IProcess {
      var _a : A ;
  
      public function new( a : A ) {
         super();
          _a = a ;
      }
  
      public function go() : A { return _a ; }
  }