从std：：byte迭代器可视化接受std：：string

Question

#include <vector>
#include <string>

int main()
{
    std::vector<std::byte> test(10);
    std::string str(test.begin(), test.end());
}

微软（修复了它）

我们已经在未来的版本中修复了这个问题。现在MSVC提供如下错误：错误C2664:'void std::basic_string,std::allocator>::push_back(const_elem)':无法用[_elem=char]将参数1从“std::byte”转换为“const_elem”

Answer 1

MSVS使用迭代器对的字符串构造函数如下所示

template<class _Iter,
    class = enable_if_t<_Is_iterator_v<_Iter>>>
    basic_string(_Iter _First, _Iter _Last, const _Alloc& _Al = _Alloc())
    : _Mybase(_Al)
    {   // construct from [_First, _Last) with optional allocator
    _Tidy_init();
    _Adl_verify_range(_First, _Last);
    _Construct(_Get_unwrapped(_First), _Get_unwrapped(_Last), _Iter_cat_t<_Iter>());
    }

和_construct最终调用

template<class _Iter>
    void _Construct(_Iter _First, const _Iter _Last, input_iterator_tag)
    {   // initialize from [_First, _Last), input iterators
    _TRY_BEGIN
    for (; _First != _Last; ++_First)
        {
        push_back(static_cast<_Elem>(*_First));
        }

    _CATCH_ALL
    _Tidy_deallocate();
    _RERAISE;
    _CATCH_END
    }

重要的位是push_back(static_cast<_elem>(*_first))；。通常，您不能将std::byte直接分配给另一个类型，因为它是一个限定作用域的枚举，但是由于存在static_cast，您可以绕过这个问题。这就是为什么您能够使用一定范围的字节来初始化std::string。

allocator_traits<A>::construct(m, p, args)

并且构造在[allocator.requirements]-表33中定义为

效果：在C处构造C类型的对象

Default::new((Void*)c)c（forward (args)...)