问为什么这个版本的逻辑AND在C中没有显示出短路行为？

EN

是的，这是一个家庭作业的问题，但我已经做了我的研究和相当多的深入思考的主题，但无法解决这个问题。问题指出这段代码没有展示short-circuit behavior，并询问原因。但在我看来，它确实表现出了短路行为，所以有人能解释一下为什么它没有吗？

在C中：

int sc_and(int a, int b) {
    return a ? b : 0;
}

在我看来，在a为false的情况下，程序根本不会尝试计算b，但我肯定错了。为什么程序在这种情况下甚至要接触b，而它并不需要这样做呢？