求助：解析Dart中const与Iterable不同组合的差异

首先明确前提：Dart中[]字面量默认创建的是List，而List是Iterable的子类，因此可以直接赋值给Iterable类型的变量。下面逐个拆解每种声明的细节与限制：

1. Iterable<String> iterable = ['Salad', 'Popcorn', 'Toast']; #

• 静态类型：Iterable<String>，实际运行时实例是可变的List<String>
• 操作限制：
  • 由于静态类型是Iterable，直接调用Iterable接口方法只能做遍历、过滤等只读操作，没有add/remove这类修改元素的方法；
  • 如果通过类型强转（(iterable as List<String>).add('Rice')）可以修改底层List，但不推荐这么做——声明为Iterable的初衷就是对外暴露只读接口；
  • 变量本身可以重新赋值（比如iterable = ['New Item']）。

2. Iterable<String> iterable2 = const ['Salad', 'Popcorn', 'Toast']; #

• 静态类型：Iterable<String>，实际运行时实例是编译时常量不可变List<String>
• 操作限制：
  • 底层实例完全不可修改，就算强转也无法增删改元素；
  • 变量本身可以重新赋值（比如iterable2 = ['New List']）。

3. const Iterable<String> iterable3 = ['Salad', 'Popcorn', 'Toast']; #

• 静态类型：Iterable<String>，变量是编译时常量，实例是不可变List<String>
• 操作限制：
  • 变量本身不能重新赋值（const修饰变量后，变量成为常量，值固定）；
  • 底层实例也完全不可修改。

4. var iterable4 = ['Salad', 'Popcorn', 'Toast']; #

• Dart自动推断静态类型为List<String>，实例是可变List<String>
• 操作限制：
  • 可以直接调用add/remove/clear等方法修改元素（比如iterable4.add('Bread')）；
  • 变量本身可以重新赋值（比如iterable4 = ['New List']）。

5. var iterable5 = const ['Salad', 'Popcorn', 'Toast']; #

• Dart自动推断静态类型为List<String>，实例是编译时常量不可变List<String>
• 操作限制：
  • 底层实例无法修改元素；
  • 变量本身可以重新赋值（比如iterable5 = ['New List']）。

6. const iterable6 = ['Salad', 'Popcorn', 'Toast']; #

• Dart自动推断静态类型为List<String>，变量是编译时常量，实例是不可变List<String>
• 操作限制：
  • 变量本身不能重新赋值；
  • 底层实例也完全不可修改。

核心总结 #

• 变量可变性：变量前加const → 变量是常量，不可重新赋值；不加则可以。
• 实例可变性：字面量前加const → 实例是编译时常量，不可修改元素；不加则是可变List。
• 类型声明的作用：声明为Iterable只是限制了变量的静态类型，实际运行时还是List，但Iterable接口没有修改方法，只能做只读操作（除非强转）。

内容的提问来源于stack exchange，提问作者user3523406