Dart 中的 Object<type> 语法是什么意思？

Question

在以下代码示例中，来自flutter docs：

class RandomWords extends StatefulWidget {
  @override
  createState() => RandomWordsState();
}

class RandomWordsState extends State<RandomWords> {
  @override
  Widget build(BuildContext context) {
    final wordPair = WordPair.random();
    return Text(wordPair.asPascalCase);
  }
}

State<RandomWords> 语法究竟是什么意思？

我知道您可以使用以下语法为集合中包含的对象（例如列表）指定类型 - List <String>

但我无法理解State<RandomWords> 背后的动机。

此外，您如何在RandomWords 声明中引用RandomWordsState 并在RandomWordsState 声明中引用RandomWords？这不应该导致循环引用错误吗？

我来自像 python 这样的动态类型语言，这对我来说有点奇怪，有人能指出我正确的地方吗？

Answer 1

<RandomWords> 是传递给State 类的泛型类型参数。

State 类看起来像

abstract class State<T extends StatefulWidget> extends Diagnosticable {

并且RandomWords 将被传递给T 类型参数，该类型参数具有T 必须是StatefulWidget 的子类的约束。

State 还有一个字段和getter，其中使用了类型参数

  T get widget => _widget;
  T _widget;

这会产生一个小部件类型的属性 它在其子类RandomWordsState 中提供了正确的自动补全和类型检查

假设你有

class RandomWords extends StatefulWidget {
  RandomWords({this.fixed});

  final WordPair fixed;

  @override
  createState() => RandomWordsState();
}

class RandomWordsState extends State<RandomWords> {
  @override
  Widget build(BuildContext context) {
    // vvvv here we can access `fixed` in a strongly typed manner
    final wordPair = widget.fixed ?? WordPair.random();
    return Text(wordPair.asPascalCase);
  }
}

另见https://www.dartlang.org/guides/language/language-tour#generics