g7-07704. 子树大小必须在子节点算完之后累加 未做

下面的代码想求每个节点的子树大小，sz 是全为 $0$ 的全局数组，对以 $1$ 为根的树调用 dfs(1, 0)。

void dfs(int u, int fa) {
    sz[u] = 1;
    for (int v : adj[u]) {
        if (v == fa) continue;
        sz[u] += sz[v];
        dfs(v, u);
    }
}

对以 $1$ 为根的链 $1-2-3$（边为 $1-2$、$2-3$）运行后，结果是（ ）。

• A. 结果正确：加法满足交换律，先加子节点还是后加子节点都一样
• B. 得到 $sz[1]=1$、$sz[2]=1$、$sz[3]=1$：累加时子节点的 $sz$ 还停在初值 $0$
• C. 只有 $sz[1]$ 算错，$sz[2]$ 与 $sz[3]$ 仍然正确
• D. 会无限递归，因为 v == fa 的判断已经失效