munmap_chunk(): неверный указатель при использовании шаблонов функций

Question

Кажется, моя программа падает с munmap_chunk(): invalid pointer ошибка. Это означает, что где-то должно быть недопустимое уничтожение, недопустимое использование бесплатного или что-то в этом роде. Но я не могу понять, где и почему. Упрощенный код, который все еще выдает эту ошибку, следующий (не беспокойтесь обо всех шаблонах и прочем, это имеет смысл в контексте моей программы, и без них я не смог бы воспроизвести эту ошибку. Я просто интересно почему это не получается)

#include <iostream>
#include <string>
#include <string.h>

class db
{
public:
    template<typename T>
        struct Input { typedef T type; };

    template<typename T>
        void setValue(typename Input<T>::type newValue)
    {
        setValue(Input<T>(), newValue);
    }
private:
    void* data;
    std::string setValue(Input<std::string>, typename Input<std::string>::type newValue)
    {
        data = (void*) new char[newValue.size()+1];
        strcpy((char*)data, newValue.c_str());
        std::cout << "string: \"" << (char*)data << "\"\n";
    }
};

int main()
{
    db dbObj;
    std::string str = "Hello world";
    dbObj.setValue<std::string>(str);
    std::cout << "This is the end!\n";
    return 0;
}

Это дает следующий вывод на терминал:

string: "Hello world"
*** Error in `/castor/Code/CodeBlocks/testCpp2/bin/Debug/testCpp2': munmap_chunk(): invalid pointer: 0x00007ffd229f8490 ***
======= Backtrace: =========
/usr/lib/libc.so.6(+0x72055)[0x7f39395ee055]
/usr/lib/libc.so.6(+0x779a6)[0x7f39395f39a6]
/castor/Code/CodeBlocks/testCpp2/bin/Debug/testCpp2[0x400e34]
/castor/Code/CodeBlocks/testCpp2/bin/Debug/testCpp2[0x400c82]
/usr/lib/libc.so.6(__libc_start_main+0xf0)[0x7f393959c610]
/castor/Code/CodeBlocks/testCpp2/bin/Debug/testCpp2[0x400b59]
======= Memory map: ========
00400000-00402000 r-xp 00000000 08:22 35002296                           /castor/Code/CodeBlocks/testCpp2/bin/Debug/testCpp2
00601000-00602000 rw-p 00001000 08:22 35002296                           /castor/Code/CodeBlocks/testCpp2/bin/Debug/testCpp2
00903000-00935000 rw-p 00000000 00:00 0                                  [heap]
7f393957c000-7f3939717000 r-xp 00000000 08:31 5246076                    /usr/lib/libc-2.22.so
7f3939717000-7f3939916000 ---p 0019b000 08:31 5246076                    /usr/lib/libc-2.22.so
7f3939916000-7f393991a000 r--p 0019a000 08:31 5246076                    /usr/lib/libc-2.22.so
7f393991a000-7f393991c000 rw-p 0019e000 08:31 5246076                    /usr/lib/libc-2.22.so
7f393991c000-7f3939920000 rw-p 00000000 00:00 0 
7f3939920000-7f3939936000 r-xp 00000000 08:31 5246391                    /usr/lib/libgcc_s.so.1
7f3939936000-7f3939b35000 ---p 00016000 08:31 5246391                    /usr/lib/libgcc_s.so.1
7f3939b35000-7f3939b36000 rw-p 00015000 08:31 5246391                    /usr/lib/libgcc_s.so.1
7f3939b36000-7f3939c33000 r-xp 00000000 08:31 5246131                    /usr/lib/libm-2.22.so
7f3939c33000-7f3939e32000 ---p 000fd000 08:31 5246131                    /usr/lib/libm-2.22.so
7f3939e32000-7f3939e33000 r--p 000fc000 08:31 5246131                    /usr/lib/libm-2.22.so
7f3939e33000-7f3939e34000 rw-p 000fd000 08:31 5246131                    /usr/lib/libm-2.22.so
7f3939e34000-7f3939fa6000 r-xp 00000000 08:31 5246435                    /usr/lib/libstdc++.so.6.0.21
7f3939fa6000-7f393a1a6000 ---p 00172000 08:31 5246435                    /usr/lib/libstdc++.so.6.0.21
7f393a1a6000-7f393a1b0000 r--p 00172000 08:31 5246435                    /usr/lib/libstdc++.so.6.0.21
7f393a1b0000-7f393a1b2000 rw-p 0017c000 08:31 5246435                    /usr/lib/libstdc++.so.6.0.21
7f393a1b2000-7f393a1b6000 rw-p 00000000 00:00 0 
7f393a1b6000-7f393a1d8000 r-xp 00000000 08:31 5246074                    /usr/lib/ld-2.22.so
7f393a396000-7f393a39c000 rw-p 00000000 00:00 0 
7f393a3d5000-7f393a3d7000 rw-p 00000000 00:00 0 
7f393a3d7000-7f393a3d8000 r--p 00021000 08:31 5246074                    /usr/lib/ld-2.22.so
7f393a3d8000-7f393a3d9000 rw-p 00022000 08:31 5246074                    /usr/lib/ld-2.22.so
7f393a3d9000-7f393a3da000 rw-p 00000000 00:00 0 
7ffd229d8000-7ffd229f9000 rw-p 00000000 00:00 0                          [stack]
7ffd229fb000-7ffd229fd000 r--p 00000000 00:00 0                          [vvar]
7ffd229fd000-7ffd229ff000 r-xp 00000000 00:00 0                          [vdso]
ffffffffff600000-ffffffffff601000 r-xp 00000000 00:00 0                  [vsyscall]

Проведя некоторую отладку, я обнаружил, что ошибка должна произойти в конце функции std::string setValue(Input<std::string>, typename Input<std::string>::type), Однако в этой функции нет ничего освобожденного или разрушенного. Он просто выделяет пространство и копирует содержимое c-строки newValue (который имеет тип std::string) к данным. данные не уничтожаются в конце функции, потому что это указатель, верно? Я также пытался посмотреть адреса переменных dbObj, str и содержание указателя data, Однако ни один из них не равен одному в сообщениях об ошибках (0x00007ffd229f8490). Где и почему возникает эта ошибка?

Answer 1

Двухпараметрическая setValue проявляет неопределенное поведение, выходя из функции, не встречая return заявление. Он должен возвращать значение, но никогда не возвращает.