主页 / 问题 / 1227653
Accepted
megorit
Asked:2022-01-06 04:22:00 +0000 UTC2022-01-06 04:22:00 +0000 UTC

使用具有多个类型参数的概念

  • 772

我无法理解如何以及是否可以使用以下概念：

template <typename Type1, typename Type2>
concept StdByteContainer =
    (std::same_as<Type1,std::remove_cvref_t<std::basic_string<Type2>>>
        || std::same_as<Type1,std::remove_cvref_t<std::vector<Type2>>>
        || std::same_as<Type1,std::remove_cvref_t<std::list<Type2>>>
        || std::same_as<Type1,std::remove_cvref_t<std::deque<Type2>>>
        || std::same_as<Type1,std::remove_cvref_t<std::set<Type2>>>)
    && (std::same_as<Type2,std::byte>
        || (std::is_integral_v<Type2> && sizeof(Type2)==1));

我试着这样写：

template <StdByteContainer Type1<Type2>>
void function(const Type1<Type2>& container);

所以：

template <StdByteContainer Type1, StdByteContainer Type2>
void function(const Type1<Type2>& container);

所以：

template <StdByteContainer Type1, Type2>
void function(const Type1<Type2>& container);

所以：

template <StdByteContainer Type1 Type2>
void function(const Type1<Type2>& container);

它不起作用，静态分析器写道：

error: 'StdByteContainer' requires more than 1 template argument

完全可以这样写，还是这样的概念基本不能接受？尽管解析器错过了概念的声明，但认为它是有效的......如果有的话，我使用GCC-10.

c++

1 个回答

  1. Best Answer

    显然这个想法是一个参数是容器的类型，另一个是存储在这个容器中的对象的类型。但是，这对我来说似乎是多余的。我用一个模板参数做了一个这样的例子，并检查了依赖类型。

    #include <concepts>
#include <vector>
#include <string>
#include <span>
#include <type_traits>

template <typename x_Container>
concept StdByteContainer = 
    (
        ::std::same_as
        <
            ::std::basic_string<typename x_Container::value_type, typename x_Container::allocator_type>
        ,   ::std::remove_cvref_t<x_Container>
        >
        or
        ::std::same_as
        <
            ::std::vector<typename x_Container::value_type, typename x_Container::allocator_type>
        ,   ::std::remove_cvref_t<x_Container>
        >
        // ...
    )
    and
    ::std::is_integral_v<typename x_Container::value_type>
    and
    (sizeof(typename x_Container::value_type) == 1);

//requires
//{
//    typename x_Container::velue_type;
//};

template <StdByteContainer x_Container>
void checksum(std::span<x_Container> span) {}

int main()
{
    ::std::vector<::std::vector<char>> items{{},{}};
    checksum(::std::span<::std::vector<char>>{items.begin(), items.end()});
}

    https://godbolt.org/z/h5E1je

    • 1

相关问题