手撕算法题：无序数组里第一个没出现过的正整数，要求时间 O(n)、空间 O(1)，给出思路和大概的 Python 代码。

回答思路

1. 明确原地交换将正整数放到对应下标位置
2. 处理非正整数和超大数的跳过策略
3. 完整说明时间复杂度 O(n) 和空间复杂度 O(1)
4. 给出正确且清晰的 Python 代码
5. 验证边界用例，如空数组、全负数、含重复元素