如何为 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++23auto(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>>;