解决std::string_view迭代器构造编译差异，编写兼容C++17/C++20的适配函数

问题根源在于：C++17标准中std::string_view并没有提供迭代器范围的构造函数，仅支持从字符指针+长度、std::string或其他字符串视图构造。GCC和MSVC在C17模式下做了非标准扩展，允许使用迭代器构造string_view，但Apple Clang严格遵循C17标准，因此编译失败。

要实现兼容C17和C20的make_string_view函数，可以通过编译期分支判断，优先使用C20的标准构造函数，在C17下则转换为指针+长度的方式构造：

#include <string_view>
#include <iterator>
#include <type_traits>

template<class It>
constexpr std::string_view make_string_view(It first, It last) {
    // 编译期判断：当前环境是否支持string_view的迭代器构造函数
    if constexpr (std::is_constructible_v<std::string_view, It, It>) {
        return std::string_view(first, last);
    } else {
        // C++17分支：要求迭代器指向char类型，且为随机访问迭代器
        static_assert(std::is_same_v<typename std::iterator_traits<It>::value_type, char>,
                      "make_string_view only accepts iterators pointing to char");
        static_assert(std::is_base_of_v<std::random_access_iterator_tag,
                      typename std::iterator_traits<It>::iterator_category>,
                      "C++17 mode requires random access iterators for make_string_view");
        
        // 获取起始指针（用addressof避免operator&被重载的情况），计算长度
        return std::string_view(std::addressof(*first), std::distance(first, last));
    }
}

关键细节说明 #

• 编译期分支选择：用if constexpr结合std::is_constructible_v检测当前环境是否支持std::string_view(It, It)构造逻辑，自动适配C20（标准支持）和C17（无此构造）环境。
• C++17分支的约束：静态断言确保迭代器指向char类型（符合string_view的底层存储要求）；要求迭代器为随机访问迭代器，既保证std::distance是O(1)操作，也符合string_view只能指向连续存储字符序列的特性。
• constexpr兼容性：函数保持constexpr属性，符合C++17及以上标准中string_view的constexpr构造要求，可用于编译期场景。

测试示例 #

#include <string>

int main() {
    std::string s = "hello";
    auto sv = make_string_view(s.begin(), s.end()); // C++17/C++20均能编译通过
    
    constexpr char arr[] = "world";
    auto sv_arr = make_string_view(std::begin(arr), std::end(arr)-1); // 兼容字符数组迭代器
    
    return 0;
}

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