如何初始化类成员counting_semaphore的LeastMaxValue模板参数？

一、复用实现定义的默认值 #

全局counting_semaphore省略模板参数时，默认用的是实现定义的最大值（通常是std::numeric_limits<std::ptrdiff_t>::max()）。要在类成员里复用这个默认行为，直接把这个值作为模板参数即可：

#include <semaphore>
#include <limits>

class MyClass {
private:
    std::counting_semaphore<std::numeric_limits<std::ptrdiff_t>::max()> sem_;
};

std::numeric_limits<std::ptrdiff_t>::max()是编译时常量，完全满足类成员对模板参数的要求，这样你的成员信号量行为就和全局默认初始化的版本完全一致。

二、根据场景选择LeastMaxValue的启发式方法 #

如果不需要全局默认的最大值，可以根据实际使用场景来定：

• 资源限流场景：比如线程池、数据库连接池，直接把LeastMaxValue设为资源的总数量。比如线程池有8个线程，就设8，刚好匹配资源的最大并发上限，还能避免不必要的内存开销。
• 生产者-消费者队列同步：空队列信号量设为0初始化，满队列信号量的LeastMaxValue设为队列的最大容量，比如队列最多存50个元素，就设50。
• 简单事件通知（二进制信号量）：如果只是用来做线程间的事件同步（比如通知某个任务完成），LeastMaxValue设1就行，因为只需要0和1两种状态切换。
• 不确定需求时：直接用实现的最大值（就是上面提到的numeric_limits值），兼容性拉满，不会因为信号量上限不够导致意外的阻塞或错误。

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