技术文被diss了-linux运维-PHP中文网

你好，雨乐！

昨晚（2022年5月10日）19:33，我突然收到了一条文章评论。

技术文被diss了当时我心里一惊，怀疑是我上篇文章中的代码在从编辑器复制到文章时出现了错误。然而，我觉得这不太可能，因为每篇文章的代码都是在机器上运行验证后才发布的，所以出错的概率应该很低。

但既然有读者提出了问题，我必须认真验证一番。遗憾的是当时我在地铁上，无法使用电脑进行实操验证，于是我使用了一个在线编辑器，编写了一个简单的代码来进行测试：

技术文被diss了测试结果显示没有问题。尽管如此，既然有读者反馈说在使用中存在问题，这应该不是无中生有，于是我找到了几位朋友在线帮忙查看。

这个：

技术文被diss了这个：

技术文被diss了还有这个：

技术文被diss了从大家的反馈来看，仍然无法确定问题所在，大家都只是觉得可能有问题。

终于回到家后，趁着孩子在玩，我赶紧拿出电脑，把文章中的代码重新复制、编译、运行，一切正常。这就奇怪了，难道路径不同导致结果不同吗？

环境不同？我突然想起群里一位同学之前私聊过我，说他运行文章中的代码时会崩溃。

沁言学术

你的论文写作AI助理，永久免费文献管理工具，认准沁言学术

查看详情

技术文被diss了因为之前忙于工作，我没有仔细了解。在咨询了这位同学后，他回复说是在Windows下编译运行的。

由于本地没有Windows环境，我找人帮忙在VS上执行了代码，结果如下：

技术文被diss了在Windows上出现了错误，看来该读者是在Windows环境下执行这段代码的。

既然在Windows和Linux上的运行结果不同，有必要深入研究源码实现。

MSVC实现了vector::reserve()，实现如下：

