c++ - 寻找堆栈损坏错误的解释

Question

以下问题是从一个庞大的项目中提炼出来的，也是我能想到的问题的最小示例。

我知道，源自 std::string很糟糕，它已经在我们的代码库中进行了更改，但我试图了解这里发生了什么。

代码在 Visual C++ 2017 上崩溃

Microsoft Visual Studio Community 2017 
Version 15.2 (26430.14) Release
Visual C++ 2017   00369-60000-00001-AA257

仅在 Release模式下(具有速度优化)。如果没有速度优化，它不会在 Release模式下崩溃。

#include <string>
#include <string_view>
#include <vector>

struct my_string : public std::string
{
    __declspec(noinline)
        my_string::my_string( const std::string_view& str ) :
        std::string( str.data(), str.size() )
    {}

    template <typename T>
    my_string& arg( T )
    {
        return *this;
    }
};

struct my_string_view : public std::string_view
{
    my_string_view( const std::string_view::value_type* val ) :
        std::string_view( val ) {}

    template <typename... PARAMS>
    my_string arg( PARAMS&&... prms ) {
        return my_string( *this ).arg( std::forward<PARAMS>( prms )... );
    }
};

template <typename T>
struct basic_color
{
    T r, g, b, a;

    basic_color() : r( 0 ), g( 0 ), b( 0 ), a( 255 ) {}

    template <typename U>
    explicit basic_color( const basic_color<U>& c ) :
        r( c.r ), g( c.g ), b( c.b ), a( c.a )
    {}
};

using color = basic_color<std::uint8_t>;
using float_color = basic_color<float>;

__declspec(noinline)
void change_float_color( float_color& color )
{
    color.r = 0.1f;
}

int main()
{
    std::vector<float_color> colors = { {} };
    float sum = 0;
    for ( std::uint32_t i = 0; i < 1; ++i )
    {
        float_color fc;
        change_float_color( fc );
        color c( fc );
        std::vector<std::string> msgs;
        msgs.push_back( my_string_view( "" ).arg( c.r ) );
        msgs.push_back( my_string_view( "" ).arg( c.g ) );
        sum += fc.b - colors[i].b;
    }
    return static_cast<int>(sqrt( sum ));
}

Visual Studio 中的错误是这样的(看看底部的 msgs 和 colors 的损坏大小):

我的猜测是 std::vector<std::string>::push_back(std::string&&) 的调用与 my_string是有问题的(类似切片的行为)。但这怎么会破坏堆栈(或堆栈指针)？

有没有人知道这里会发生什么或我如何才能知道？

Here是我的项目，以防有人有兴趣重现该问题。

Answer 1

我认为这是一个编译器错误。

这是我从反汇编中看到的:在 main() 条目后，esp 被保存到 ebx 中。最后，从 ebx 恢复 esp。但是，在中间(在调用 std::_Destroy_range1 之后)ebx 值被其他内容覆盖。所以，最后，ret 指令使用了一个伪造的 esp 值，并跳转到了一个无效的地方。

所以，实际上，堆栈并没有损坏(这个错误不能像 Hans 建议的那样用数据断点捕获)，但堆栈指针是。