使用别名容器作为ranges::to模板参数是否合法？

问题描述 #

目前仅MSVC支持便捷工具std::ranges::to，无法在其他编译器中验证该用法。为STL容器定义了类型别名，但将其传入ranges::to时编译失败，询问该用法是否合法，以及下方注释示例无法编译的原因：

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

template <typename T>
using Vec = std::vector<T>;

int main(int argc, char* argv[]) {
    auto vec = std::views::iota(1, 10) | std::ranges::to<std::vector>();
    //auto vec = std::views::iota(1, 10) | std::ranges::to<Vec>(); // C2440: cannot convert from 'void' to 'std::vector'.

    for (auto& v : vec)
        std::cout << v << ", ";

    std::cout << std::endl;
}

问题分析与解答 #

编译失败原因 #

Vec是一个模板别名模板，它只是std::vector的别名，但在模板参数传递时，编译器会将它视为与原始类模板std::vector不同的实体。MSVC当前实现的std::ranges::to中，接受容器模板作为参数的重载仅适配了原始类模板，未处理模板别名的情况，导致编译器匹配到错误的重载（返回void的版本），从而抛出“无法从void转换为std::vector”的错误。

用法合法性 #

从C++标准层面来看，模板别名模板作为std::ranges::to的模板参数是合法的，标准并未禁止此类用法。问题出在MSVC的实现局限性上，当前版本的编译器未支持该场景。

解决办法 #

• 显式指定模板别名的实例化类型：

  auto vec = std::views::iota(1, 10) | std::ranges::to<Vec<int>>();
  

• 直接使用原始类模板std::vector（即示例中可编译的写法）。

内容的提问来源于stack exchange，提问作者Carsten