代码语言：javascript代码运行次数：0运行复制```javascript _CONSTEXPR20 void reserve(_CRT_GUARDOVERFLOW const size_type _Newcapacity) { // ... _Reallocate_exactly(_Newcapacity); // ... }

<code>
从上述代码来看，我们只需要关注_Reallocate_exactly的实现即可，于是继续查看该函数的实现，如下：
<p>代码语言：javascript代码运行次数：0<svg fill="none" height="16" viewbox="0 0 16 16" width="16" xmlns="<a href="https://www.php.cn/link/c9041cfd2a40932691855abd98fd219a">http://www.w3.org/2000/svg"><path</a> d="M6.66666 10.9999L10.6667 7.99992L6.66666 4.99992V10.9999ZM7.99999 1.33325C4.31999 1.33325 1.33333 4.31992 1.33333 7.99992C1.33333 11.6799 4.31999 14.6666 7.99999 14.6666C11.68 14.6666 14.6667 11.6799 14.6667 7.99992C14.6667 4.31992 11.68 1.33325 7.99999 1.33325ZM7.99999 13.3333C5.05999 13.3333 2.66666 10.9399 2.66666 7.99992C2.66666 5.05992 5.05999 2.66659 7.99999 2.66659C10.94 2.66659 13.3333 5.05992 13.3333 7.99992C13.3333 10.9399 10.94 13.3333 7.99999 13.3333Z" fill="currentcolor"></path></svg>运行<svg fill="none" height="16" viewbox="0 0 16 16" width="16" xmlns="<a href="https://www.php.cn/link/c9041cfd2a40932691855abd98fd219a">http://www.w3.org/2000/svg"><path</a> clip-rule="evenodd" d="M4.5 15.5V3.5H14.5V15.5H4.5ZM12.5 5.5H6.5V13.5H12.5V5.5ZM9.5 2.5H3.5V12.5H1.5V0.5H11.5V2.5H9.5Z" fill="currentcolor" fill-rule="evenodd"></path></svg>复制<code>javascript _CONSTEXPR20 void _Reallocate_exactly(const size_type _Newcapacity) {        // set capacity to _Newcapacity (without geometric growth), provide strong guarantee        auto& _Al         = _Getal();        auto& _My_data    = _Mypair._Myval2;        pointer& _Myfirst = _My_data._Myfirst;        pointer& _Mylast  = _My_data._Mylast;        const auto _Size = static_cast<size_type>(_Mylast - _Myfirst);        const pointer _Newvec = _Al.allocate(_Newcapacity);        // ...    }</size_type></code></pre><p>我们注意到vector<t>::reserve中获取了_Myfirst和_Mylast（注意，此处<code>_Myfirst == _Mylast</code>），然后调用allocator.allocate()函数分配了内存，那么继续看vector::operator[]的实现，如下：</t></p><p>代码语言：javascript代码运行次数：0<svg fill="none" height="16" viewbox="0 0 16 16" width="16" xmlns="http://www.w3.org/2000/svg"><path d="M6.66666 10.9999L10.6667 7.99992L6.66666 4.99992V10.9999ZM7.99999 1.33325C4.31999 1.33325 1.33333 4.31992 1.33333 7.99992C1.33333 11.6799 4.31999 14.6666 7.99999 14.6666C11.68 14.6666 14.6667 11.6799 14.6667 7.99992C14.6667 4.31992 11.68 1.33325 7.99999 1.33325ZM7.99999 13.3333C5.05999 13.3333 2.66666 10.9399 2.66666 7.99992C2.66666 5.05992 5.05999 2.66659 7.99999 2.66659C10.94 2.66659 13.3333 5.05992 13.3333 7.99992C13.3333 10.9399 10.94 13.3333 7.99999 13.3333Z" fill="currentcolor"></path></svg>运行<svg fill="none" height="16" viewbox="0 0 16 16" width="16" xmlns="http://www.w3.org/2000/svg"><path clip-rule="evenodd" d="M4.5 15.5V3.5H14.5V15.5H4.5ZM12.5 5.5H6.5V13.5H12.5V5.5ZM9.5 2.5H3.5V12.5H1.5V0.5H11.5V2.5H9.5Z" fill="currentcolor" fill-rule="evenodd"></path></svg>复制</code>javascript
_NODISCARD _CONSTEXPR20 const _Ty& operator[](const size_type _Pos) const noexcept /<em> strengthened </em>/ {        auto& _My_data = _Mypair._Myval2;#if _CONTAINER_DEBUG_LEVEL > 0        _STL_VERIFY(            _Pos (_My_data._Mylast - _My_data._Myfirst), "vector subscript out of range");#endif // _CONTAINER_DEBUG_LEVEL > 0        return _My_data._Myfirst[_Pos];    }</p><pre class="brush:php;toolbar:false;"><code>
我们注意到上面一句代码<code>_Pos < (_My_data._Mylast - _My_data._Myfirst)</code>，在前面内容中，有提到<code>_Myfirst == _Mylast</code>，因此该处代码不成立，所以引发了崩溃，这就是Windows下运行结果出错的原因。</p><p>GNU实现gnu下vector<t>::reserve()实现如下：</t></p><p>代码语言：javascript代码运行次数：0<svg fill="none" height="16" viewbox="0 0 16 16" width="16" xmlns="<a href="https://www.php.cn/link/c9041cfd2a40932691855abd98fd219a">http://www.w3.org/2000/svg"><path</a> d="M6.66666 10.9999L10.6667 7.99992L6.66666 4.99992V10.9999ZM7.99999 1.33325C4.31999 1.33325 1.33333 4.31992 1.33333 7.99992C1.33333 11.6799 4.31999 14.6666 7.99999 14.6666C11.68 14.6666 14.6667 11.6799 14.6667 7.99992C14.6667 4.31992 11.68 1.33325 7.99999 1.33325ZM7.99999 13.3333C5.05999 13.3333 2.66666 10.9399 2.66666 7.99992C2.66666 5.05992 5.05999 2.66659 7.99999 2.66659C10.94 2.66659 13.3333 5.05992 13.3333 7.99992C13.3333 10.9399 10.94 13.3333 7.99999 13.3333Z" fill="currentcolor"></path></svg>运行<svg fill="none" height="16" viewbox="0 0 16 16" width="16" xmlns="<a href="https://www.php.cn/link/c9041cfd2a40932691855abd98fd219a">http://www.w3.org/2000/svg"><path</a> clip-rule="evenodd" d="M4.5 15.5V3.5H14.5V15.5H4.5ZM12.5 5.5H6.5V13.5H12.5V5.5ZM9.5 2.5H3.5V12.5H1.5V0.5H11.5V2.5H9.5Z" fill="currentcolor" fill-rule="evenodd"></path></svg>复制<code>javascript template<typename _alloc="" _tp="" typename="">     void     vector<_tp _alloc="">::     reserve(size_type __n)     {       if (__n > this->max_size())     __throw_length_error(__N("vector::reserve"));       if (this->capacity() < __n)         {           const size_type __old_size = size();           pointer __tmp = _M_allocate(__n);           this->_M_impl._M_finish =           _GLIBCXX_MAKE_MOVE_ITERATOR(this->_M_impl._M_start),           _GLIBCXX_MAKE_MOVE_ITERATOR(this->_M_impl._M_finish));           std::_Destroy(this->_M_impl._M_start, this->_M_impl._M_finish,             _M_get_Tp_allocator());           _M_deallocate(this->_M_impl._M_start,             this->_M_impl._M_end_of_storage             - this->_M_impl._M_start);           this->_M_impl._M_start = __tmp;           this->_M_impl._M_finish = __tmp + __old_size;           this->_M_impl._M_end_of_storage = this->_M_impl._M_start + __n;         }     }     }</_tp></typename></code></pre><p>从上述实现可以看出，reserve()函数分配了所需的内存空间，并且与MSVC一样的是经过reserve之后<code>_M_start == _M_finish</code>，这是因为__old_size为0。</p><p>我们继续查看vector::operator[]的实现，如下所示：</p><p>代码语言：javascript代码运行次数：0<svg fill="none" height="16" viewbox="0 0 16 16" width="16" xmlns="http://www.w3.org/2000/svg"><path d="M6.66666 10.9999L10.6667 7.99992L6.66666 4.99992V10.9999ZM7.99999 1.33325C4.31999 1.33325 1.33333 4.31992 1.33333 7.99992C1.33333 11.6799 4.31999 14.6666 7.99999 14.6666C11.68 14.6666 14.6667 11.6799 14.6667 7.99992C14.6667 4.31992 11.68 1.33325 7.99999 1.33325ZM7.99999 13.3333C5.05999 13.3333 2.66666 10.9399 2.66666 7.99992C2.66666 5.05992 5.05999 2.66659 7.99999 2.66659C10.94 2.66659 13.3333 5.05992 13.3333 7.99992C13.3333 10.9399 10.94 13.3333 7.99999 13.3333Z" fill="currentcolor"></path></svg>运行<svg fill="none" height="16" viewbox="0 0 16 16" width="16" xmlns="http://www.w3.org/2000/svg"><path clip-rule="evenodd" d="M4.5 15.5V3.5H14.5V15.5H4.5ZM12.5 5.5H6.5V13.5H12.5V5.5ZM9.5 2.5H3.5V12.5H1.5V0.5H11.5V2.5H9.5Z" fill="currentcolor" fill-rule="evenodd"></path></svg>复制</code>javascript
const_reference       operator[](size_type <strong>n) const       { return *(this->_M_impl._M_start + </strong>n); }</p><pre class="brush:php;toolbar:false;"><code></p><p>与MSVC的operator实现不同的是，gnu的实现中，直接通过首地址+n来进行元素访问（而没有进行size判断），因为内存已经完成分配，所以这样操作是没问题的，这就是Linux环境下执行没问题的原因。</p><p>结语本想与该读者继续私聊，无奈已经被取消关注?。</p><p>昨晚，我也对读者提出的问题进行了反思。虽然代码在Linux环境下运行没有问题，但仍然会有一部分Windows的读者认为代码有误。因此，在未来的文章中，如果涉及到代码，我会尽量考虑编译环境的因素。</p><p>今天的文章就到这里，我们下期见！</code>

登录后复制

以上就是技术文被diss了的详细内容，更多请关注php中文网其它相关文章！