我想用StackExchange.Redis做一个基本的观察。如果在交易过程中更改了密钥，它将失败。

StackExchange.Redis将其很好地抽象为“ Condition” api，它支持“等于”和“存在”的概念。

真的很好，但是我想做些“不变”的事情。我可能会遗漏一些东西，但是在这一点上我尚不清楚。

是否可以做类似的事情：

var transaction = redis.CreateTransaction();
transaction.AddCondition(Condition.StringUnchanged("key")); //the API here could maybe be simplified
var val = transaction.StringGet("key"); //notably, this is not async because you would have to get the result immediately - it would only work on watched keys
transaction.StringSetAsync("key", val + 1);
transaction.Execute();

甚至可能是更好的版本（可以做相同的事情）：

var transaction = redis.CreateTransaction();
var val = transaction.Watch("key"); //this would return the value!
transaction.StringSetAsync("key", val + 1);
transaction.Execute();

目前，我了解的唯一方法是按照以下方式进行操作：

var val = redis.StringGet("key");
var transaction = redis.CreateTransaction();
transaction.AddCondition(Condition.StringEqual("key", val));
transaction.StringSetAsync("key", val + 1);
transaction.Execute();

从阅读SE.Redis代码的尝试中，我知道可以理解为类似这样的内容（不确定其准确性）：

val = GET key
WATCH key
MULTI
val = val + 1
SET key $val
checkVal = GET key
(then if checkVal != val:) UNWATCH
(otherwise:) EXEC

我仍在学习有关Redis的更多信息，但是我不确定这有什么好处。您不希望最终结果像这样吗？：

WATCH key
MULTI
val = GET key
val = val + 1
SET key $val
EXEC

还是SE.Redis的工作方式无法做到这一点？