Szukam wyjaśnienia błędu korupcji stosu

Question

Poniższy problem został poddany destylacji z ogromnego projektu i najbardziej minimalnego przykładu problemu, jaki udało mi się wymyślić.

Wiem, że wywodzenie się z std::string jest złe i zostało już zmienione w naszej bazie kodu, ale próbuję zrozumieć, co dzieje się pod maską tutaj.

Kod awarii na Visual C++ 2017

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

w trybie tylko uwalniania (z optymalizacją prędkości). Nie ulega awarii w trybie zwolnienia bez optymalizacji prędkości.

#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)); 
} 

Błąd w Visual Studio jest to (spojrzeć na połamanych rozmiarach msgs i colors na dole):

Domyślam się, że połączenie z std::vector<std::string>::push_back(std::string&&) z my_string jest problematyczne (zachowanie przypominające cięcie). Ale w jaki sposób może to zepsuć stos (lub wskaźnik stosu)?

Czy ktoś ma pojęcie, co może się tutaj wydarzyć lub jak się dowiedzieć?

Here to mój projekt na wypadek, gdyby ktoś chciał odtworzyć problem.

Answer 1

Myślę, że jest to błąd kompilatora.

Oto, co widzę po demontażu: po wpisie main() zapisano esp w ebx. Na koniec esp jest przywracane z ebx. Jednak w środku (po wywołaniu std::_Destroy_range1) wartość jest nadpisywana przez coś innego. Na koniec instrukcja ret używa fałszywej wartości esp i przeskakuje do niewłaściwego miejsca.

Rzeczywiście, stos nie jest uszkodzony (ten błąd nie może zostać przechwycony z punktami przerwania danych, jak zasugerował Hans), ale wskaźnik stosu jest.