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

Question

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

class Retry extends StatelessWidget {
  const Retry();
}

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

1.

Container(
   child: Retry()
)

Container(
   child: const Retry()
)

这个假设是 dart 可以推断他必须为声明了该选项的类使用 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 无法推断您希望该对象为const，除非它周围有一些上下文迫使它为const。在您展示的示例中，情况并非如此。你必须在某个时候使用const关键字，如果你想让dart做出一些东西const。

推断const的示例：

const SizedBox(
  child: Retry(),
)

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