请实现一个函数，判断两个单链表是否相交，若相交则返回第一个相交节点。

回答思路

1. 能清晰说明相交的判定标准（终点相同或结构共享）
2. 能给出时间O(n+m)、空间O(1)的双指针解法
3. 正确处理链表为空、无交点、交点位于头部等边界情况
4. 能解释为何双指针法必然相遇