乘积为正数的最长子数组长度

记住「遇 0 清零、遇正 pos+1、遇负 正负交换」，pos 和 neg 一直在记两种乘积的最长结尾长度。

开局三个计数都为 0。从左往右逐个读：盯住 pos（正乘积最长结尾）和 neg（负乘积最长结尾）怎么随符号变化。

读到第 0 个是正数 1。正数不改变乘积符号：正的更正、负的更负，pos 能直接接着长。

更新：1 > 0　→　pos = 旧pos+1 = 1；neg = 旧neg为0仍为 0。现在 pos=1，绿色就是当前「乘积为正」的最长结尾段。它超过了旧 ans，刷新 ans=1。

读到第 1 个是负数 -2。负数翻转符号：原来的正段会变负、原来的负段会变正，pos 和 neg 要互换着更新。

更新：pos=0（当前以这个数结尾还凑不出正乘积），neg=2。绿色暂时消失，等后面再出现负数把负段翻回正段。ans 仍是 1。

读到第 2 个是负数 -3。负数翻转符号：原来的正段会变负、原来的负段会变正，pos 和 neg 要互换着更新。

更新：-3 < 0　→　pos = 旧neg+1 = 3；neg = 旧pos+1 = 1。现在 pos=3，绿色就是当前「乘积为正」的最长结尾段。它超过了旧 ans，刷新 ans=3。

读到第 3 个是正数 4。正数不改变乘积符号：正的更正、负的更负，pos 能直接接着长。

更新：4 > 0　→　pos = 旧pos+1 = 4；neg = 旧neg+1 = 2。现在 pos=4，绿色就是当前「乘积为正」的最长结尾段。它超过了旧 ans，刷新 ans=4。

读到第 4 个是负数 -5。负数翻转符号：原来的正段会变负、原来的负段会变正，pos 和 neg 要互换着更新。

更新：-5 < 0　→　pos = 旧neg+1 = 3；neg = 旧pos+1 = 5。现在 pos=3，绿色就是当前「乘积为正」的最长结尾段。还没超过 ans=4，保持。

读到第 5 个是 0。乘积一旦乘上 0 就变 0，绝不可能为正——它会把当前所有连胜清零。

更新：pos 和 neg 都清零（红色标出这个 0 是分界）。前面攒的连胜到此作废，下一段从 0 之后重新开始。ans 仍保留历史最大 4。

读到第 6 个是正数 6。正数不改变乘积符号：正的更正、负的更负，pos 能直接接着长。

更新：6 > 0　→　pos = 旧pos+1 = 1；neg = 旧neg为0仍为 0。现在 pos=1，绿色就是当前「乘积为正」的最长结尾段。还没超过 ans=4，保持。

读到第 7 个是正数 7。正数不改变乘积符号：正的更正、负的更负，pos 能直接接着长。

更新：7 > 0　→　pos = 旧pos+1 = 2；neg = 旧neg为0仍为 0。现在 pos=2，绿色就是当前「乘积为正」的最长结尾段。还没超过 ans=4，保持。

读到第 8 个是负数 -8。负数翻转符号：原来的正段会变负、原来的负段会变正，pos 和 neg 要互换着更新。

更新：pos=0（当前以这个数结尾还凑不出正乘积），neg=3。绿色暂时消失，等后面再出现负数把负段翻回正段。ans 仍是 4。

读到第 9 个是正数 9。正数不改变乘积符号：正的更正、负的更负，pos 能直接接着长。

更新：9 > 0　→　pos = 旧pos+1 = 1；neg = 旧neg+1 = 4。现在 pos=1，绿色就是当前「乘积为正」的最长结尾段。还没超过 ans=4，保持。

扫完全程，绿色这 4 个 1、-2、-3、4 乘积为正（含 2 个负号，成对抵消），长度 4 就是答案。其余灰段要么含 0、要么负号是奇数个。

边界先想清：单负为 0、双负为正、0 处必清零。

两个追问，核心是认出「负号翻转 → 同时维护正负两态」这个母题。