还有哪些其他语言支持 Go 的接口风格而无需显式声明？

Question

我是一个经验丰富的业余程序员，我熟悉 C++、D、Java、C# 等。

除了 Go，几乎所有语言都要求我明确声明我正在实现一个接口。这简直是​​荒谬的，因为我们今天有像 Haskell 这样的语言的编译器，它几乎可以用很少的提示进行完整的程序类型推断。

我正在寻找的是一种编程语言：

interface ITest {
    void Test();
}

class Test {
    void Test() { }
}

void main() {
    ITest x;
    x = new Test;
}

哪些语言会看到这一点，并自动将Test 标记为实现ITest？

ETA：我不是在寻找鸭子打字。我正在寻找具有推理功能的严格类型语言。

Answer 1

D 在其标准库 Phobos 中有一个名为 wrap 的东西，它可以满足您的需求。这是从函数的 unittest 复制的示例：

interface A {
  int run();
}

interface B {
  int stop();
  @property int status();
}

class X {
  int run() {
    return 1;
  }

  int stop() {
    return 2;
  }

  @property int status() {
    return 3;
  }
}

auto x = new X();

auto ab = x.wrap!(A, B);
A a = ab;
B b = ab;
assert(a.run() == 1);
assert(b.stop() == 2);
assert(b.status == 3);

该作品将从 v2.064 开始提供，并且已经在 git HEAD 上。

Answer 2

几乎所有的动态语言（javascript、python 等）都支持这种模式。但我猜你对静态验证类型是否满足相关接口的语言感兴趣。

C++

这种支持并不完全符合您的要求，因为您不会直接使用ITest。相反，您将使用一个模板来简单地访问所需的类型成员

// C# style solution 
void UseIt(ITest p) { 
  p.Test();
}

// C++ style solution
template <typename T>
void UseIt(T p) { 
  p.Test();
}

C++ UseIt 方法适用于任何具有可访问成员 Test 的类型。这里不需要接口

class C1 { 
public: 
  void Test() { }
}

class C2 { } 

UseIt<C1>(C1());  // Ok
UseIt<C2>(C2());  // Error! 

TypeScript

Typescript 直接实现了您描述的模式。归根结底，打字稿只是 javascript 的一个薄包装器，因此是动态的。但它确实提供了编译时类型注释。它对接口的支持与您在问题中描述的模式完全匹配

• http://blogs.msdn.com/b/typescript/archive/2013/01/24/interfaces-walkthrough.aspx

F#

F# 通过对内联声明的成员约束提供与 C++ 类似的支持

let inline UseIt<^T when ^T : (member Test: unit -> unit)> s = ...