为什么信号量要设置最大值？这是否违背零开销抽象原则？

这不违反零开销抽象原则，核心原因如下：

• 前置条件检查是可选的
  标准规定该前置条件的遵守责任在调用者，默认情况下编译器不会为这个检查生成任何额外代码，完全符合零开销的要求。只有开启调试模式（比如部分实现的_GLIBCXX_DEBUG）时才会插入边界检查，这属于可选的调试开销，并非抽象本身的强制开销。

• 模板参数带来的类型区分是有实际价值的
  把max_value作为模板参数，让不同最大值的counting_semaphore成为不同类型，能在编译阶段就避免混用不同容量信号量的逻辑错误。这种编译期安全保障的价值，远大于模板实例化带来的极小代码冗余（现代编译器会自动优化这类冗余）。

• 符合零开销“按需付费”的核心
  零开销抽象的本质是“不需要的功能不买单”：你能确保代码合规时，完全没有额外开销；需要检查时，可通过调试模式或自行编写包装类实现，选择权完全在用户手中。标准库的设计正是把编译期类型安全、运行时检查的选择权交给用户，契合零开销理念。

• 为底层优化留足空间
  编译期常量的max_value给了底层实现优化的可能：比如当max_value=1时（即binary_semaphore，是counting_semaphore<1>的别名），可以用更高效的二进制锁机制，而非通用计数信号量逻辑，反而能提升性能。

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