std::stoppable_token - cppreference.com

在标头 <stop_token> 定义

template< class Token >
concept stoppable_token =
    requires (const Token tok) {
        typename /*check-type-alias-exists*/<Token::template callback_type>;
        { tok.stop_requested() } noexcept -> std::same_as<bool>;
        { tok.stop_possible() } noexcept -> std::same_as<bool>;
        { Token(tok) } noexcept; // 参见“隐式表达式变体”
    } &&
    std::copyable<Token> &&
    std::equality_comparable<Token>;

template< template<class> class >
struct /*check-type-alias-exists*/; // 不予定义