如何为可接受任意PRNG的可调用对象定义C++ Concept

1. 是否可以编写符合需求的Concept？ #

是的，完全可以实现这样的Concept，它能验证一个类型是否可以接受任意满足std::uniform_random_bit_generator约束的随机数引擎作为参数被调用。

2. 具体实现方式 #

核心思路是在Concept中验证目标类型拥有一个模板化的operator()，并且该模板对所有满足std::uniform_random_bit_generator的PRNG类型都有效。以下是正确的Concept定义：

#include <concepts>
#include <random>
#include <utility> // 用于std::declval

template<typename Type>
concept Rollable = requires(Type t) {
    // 验证Type存在一个模板operator()，接受任意满足uniform_random_bit_generator的PRNG
    template<typename PRNG>
    requires std::uniform_random_bit_generator<std::remove_reference_t<PRNG>>
    { t(std::declval<PRNG>()) } -> std::convertible_to<int>;
};

代码解释： #

• template<typename PRNG>：在Concept的requires表达式中嵌套模板参数，用于表示任意可能的PRNG类型。
• requires std::uniform_random_bit_generator<std::remove_reference_t<PRNG>>：约束该PRNG类型必须符合标准随机数引擎的概念（兼容左值、右值引用类型）。
• { t(std::declval<PRNG>()) } -> std::convertible_to<int>：验证调用t(prng)的结果可以转换为int类型。

验证有效性 #

使用你提供的RegularDie类进行验证：

static_assert(Rollable<RegularDie>); // 编译通过，符合要求

如果有一个类仅支持特定PRNG（比如只接受std::mt19937），则这个Concept会正确地拒绝它：

class BrokenDie {
public:
    int operator()(std::mt19937& rng) const {
        return std::uniform_int_distribution<int>{1,6}(rng);
    }
};

static_assert(Rollable<BrokenDie>); // 编译失败，不符合要求

为什么之前的尝试无效？ #

• 第一个版本需要显式指定PRNG类型，只能验证单个PRNG的兼容性，无法覆盖所有合法的随机数引擎。
• 第二个版本仅测试了两种特定PRNG，仍然存在遗漏其他合法PRNG的可能，不能保证类型对所有符合要求的PRNG都兼容。

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