c++ - 如何为 std::pair 引用包装器的范围定义 C++ 概念？

Question

请参阅下面的代码(也在此处 https://www.godbolt.org/z/hvnvEv1ar )。如果我取消注释 rng 或 pair 的约束，代码将无法编译。我觉得我遗漏了一些微不足道的东西，但我想不通为什么不满足约束条件。

#include <vector>
#include <ranges>
#include <utility>

template <typename T>
struct is_reference_wrapper : std::false_type {};
template <typename T>
struct is_reference_wrapper<std::reference_wrapper<T>> : std::true_type {};
template <typename T>
inline constexpr bool is_reference_wrapper_v = is_reference_wrapper<T>::value;
template <typename T>
concept ReferenceWrapper = is_reference_wrapper_v<T>;
template <typename T>
concept ReferenceWrapperPair = requires(const T& t) {
    { t.first } -> ReferenceWrapper;
    { t.second } -> ReferenceWrapper;
};
template <typename T>
concept ReferenceWrapperPairRange =
    std::ranges::range<T> && ReferenceWrapperPair<std::ranges::range_value_t<T>>;

int main()
{
    std::vector<std::pair<int, int>> v{ {1,2}, {3,4}, {5,6} };
    auto fn = [](std::pair<int, int>& val) {
        return std::pair{std::reference_wrapper<int>{val.first}, std::reference_wrapper<int>{val.second} };
    };
    /* ReferenceWrapperPairRange */ auto rng = v | std::views::transform(fn);
    /* ReferenceWrapperPair */ auto pair = *(rng.begin());
    ReferenceWrapper auto first = pair.first;
    ReferenceWrapper auto second = pair.second;
    return 0;
}

Answer 1

复合要求{ expression } -> type-constraint要求 decltype((expression))必须满足 type-constraint 施加的约束, 自 decltype((t.first))将被视为普通的左值表达式，它将导致 const 左值引用类型。

你可能想使用 C++23 auto(x)获取衰减类型

template <typename T>
concept ReferenceWrapperPair = requires(const T& t) {
    { auto(t.first) } -> ReferenceWrapper;
    { auto(t.second) } -> ReferenceWrapper;
};

或更改ReferenceWrapper概念:

template <typename T>
concept ReferenceWrapper = is_reference_wrapper_v<std::remove_cvref_t<T>>;