Подтвердить что ты не робот

Ищете объяснение ошибки коррупции в стеке

Следующая проблема перегоняется из огромного проекта и самого минимального примера проблемы, с которой я смог придумать.

Я знаю, что из std::string плохо, и он уже изменен в нашей базе кода, но я пытаюсь понять, что происходит здесь под капотом.

Сбой кода на Visual С++ 2017

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

только в режиме релиза (с оптимизацией скорости). Он не сбой в режиме деблокирования без оптимизации скорости.

#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 является проблематичным (поведение, подобное разрезанию). Но как это может привести к повреждению стека (или указателя стека)?

Есть ли у кого-нибудь идея, что может происходить здесь или как я могу узнать?

Здесь мой проект, если кто-то заинтересован в воспроизведении проблемы.

4b9b3361

Ответ 1

Я думаю, что это ошибка компилятора.

Вот что я вижу из разборки: при записи main() esp сохраняется в ebx. В конце esp восстанавливается с ebx. Однако в середине (после вызова std::_Destroy_range1) значение ebx перезаписывается чем-то другим. Итак, в конце команда ret использует значение fog esp и переходит в недопустимое место.

Итак, на самом деле, стек не поврежден (эта ошибка не может быть схвачена с точками прерывания данных, как предложил Ханс), но указатель стека.