如何让自定义std::optional范围适配C++范围适配器？

要让你的maybe::optional能和std::views::transform这类标准范围适配器配合，需要补充以下关键内容：

1. 完善迭代器的范畴与关联类型 #

标准视图适配器依赖迭代器满足输入迭代器（InputIterator）的完整要求，你的iterator_to_nowhere需要补充完整的迭代器关联类型：

• value_type：对应optional存储的元素类型
• difference_type：通常用std::ptrdiff_t
• pointer：元素的指针类型（比如T*）
• reference：元素的引用类型（比如T&）
• iterator_category：标记为std::input_iterator_tag（至少满足输入迭代器范畴）

示例实现片段：

template <typename T>
struct iterator_to_nowhere {
    using value_type = T;
    using difference_type = std::ptrdiff_t;
    using pointer = T*;
    using reference = T&;
    using iterator_category = std::input_iterator_tag;

    // 已有的迭代器操作：operator*、operator++等
};

2. 提供全场景的begin/end重载 #

标准视图会区分范围的左值、右值、const/非const状态，你需要为maybe::optional补充对应版本的begin()和end()：

template <typename T>
class maybe::optional : public std::optional<T> {
public:
    // 非const左值版本
    auto begin() & -> decltype(auto) {
        return this->has_value() ? &this->value() : iterator_to_nowhere<T>{};
    }
    auto end() & -> iterator_to_nowhere<T> {
        return {};
    }

    // const左值版本
    auto begin() const& -> decltype(auto) {
        return this->has_value() ? &this->value() : iterator_to_nowhere<const T>{};
    }
    auto end() const& -> iterator_to_nowhere<const T> {
        return {};
    }

    // 右值版本（可选，支持临时对象适配）
    auto begin() && -> decltype(auto) {
        return this->has_value() ? std::addressof(std::move(this->value())) : iterator_to_nowhere<T>{};
    }
    auto end() && -> iterator_to_nowhere<T> {
        return {};
    }
};

3. 实现正确的迭代器相等性判断 #

iterator_to_nowhere需要和指向元素的迭代器（比如T*）正确比较，区分“有效迭代器”和“终止迭代器”：

template <typename T>
bool operator==(const iterator_to_nowhere<T>&, const iterator_to_nowhere<T>&) {
    return true; // 终止迭代器之间相等
}

template <typename T>
bool operator==(const T* ptr, const iterator_to_nowhere<T>&) {
    return ptr == nullptr; // 空指针对应无值状态，与终止迭代器相等
}

template <typename T>
bool operator==(const iterator_to_nowhere<T>&, const T* ptr) {
    return ptr == nullptr;
}

关键原因 #

范围for循环只需要最基础的begin/end和迭代器操作，但标准视图适配器（比如std::views::transform）依赖C++20的范围概念（Concepts），要求迭代器满足输入迭代器的完整范畴，且范围类型满足std::ranges::input_range的约束。补充上述内容后，你的maybe::optional就能符合这些约束，顺利适配标准视图适配器。

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