Dart 2中dynamic类型赋值规则与编译类型推断问题解析

Great question—let's unpack how Dart's dynamic type behaves here, step by step.

Can dynamic variables hold values of different types? #

Absolutely! That’s one of the key use cases for dynamic in Dart. Unlike static types like int or String, dynamic explicitly opts out of Dart’s static type checking for the variable. This means you can assign values of any type to the same dynamic variable at different points in your code—no compile-time complaints about type mismatches.

How does the compiler handle type inference for dynamic variables? #

When you declare a variable as dynamic, the compiler doesn’t perform strict static type inference on it. Instead, it treats the variable as a "wildcard" that could be any type, and pushes most type validation to runtime.

For example:

• If you call a method on a dynamic variable, the compiler won’t check at compile time if that method exists on the actual value’s type.
• Operations like arithmetic or string concatenation on dynamic variables are allowed during compilation, even if they don’t make sense for the runtime type of the value.

This flexibility is powerful for cases where you need dynamic behavior, but it comes with a tradeoff: you lose the safety of static type checks, so runtime errors are possible if you perform invalid operations.

Breaking down your example code #

Let’s look at your specific snippet:

dynamic x = 1; 
x = x + "Hello";

1. What’s the type of x? #

The variable x has a static type of dynamic for its entire lifecycle—this never changes, even when you assign different values to it.

Its runtime type does change:

• After the first line, x holds an int value (1), so its runtime type is int.
• If the second line executed successfully, x would hold a String value, making its runtime type String.

2. Will this code compile? #

Yes! Since x is dynamic, the compiler doesn’t validate whether the + operator works between an int and a String during compilation. It assumes you know what you’re doing and lets the code pass.

3. What happens at runtime? #

This code will throw a runtime error. Dart’s int class doesn’t have a + operator that accepts a String as an argument. When the code runs, the runtime will attempt to execute 1 + "Hello" and fail with an error like:

NoSuchMethodError: Class 'int' has no instance method '+' with matching arguments.

In short: the code compiles, but it will crash when executed because you’re trying to perform an invalid operation between an integer and a string.

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