一個表達式的概念是否滿足，既包含類型又包含引用？

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++23 auto(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>;
};

演示。