我们来看一下代码片段：

```python
f1 = lambda x, y: x * y if (y > 0) & (x > 0) else x - y
print(f1(1, 2))
```

这是一个使用 lambda 表达式定义的函数 `f1`。该函数有两个参数 `x` 和 `y`，其行为取决于条件 `(y > 0) & (x > 0)`。

1. **条件分析**：
- `(y > 0) & (x > 0)`: 这是一个按位与运算符 `&`，在比较操作中，也可以用于逻辑运算。
- 在这里，`(y > 0) & (x > 0)` 相当于 `y > 0` 和 `x > 0` 都为 `True` 时，整个条件为 `True`。

2. **函数行为**：
- 如果条件 `(y > 0) & (x > 0)` 为真，则返回 `x * y`。
- 否则，返回 `x - y`。

3. **给定参数**：
- `x = 1` 和 `y = 2`。
- 检查条件：`(y > 0)` -> `2 > 0` 是 `True`，`(x > 0)` -> `1 > 0` 是 `True`。
- 因此，`(y > 0) & (x > 0)` 为 `True`。

4. **输出计算**：
- 因为条件为 `True`，返回 `x * y`，即 `1 * 2 = 2`。

因此，代码的输出结果为 `2`，正确答案是 D: 2。