std::counting_semaphore模板参数用途及GCC未做上限检查原因问询

模板参数LeastMaxValue的实际用途 #

• 它是标准对信号量实现的最小能力约定：指定LeastMaxValue=N时，实现必须保证该信号量支持的最大计数至少为N，且max()成员函数返回值不能小于N。简单说就是你可以放心地把这个信号量用到N的计数上限，不会出现实现不支持的情况。
• 提供编译期约束与语义：比如你定义using semaphore_t = std::counting_semaphore<5>;，相当于明确这个信号量的设计上限至少是5，后续用semaphore_t::max()初始化可以避免硬编码数值，让代码更易维护。
• 辅助编译器优化：当LeastMaxValue数值较小时，编译器可以选择更轻量的实现（比如基于用户态原子变量），不需要调用系统级信号量的内核态同步逻辑，从而提升性能。

GCC未实现构造参数检查的原因 #

• C标准仅将desired超过LeastMaxValue的情况定义为未定义行为，并没有强制要求编译器在运行时或编译时做检查。libstdc的实现完全符合标准的最低要求。
• 性能考量：运行时检查会带来额外的开销，对于追求高性能的场景，这种安全检查属于不必要的负担。GCC选择优先保证性能，把是否做检查的选择权交给开发者（比如开发者可以自行在代码中添加验证逻辑）。
• MSVC的检查属于实现扩展：微软编译器的检查是额外提供的安全保障，并非标准强制要求的行为，不同编译器在这类非强制的安全特性上可以有不同的取舍。

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