无法推断范围迭代器的类型

Question

以下代码无法在 MSVC 2022 和 gcc 12.1（启用 c++20）上编译，并出现相同的错误：

#include <iostream>
#include <random>
#include <ranges>
#include <vector>

using namespace std;

int main()
{
    auto v0 = views::iota(0) | views::take(5) | views::transform([](auto i) -> double { return 10.1 * double(i); });
    // output: 0 10.1 20.2 30.3 40.4
    // output: double
    for (auto i = v0.begin(); i != v0.end(); ++i) 
        cout << *i << ' '; 
    cout << endl << typeid(decltype(*v0.begin())).name() << endl;

    // error: template argument deduction failed
    discrete_distribution<int>::param_type p0(v0.begin(), v0.end()); // (**)
    
    // this is ok
    vector<double> v1{10.1, 20.2, 30.3};
    discrete_distribution<int>::param_type p1(v1.begin(), v1.end());
    return 0;
}

(**)行生成一个错误，无法推断出param_type ctor 迭代器的类型：

std::discrete_distribution<int>::param_type::param_type(_InIt,_InIt)': template parameter '_InIt' is ambiguous

为什么这个迭代器类型的推导在两个编译器中都失败了？ output 循环在同一个迭代器上运行良好。

这怎么能解决？

Answer 1

问题是 C++ 中的许多类型是在 C++20 之前的范围范式下创建的。 这意味着他们需要一对迭代器。

您的所有视图和操作都基于 C++20 std::ranges范例构造范围。 这意味着它们的范围可以由迭代器和表示结束的标记值来定义。 哨兵不必是迭代器。 对于v0的情况，它确实有一个不是迭代器的哨兵（这是因为iota是一个基于哨兵的范围）。

但是大多数在概念上使用范围的 C++20 之前编写的类型仍然使用范围的成对迭代器 model。 所以它们不能与任何使用哨兵的 C++20 范围一起工作。 构造函数模板具有跨两个参数的一种类型，但是您的begin/end arguments 是不同的类型。 因此，它无法推断出一种类型。

您需要通过views::common操作将此范围转换为容器或common_range （使用成对迭代器的范围）。