如何在 Dart 中实现泛型类专业化

Question

在 Dart 中我们可以使用泛型类 [class]。我们也可以专门化那些类 [class]。但是在运行时不使用专业化。 （在 C++ 中，这称为模板编程）

示例：以下代码将导致输出

你好世界 你好吗

class MyClass<T> {
  foo( print('Hallo world'); );
}

class MyClassInt implements MyClass<int> {
  @override
  foo( print('How are you'); );
}

main() {
  MyClass<int> a = Myclass<int>();
  MyClassInt b = MyClassInt();

  a.foo();
  b.foo();
}

如何进行特化（此处为 [int] 类型），即在运行时调用它，即

main() {
  MyClass<int> a = Myclass<int>();

  a.foo();
}

应该导致结果“你好吗”。

Answer 1

正如 jamesdlin 所说，Dart 不支持专业化。但是你可以做这样的事情来制造错觉：

class MyClass<T> {
  factory MyClass() {
    if (T == int) {
      return MyClassInt() as MyClass<T>;
    } else {
      return MyClass._();
    }
  }

  // Hidden real constructor for MyClass
  MyClass._();

  void foo() {
    print('Hallo world');
  }
}

class MyClassInt implements MyClass<int> {
  @override
  void foo() {
    print('How are you');
  }
}

void main() {
  final a = MyClass<int>();
  final b = MyClassInt();
  final c = MyClass<String>();

  a.foo(); // How are you
  b.foo(); // How are you
  c.foo(); // Hallo world
}