Swift中Mirror反射非可选类型返回nil的原因咨询

Great question—this boils down to how Swift's Mirror works under the hood, and a key detail about what counts as a "reflectable" structure for it. Let's break this down step by step:

First, let's recap your examples #

When name is an optional String?:

struct ProgrammingLanguage { let name: String? }
let language = ProgrammingLanguage(name: "Swift")
let mirror = Mirror(reflecting: language.name)
print(mirror.children.first?.value) // Optional("Swift")

This outputs as expected. But when name is a non-optional String:

struct ProgrammingLanguage { let name: String }
let language = ProgrammingLanguage(name: "Swift")
let mirror = Mirror(reflecting: language.name)
print(mirror.children.first?.value) // nil

You get nil instead of the expected "Swift". Here's why:

1. Mirror is built to inspect structured/aggregate types #

Mirror exists to look into the internal structure of types that have enumerable components:

• Structs (their stored properties)
• Enums (their cases and associated values)
• Classes (their stored properties)
• Tuples (their individual elements)
• Collections (like arrays or dictionaries)

For "atomic" value types like String, Int, Bool, or Float, Swift treats them as single, indivisible units—they don't have exposed internal sub-components to reflect. So when you mirror a non-optional String, the mirror.children collection is empty. That means mirror.children.first is nil, and accessing ?.value naturally returns nil too.

2. Optional types are secretly enums with associated values #

The critical difference with String? is that all optional types in Swift are syntactic sugar for the Optional enum in the standard library. Its simplified definition looks like this:

enum Optional<Wrapped> {
    case none
    case some(Wrapped)
}

When you set language.name = "Swift" as a String?, you're actually creating an instance of Optional<String>.some("Swift")—an enum case that carries your string as an associated value.

When you mirror this enum instance, Mirror recognizes it as a structured type and includes the associated value as a child element. That's why mirror.children.first?.value returns something (your output shows Optional("Swift")—a minor quirk of how the value is printed, but the core point is the child exists at all).

A quick tip: Accessing values of atomic types via Mirror #

If you need to get the actual value of a non-optional String (or other atomic type) through Mirror, you don't need to use children. You can check the mirror's description property, or just use the original value directly—Mirror is designed for inspecting structure, not extracting simple, indivisible values.

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