C++ 不会'；如果c++&书信电报；概念>；在适用的情况下，所有的二元和否定概念是否都以折叠、分离和连接的形式存在？ 模板 概念可转换为任意=（标准：：可转换为| |……）； 模板 概念可转换为所有=（标准：：可转换为&&； 模板 可转换为无的概念=（！std:：可转换为&&； 模板 概念与（或）相同=（标准：：与（或）相同）； 模板 概念与全部相同=（标准：：与&&…相同）； 模板 概念与无相同=（！std:：与&&…相同）； 模板 概念类似于|或=（标准：：类似于| |……）； 模板 概念类似于所有=（标准：：类似于&&； 模板 概念类似于无=（！std:：类似于&&；

我认为手头有这样的东西会更好。

它是否会被视为利基和不必要地膨胀标准库

    template<typename T, typename ...Us>
    concept convertible_to_either = (std::convertible_to<T,Us> || ...);
    
    template<typename T, typename ...Us>
    concept convertible_to_all = (std::convertible_to<T,Us> && ...);
    
    template<typename T, typename ...Us>
    concept convertible_to_none = (!std::convertible_to<T,Us> && ...);


    template<typename T, typename ...Us>
    concept same_as_either = (std::same_as<T,Us> || ...);
    
    template<typename T, typename ...Us>
    concept same_as_all = (std::same_as<T,Us> && ...);

    template<typename T, typename ...Us>
    concept same_as_none = (!std::same_as<T,Us> && ...);
    

    template<typename T, typename ...Us>
    concept similar_to_either = (std::similar_to<T,Us> || ...);
    
    template<typename T, typename ...Us>
    concept similar_to_all = (std::similar_to<T,Us> && ...);

    template<typename T, typename ...Us>
    concept similar_to_none = (!std::similar_to<T,Us> && ...);