将模板参数限制为仅接受具有 C++20 概念的 std::vector 和 std::list

Question

我正在尝试编写一个仅对 std::vector 或 std::list 中的数字进行排序的程序，我为此做了两个概念：

template<typename T>
concept ValidContainer = requires(T a) {
    std::same_as<T, std::vector<typename T::value_type>>;
    std::same_as<T, std::list<typename T::value_type>>;
};

和：

template<typename T>
concept Sortable = requires(T a) {
    ValidContainer<T> && std::same_as<typename T::value_type, int>;
    ValidContainer<T> && std::same_as<typename T::value_type, float>;
};

以及对它们进行排序的函数的签名：

void BubbleSort(Sortable auto& collection)
{
    // sort algorithm
}

我脑海中出现的问题是，当我传递 a 时，std::vector<std::string>它没有显示编译错误？

int main()
{
    std::vector<int> test = { 32, 3, 6, 8, 2, 5, 0, 43, 67, 1 };
    std::vector<std::string> test2 = { "first", "second", "third" };

    BubbleSort(test);   // this is ok
    BubbleSort(test2);  // shouldn't this be a compile error?

    return 0;
}

Answer 1

这：

template<typename T>
concept ValidContainer = requires(T a) {
    std::same_as<T, std::vector<typename T::value_type>>;
    std::same_as<T, std::list<typename T::value_type>>;
};

正在检查表达式 std::same_as<T, std::vector<typename T::value_type>>;是否有效，而不是它也是有效的true。也就是说，它基本上只是检查这typename T::value_type是一件事。

在这种形式下，如果你想要一些东西，你必须使用requires：

template<typename T>
concept ValidContainer = requires(T a) {
    requires std::same_as<T, std::vector<typename T::value_type>>;
    requires std::same_as<T, std::list<typename T::value_type>>;
};

尽管现在我们要求T既是 avector又是 a list，所以这永远不会是真的。所以我们确实需要：

template <typename T>
concept ValidContainer =
    std::same_as<T, std::vector<typename T::value_type>>
    || std::same_as<T, std::list<typename T::value_type>>;    

尽管这也不是很好，因为现在我们正在拒绝std::vector<T, MyAlloc>。

这与为什么这是你的约束的问题是分开的——为什么你只能排序vectorand list... 而不能排序 like dequeor stringor spanor ... ？或者为什么你仅限于int和float？

您可以对任何可订购的前向范围进行冒泡排序。我将其表达为：

template <std::ranges::forward_range R>
    requires std::totally_ordered<std::ranges::range_reference_t<R>>
void BubbleSort(R& r);