导入自定义视图模块时遭遇二元表达式无效操作数错误

我实现了一个自定义范围视图，传统单文件/头源结构下三大主流编译器都能正常运行，但改成C++20模块结构后，在Clang 18中编译报错；MSVC虽能运行，但主文件需要额外包含<ranges>。具体代码及问题如下：

传统结构下的自定义视图代码 #

namespace detail {

constexpr auto coord = [](auto&& p) -> decltype(auto) {
    return p.coord();
};

struct CoordsView
{
    constexpr CoordsView() = default;

    template<std::ranges::range R>
    friend constexpr auto operator|(R&& r, CoordsView)
    {
        return std::forward<R>(r) | std::views::transform(coord);
    }
};

} // namespace detail

inline constexpr detail::CoordsView coords;

传统结构下的使用代码 #

struct Point
{
    float x, y, z;
};

class Vertex
{
    Point p;
public:
    Vertex(float x, float y, float z) : p{x, y, z} {}

    Point& coord() { return p; }
    const Point& coord() const { return p; }
};

int main()
{
    std::vector<Vertex> v;

    v.push_back(Vertex(-0.5, -0.5, 0.5));
    v.push_back(Vertex(0.5, -0.5, 0.5));
    v.push_back(Vertex(-0.5, 0.5, 0.5));
    v.push_back(Vertex(0.5, 0.5, 0.5));

    for (auto& p : v | coords) {
        p.x += 1;
    }

    for (const auto& p : v | coords) {
        std::cout << p.x << " " << p.y << " " << p.z << std::endl;
    }

    return 0;
}

模块结构代码 #

views.ixx #

module;

#include <ranges>

export module myviews;

namespace detail {

constexpr auto coord = [](auto&& p) -> decltype(auto) {
    return p.coord();
};

struct CoordsView
{
    constexpr CoordsView() = default;

    template<std::ranges::range R>
    friend constexpr auto operator|(R&& r, CoordsView)
    {
        return std::forward<R>(r) | std::views::transform(coord);
    }
};

} // namespace detail

export inline constexpr detail::CoordsView coords;

main.cpp #

#include <iostream>
#include <vector>

import myviews;

struct Point
{
    float x, y, z;
};

class Vertex
{
    Point p;
public:
    Vertex(float x, float y, float z) : p{x, y, z} {}

    Point& coord() { return p; }
    const Point& coord() const { return p; }
};

int main()
{
    std::vector<Vertex> v;

    v.push_back(Vertex(-0.5, -0.5, 0.5));
    v.push_back(Vertex(0.5, -0.5, 0.5));
    v.push_back(Vertex(-0.5, 0.5, 0.5));
    v.push_back(Vertex(0.5, 0.5, 0.5));

    for (auto& p : v | coords) {
        p.x += 1;
    }

    for (const auto& p : v | coords) {
        std::cout << p.x << " " << p.y << " " << p.z << std::endl;
    }

    return 0;
}

报错信息（Clang 18） #

views.ixx:20:35: error: invalid operands to binary expression ('std::vector<Vertex>' and '_Partial<_Transform, decay_t<const (lambda at /app/views.ixx:9:24) &>>' (aka '_Partial<std::ranges::views::_Transform, detail::(lambda at /app/views.ixx:9:24)>'))
   20 |         return std::forward<R>(r) | std::views::transform(coord);
      |                ~~~~~~~~~~~~~~~~~~ ^ ~~~~~~~~~~~~~~~~~~~~~~~~~~~~

我有三个疑问：

1. Clang下的编译错误原因是什么？
2. MSVC中主文件为什么需要额外包含<ranges>？这是否必要？
3. 有没有更优的自定义视图实现方式？

1. Clang编译错误的原因 #

这是Clang模块实现的ADL（依赖名称查找）兼容性问题：
在模块的全局模块片段中包含<ranges>，虽然能让模块内部看到std::views::transform，但当组合范围和视图适配器时，模块的隔离性导致ADL无法正确找到std命名空间中针对范围与视图适配器的operator|重载。

修复方案：在模块接口部分显式引入std::ranges::operator|，修改后的views.ixx如下：

module;
#include <ranges>
export module myviews;

// 显式引入operator|，让编译器能找到范围与适配器的组合重载
using std::ranges::operator|;

namespace detail {
// 原有代码不变
}

export inline constexpr detail::CoordsView coords;

2. MSVC中额外包含<ranges>的必要性 #

这是MSVC模块实现的特性导致的：
当你在模块的全局模块片段中包含<ranges>时，MSVC不会自动将std::ranges的相关符号导出到模块接口。主文件import myviews;后，无法获取到std::ranges::operator|的重载，因此需要主文件自己包含<ranges>来让编译器找到该重载。

如果要避免主文件包含<ranges>，可以尝试在模块接口中显式导出所需的std::ranges符号，或使用标准库模块import std.ranges;（需编译器支持完整标准库模块）。不过目前MSVC对标准库模块的支持存在细节问题，暂时可能需要主文件额外包含<ranges>作为妥协。

3. 更优的自定义视图实现方式 #

对于这类简单的视图需求，无需手动实现结构体和operator|重载，直接复用std::views::transform封装即可：

简化实现方案 #

module;
#include <ranges>
export module myviews;

using std::ranges::operator|;

// 直接导出transform适配器的实例
export constexpr auto coords = std::views::transform([](auto&& p) -> decltype(auto) {
    return p.coord();
});

使用方式和原代码完全一致：v | coords。

该方案的优势：

• 代码量大幅减少，无需维护自定义结构体和operator|模板
• 直接复用标准库的成熟适配器实现，兼容性更好
• 模块环境下的ADL问题更少，因为适配器本身就是标准库类型

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