一个概念能否满足一个表达式，既包含类型又包含引用

Question

有没有办法让下面的代码不那么臃肿？

我的意思是以某种方式连接类型和引用(||不起作用(。

template<typename T>
concept IntegralVector = std::integral<typename T::value_type> &&
requires(T t)
{
{ t.size() } -> std::convertible_to<std::size_t>;
}
&& (requires(T t)
{
{ t[0] } -> std::same_as<typename T::value_type&>;
} || requires(T t)
{
{ t[0] } -> std::same_as<typename T::value_type>;
});

一个有效的技巧可以是：

{ 0 + t[0] } -> std::integral;

但我想坚持使用typename T::value_type

Answer 1

您可能想要这样的东西：

template <typename T, typename U>
concept decays_to = std::same_as<std::decay_t<T>, U>;

用作：

template<typename T>
concept IntegralVector =
std::integral<typename T::value_type>
&& requires (T t) {
{ t.size() } -> std::convertible_to<std::size_t>;
{ t[0] } -> decays_to<typename T::value_type>;
};

这也捕捉到value_type const&作为一个选项，我不确定它是否被故意省略了。

Answer 2

另一种选择是使用C++23auto(x)，这是语言中的衰变副本：

#include<concepts>
template<typename T>
concept IntegralVector = std::integral<typename T::value_type> &&
requires(T t) {
{ t.size() } -> std::convertible_to<std::size_t>;
{ auto(t[0]) } -> std::same_as<typename T::value_type>;
};

演示。