Dart 编译器是否能够推断出 const 构造函数的用法？

Question

我认为 dart 将使用const构造函数，如果它能够自动执行的话，为了解释假设让我们假设我们有一个已经有const constructor的小部件，例如：

class Retry extends StatelessWidget {
  const Retry();
}

然后因为 dart “能够推断出 const 用法”，接下来的两个代码都将意味着并被编译成相同的代码：

1.

Container(
   child: Retry()
)

Container(
   child: const Retry()
)

这个假设是 dart 可以推断他必须对声明了该选项的 class 使用const构造函数吗？ 或者不是？ 我怎样才能证实呢？

Answer 1

不，Dart 编译器不会推断const ，除非句法上下文需要 constness 例如，如果您编写const [A()]将A()放入 const 上下文，这意味着const [A()]与const [const A()] ，很少有其他地方同样适用（例如元数据@A() ）。

通常 Dart 编译器无法在语言规范要求它这样做的地方之外推断const ，因为它可能会潜在地改变程序的语义。 考虑：

class A {
  const A();
}

final Set<A> s = <A>{};
void foo(A a) {
  s.add(a);
}

void main() {
  foo(A());
  foo(A());
  print(s.length);
}

如果编译器只是将const放在构造函数调用上，那么这个程序将打印1 ，但它应该打印2 。

Answer 2

Dart 不能推断出您希望 object 是const ，除非它周围有一些上下文强制它是const 。 在您显示的示例中情况并非如此。 如果你想让 dart 变成const ，你必须在某些时候使用const关键字。

推断的const示例：

const SizedBox(
  child: Retry(),
)

SizedBox上的const强制Retry为const 。 这种情况和类似情况是唯一隐含const的地方。