要分析这个代码，我们首先需要理解 `lambda` 函数和条件语句的作用。

给定的代码是：

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

- `f1` 是一个 `lambda` 函数，它接受两个参数 `x` 和 `y`。
- 函数的条件表达式是 `x * y if (y > 0) & (x > 0) else x - y`。

解析这个表达式：

1. **条件判断**：`(y > 0) & (x > 0)`
- `&` 是位运算符，与 `and` 不同。这里进行的是位与运算，条件语句中通常建议使用 `and` 而不是 `&` 以避免位运算带来的误解。
- 在这个特定场景中，`&` 的使用没有导致错误，因为布尔值 `True` 和 `False` 也可以参与位运算。
- 条件 `(y > 0) & (x > 0)` 等效于 `y > 0 and x > 0`，即两个数都必须大于 0。

2. **根据条件选择运算**：
- 如果 `y > 0` 且 `x > 0`（在这种情况下是 `True`），执行 `x * y`。
- 否则执行 `x - y`。

将 `x = 1` 和 `y = 2` 代入函数：

- 条件 `(y > 0) & (x > 0)` 为 `True`，因为 `1 > 0` 且 `2 > 0`。
- 因此，执行 `x * y`，即 `1 * 2`。

计算结果：

- `1 * 2 = 2`

因此，代码输出结果为 `2`。

正确答案是：**D: 2**。