为何C++的if语句不能像Algol68或Smalltalk那样返回值？相关阻碍有哪些？

Great question—this gets into some core design choices in C++ and how it balances backwards compatibility, syntax clarity, and existing alternatives. Let's unpack the main reasons:

Backwards Compatibility #

C++ evolved directly from C, where if is strictly a statement (it performs actions but doesn't produce a value). Changing if to also act as an expression would break enormous amounts of existing code that relies on the statement/expression distinction. For example:

• Code like if (condition) do_something(); would suddenly have an implicit return value that's ignored, but more critically, edge cases where the parser can't distinguish between a statement and an expression would lead to unexpected behavior. The C++ standard committee prioritizes not breaking legacy code over adding new features unless the benefit is overwhelming.

Syntax Ambiguity #

Making if an expression introduces parsing ambiguities that are hard to resolve cleanly. Consider the classic "dangling else" problem:

if (a) if (b) c = 1; else c = 2;

In statement form, the else binds to the inner if—but if if were an expression, how would this structure be evaluated as a single value? Would we need mandatory braces for all if blocks to avoid ambiguity? That would force breaking changes to countless existing codebases that omit braces for single-line if bodies.

Another ambiguity arises when mixing variable declarations inside if blocks (a valid C++ statement feature) with expression syntax. For example, if (int x = get_value()) { ... } works as a statement, but parsing this as part of a value assignment would confuse the compiler if if were treated as an expression.

Existing Alternatives #

C++ already provides clean ways to achieve your core goal—initializing const variables with conditional values—without redefining the if statement:

• Ternary operator: const int value = (condition) ? 42 : 0; This is the most straightforward replacement for expression-style if/else for simple cases.
• Lambda expressions (C++11+): For complex conditional logic that can't fit in a ternary, you can compute the value inline with a lambda:

  const int value = [](){
      if (condition1) return 10;
      else if (condition2) return 20;
      else return 30;
  }();
  

• constexpr functions (C++11+): For compile-time constants, wrap conditional logic in a constexpr function and call it during initialization.

The standard committee has judged these alternatives sufficient, so the cost of adding expression-style if (breaking compatibility, resolving ambiguities) isn't justified.

内容的提问来源于stack exchange，提问作者Patrick Fromberg