给你一个装满水的 8 升满壶和两个分别是 5 升、3 升的空壶，请想个优雅的办法，使得其中一个水壶恰好装 4 升水，每一步的操作只能是倒空或倒满用代码实现。

要解决这个问题，我们可以采用分步逻辑，利用这两个大小不同的空壶来达到目的。以下是步骤：

1. 首先，将 8 升满壶里的水倒入 5 升壶，直到 5 升壶满，此时 8 升壶里剩下 3 升水。
2. 将 5 升壶中的水倒掉，然后把剩下的 3 升水倒入 5 升壶。
3. 再次从 8 升壶里倒出 5 升水，现在 8 升壶里还剩 3 升水，同时 5 升壶里已经有 3 升水了。
4. 把这 3 升水倒入 3 升壶，这时 5 升壶就变成了满状态，等于 0 升。
5. 接着，再把 8 升壶里剩余的 5 升水倒入 5 升壶，因为 5 升壶已经有了 3 升水，所以只增加 2 升，达到 5 升。
6. 最后，将 5 升壶中的 2 升水转移到 3 升壶，由于 3 升壶已经满了，这部分水会溢出到地板上，而 5 升壶里就剩下 4 升水。

这个过程可以用伪代码表示如下：

# 初始化水壶容量
large_bucket = 8
small_bucket1 = 5
small_bucket2 = 3

# 步骤1
while large_bucket >= small_bucket1:
    small_bucket1 += large_bucket
    large_bucket = 0

# 步骤2
large_bucket -= small_bucket1
small_bucket1 = 0

# 步骤3
small_bucket2 += large_bucket
large_bucket = 0

# 步骤4
large_bucket = small_bucket1

# 步骤5
small_bucket1 = large_bucket + small_bucket2
large_bucket = small_bucket1 - small_bucket2
small_bucket1 -= small_bucket2

# 步骤6
lost_water = small_bucket1

现在 `small_bucket1` 中就有 4 升水了。注意实际操作过程中，不需要真正记录 `lost_water` 的值，因为我们只需要最终得到 4 升的结果。