1
interface Bar{
}
class Foo: Bar{
    int i;
    this(int _i){
        i = _i;
    }
}

void main(){
    import std.experimental.allocator.mallocator;
    import std.experimental.allocator;
    auto f = Mallocator.instance.make!Foo(42);
    Bar b = f;
    Mallocator.instance.dispose(b);// Bad
}

I am currently creating my own smart pointer and I am now extending them to also work with classes and polymorphism.

The problem I am running into is subtyping, I am transferring a pointer from Box!Foo to Box!Bar if Foo implements Bar.

But then Box!Bar goes out of scope and calls dispose on the interface and it crashes.

How do I dispose an object if I only have an interface pointer?

I guess I could just store the pointer under the hood as void*.

compiled with DMD64 D Compiler v2.071.0

*** Error in `./bin/breeze_task': free(): invalid pointer: 0x00000000018196c0 ***
======= Backtrace: =========
/lib/x86_64-linux-gnu/libc.so.6(+0x77725)[0x7f8491fa7725]
/lib/x86_64-linux-gnu/libc.so.6(+0x7ff4a)[0x7f8491faff4a]
/lib/x86_64-linux-gnu/libc.so.6(cfree+0x4c)[0x7f8491fb3abc]
./bin/breeze_task(_D3std12experimental9allocator10mallocator10Mallocator10deallocateMOFNiAvZb+0x51)[0x498a6d]
./bin/breeze_task(_D3std12experimental9allocator77__T7disposeTOS3std12experimental9allocator10mallocator10MallocatorTC3app3BarZ7disposeFKOS3std12experimental9allocator10mallocator10MallocatorC3app3BarZv+0x73)[0x48f513]
./bin/breeze_task(_Dmain+0x39)[0x48f241]
./bin/breeze_task(_D2rt6dmain211_d_run_mainUiPPaPUAAaZiZ6runAllMFZ9__lambda1MFZv+0x1f)[0x49de57]
./bin/breeze_task(_D2rt6dmain211_d_run_mainUiPPaPUAAaZiZ7tryExecMFMDFZvZv+0x21)[0x49dda1]
./bin/breeze_task(_D2rt6dmain211_d_run_mainUiPPaPUAAaZiZ6runAllMFZv+0x2b)[0x49de13]
./bin/breeze_task(_D2rt6dmain211_d_run_mainUiPPaPUAAaZiZ7tryExecMFMDFZvZv+0x21)[0x49dda1]
./bin/breeze_task(_d_run_main+0x1d2)[0x49dd12]
./bin/breeze_task(main+0x20)[0x4901f0]
/lib/x86_64-linux-gnu/libc.so.6(__libc_start_main+0xf0)[0x7f8491f50830]
./bin/breeze_task(_start+0x29)[0x48f119]
======= Memory map: ========
00400000-00517000 r-xp 00000000 08:15 398722                             /home/maik/projects/breeze/bin/breeze_task
00717000-00718000 r--p 00117000 08:15 398722                             /home/maik/projects/breeze/bin/breeze_task
00718000-0072e000 rw-p 00118000 08:15 398722                             /home/maik/projects/breeze/bin/breeze_task
0072e000-0072f000 rw-p 00000000 00:00 0 
017fc000-0182e000 rw-p 00000000 00:00 0                                  [heap]
7f848c000000-7f848c021000 rw-p 00000000 00:00 0 
7f848c021000-7f8490000000 ---p 00000000 00:00 0 
7f8490c68000-7f8490c6d000 r-xp 00000000 08:12 141260                     /usr/lib/x86_64-linux-gnu/libXfixes.so.3.1.0
7f8490c6d000-7f8490e6c000 ---p 00005000 08:12 141260                     /usr/lib/x86_64-linux-gnu/libXfixes.so.3.1.0
7f8490e6c000-7f8490e6d000 r--p 00004000 08:12 141260                     /usr/lib/x86_64-linux-gnu/libXfixes.so.3.1.0
7f8490e6d000-7f8490e6e000 rw-p 00005000 08:12 141260                     /usr/lib/x86_64-linux-gnu/libXfixes.so.3.1.0
7f8490e6e000-7f8490fe0000 r-xp 00000000 08:12 132861                     /usr/lib/x86_64-linux-gnu/libstdc++.so.6.0.21
7f8490fe0000-7f84911e0000 ---p 00172000 08:12 132861                     /usr/lib/x86_64-linux-gnu/libstdc++.so.6.0.21
7f84911e0000-7f84911ea000 r--p 00172000 08:12 132861                     /usr/lib/x86_64-linux-gnu/libstdc++.so.6.0.21
7f84911ea000-7f84911ec000 rw-p 0017c000 08:12 132861                     /usr/lib/x86_64-linux-gnu/libstdc++.so.6.0.21
7f84911ec000-7f84911f0000 rw-p 00000000 00:00 0 
7f84911f0000-7f84912aa000 r-xp 00000000 08:12 416324                     /usr/lib/nvidia-364/libGLdispatch.so.0
7f84912aa000-7f84914aa000 ---p 000ba000 08:12 416324                     /usr/lib/nvidia-364/libGLdispatch.so.0
7f84914aa000-7f84914b9000 rw-p 000ba000 08:12 416324                     /usr/lib/nvidia-364/libGLdispatch.so.0
7f84914b9000-7f84914d9000 rw-p 00000000 00:00 0 
7f84914d9000-7f84914ea000 r-xp 00000000 08:12 416297                     /usr/lib/nvidia-364/libGLX.so.0
7f84914ea000-7f84916e9000 ---p 00011000 08:12 416297                     /usr/lib/nvidia-364/libGLX.so.0
7f84916e9000-7f84916ea000 rw-p 00010000 08:12 416297                     /usr/lib/nvidia-364/libGLX.so.0
7f84916ea000-7f849170a000 rw-p 00000000 00:00 0 
7f849170a000-7f8491713000 r-xp 00000000 08:12 141278                     /usr/lib/x86_64-linux-gnu/libXrender.so.1.3.0
7f8491713000-7f8491912000 ---p 00009000 08:12 141278                     /usr/lib/x86_64-linux-gnu/libXrender.so.1.3.0
7f8491912000-7f8491913000 r--p 00008000 08:12 141278                     /usr/lib/x86_64-linux-gnu/libXrender.so.1.3.0
7f8491913000-7f8491914000 rw-p 00009000 08:12 141278                     /usr/lib/x86_64-linux-gnu/libXrender.so.1.3.0
7f8491914000-7f8491925000 r-xp 00000000 08:12 141258                     /usr/lib/x86_64-linux-gnu/libXext.so.6.4.0
7f8491925000-7f8491b24000 ---p 00011000 08:12 141258                     /usr/lib/x86_64-linux-gnu/libXext.so.6.4.0
7f8491b24000-7f8491b25000 r--p 00010000 08:12 141258                     /usr/lib/x86_64-linux-gnu/libXext.so.6.4.0
7f8491b25000-7f8491b26000 rw-p 00011000 08:12 141258                     /usr/lib/x86_64-linux-gnu/libXext.so.6.4.0
7f8491b26000-7f8491b2b000 r-xp 00000000 08:12 141256                     /usr/lib/x86_64-linux-gnu/libXdmcp.so.6.0.0
7f8491b2b000-7f8491d2a000 ---p 00005000 08:12 141256                     /usr/lib/x86_64-linux-gnu/libXdmcp.so.6.0.0
7f8491d2a000-7f8491d2b000 r--p 00004000 08:12 141256                     /usr/lib/x86_64-linux-gnu/libXdmcp.so.6.0.0
7f8491d2b000-7f8491d2c000 rw-p 00005000 08:12 141256                     /usr/lib/x86_64-linux-gnu/libXdmcp.so.6.0.0
7f8491d2c000-7f8491d2e000 r-xp 00000000 08:12 141245                     /usr/lib/x86_64-linux-gnu/libXau.so.6.0.0
7f8491d2e000-7f8491f2e000 ---p 00002000 08:12 141245                     /usr/lib/x86_64-linux-gnu/libXau.so.6.0.0
7f8491f2e000-7f8491f2f000 r--p 00002000 08:12 141245                     /usr/lib/x86_64-linux-gnu/libXau.so.6.0.0
7f8491f2f000-7f8491f30000 rw-p 00003000 08:12 141245                     /usr/lib/x86_64-linux-gnu/libXau.so.6.0.0
7f8491f30000-7f84920f0000 r-xp 00000000 08:12 281619                     /lib/x86_64-linux-gnu/libc-2.23.so
7f84920f0000-7f84922ef000 ---p 001c0000 08:12 281619                     /lib/x86_64-linux-gnu/libc-2.23.so
7f84922ef000-7f84922f3000 r--p 001bf000 08:12 281619                     /lib/x86_64-linux-gnu/libc-2.23.so
7f84922f3000-7f84922f5000 rw-p 001c3000 08:12 281619                     /lib/x86_64-linux-gnu/libc-2.23.so
7f84922f5000-7f84922f9000 rw-p 00000000 00:00 0 
7f84922f9000-7f849230f000 r-xp 00000000 08:12 267115                     /lib/x86_64-linux-gnu/libgcc_s.so.1
7f849230f000-7f849250e000 ---p 00016000 08:12 267115                     /lib/x86_64-linux-gnu/libgcc_s.so.1
7f849250e000-7f849250f000 rw-p 00015000 08:12 267115                     /lib/x86_64-linux-gnu/libgcc_s.so.1
7f849250f000-7f8492516000 r-xp 00000000 08:12 281614                     /lib/x86_64-linux-gnu/librt-2.23.so
7f8492516000-7f8492715000 ---p 00007000 08:12 281614                     /lib/x86_64-linux-gnu/librt-2.23.so
7f8492715000-7f8492716000 r--p 00006000 08:12 281614                     /lib/x86_64-linux-gnu/librt-2.23.so
7f8492716000-7f8492717000 rw-p 00007000 08:12 281614                     /lib/x86_64-linux-gnu/librt-2.23.so
7f8492717000-7f849281f000 r-xp 00000000 08:12 281470                     /lib/x86_64-linux-gnu/libm-2.23.so
7f849281f000-7f8492a1e000 ---p 00108000 08:12 281470                     /lib/x86_64-linux-gnu/libm-2.23.so
7f8492a1e000-7f8492a1f000 r--p 00107000 08:12 281470                     /lib/x86_64-linux-gnu/libm-2.23.so
7f8492a1f000-7f8492a20000 rw-p 00108000 08:12 281470                     /lib/x86_64-linux-gnu/libm-2.23.so
7f8492a20000-7f8492a21000 r-xp 00000000 08:12 141239                     /usr/lib/x86_64-linux-gnu/libX11-xcb.so.1.0.0
7f8492a21000-7f8492c20000 ---p 00001000 08:12 141239                     /usr/lib/x86_64-linux-gnu/libX11-xcb.so.1.0.0
7f8492c20000-7f8492c21000 r--p 00000000 08:12 141239                     /usr/lib/x86_64-linux-gnu/libX11-xcb.so.1.0.0
7f8492c21000-7f8492c22000 rw-p 00001000 08:12 141239                     /usr/lib/x86_64-linux-gnu/libX11-xcb.so.1.0.0
7f8492c22000-7f8492c25000 r-xp 00000000 08:12 281620                     /lib/x86_64-linux-gnu/libdl-2.23.so
7f8492c25000-7f8492e24000 ---p 00003000 08:12 281620                     /lib/x86_64-linux-gnu/libdl-2.23.so
7f8492e24000-7f8492e25000 r--p 00002000 08:12 281620                     /lib/x86_64-linux-gnu/libdl-2.23.so
7f8492e25000-7f8492e26000 rw-p 00003000 08:12 281620                     /lib/x86_64-linux-gnu/libdl-2.23.so
7f8492e26000-7f8492e2f000 r-xp 00000000 08:12 141252                     /usr/lib/x86_64-linux-gnu/libXcursor.so.1.0.2
7f8492e2f000-7f849302e000 ---p 00009000 08:12 141252                     /usr/lib/x86_64-linux-gnu/libXcursor.so.1.0.2
7f849302e000-7f849302f000 r--p 00008000 08:12 141252                     /usr/lib/x86_64-linux-gnu/libXcursor.so.1.0.2
7f849302f000-7f8493030000 rw-p 00009000 08:12 141252                     /usr/lib/x86_64-linux-gnu/libXcursor.so.1.0.2
7f8493030000-7f8493032000 r-xp 00000000 08:12 141268                     /usr/lib/x86_64-linux-gnu/libXinerama.so.1.0.0
7f8493032000-7f8493231000 ---p 00002000 08:12 141268                     /usr/lib/x86_64-linux-gnu/libXinerama.so.1.0.0
7f8493231000-7f8493232000 r--p 00001000 08:12 141268                     /usr/lib/x86_64-linux-gnu/libXinerama.so.1.0.0
7f8493232000-7f8493233000 rw-p 00002000 08:12 141268                     /usr/lib/x86_64-linux-gnu/libXinerama.so.1.0.0
7f8493233000-7f84932a0000 r-xp 00000000 08:12 141103                     /usr/lib/x86_64-linux-gnu/libGLU.so.1.3.1
7f84932a0000-7f84934a0000 ---p 0006d000 08:12 141103                     /usr/lib/x86_64-linux-gnu/libGLU.so.1.3.1
7f84934a0000-7f84934a1000 r--p 0006d000 08:12 141103                     /usr/lib/x86_64-linux-gnu/libGLU.so.1.3.1
7f84934a1000-7f84934a2000 rw-p 0006e000 08:12 141103                     /usr/lib/x86_64-linux-gnu/libGLU.so.1.3.1
7f84934a2000-7f849352f000 r-xp 00000000 08:12 416287                     /usr/lib/nvidia-364/libGL.so.1.0.0
7f849352f000-7f849372f000 ---p 0008d000 08:12 416287                     /usr/lib/nvidia-364/libGL.so.1.0.0
7f849372f000-7f8493730000 rw-p 0008d000 08:12 416287                     /usr/lib/nvidia-364/libGL.so.1.0.0
7f8493730000-7f8493731000 rw-p 00000000 00:00 0 
7f8493731000-7f849373b000 r-xp 00000000 08:12 141276                     /usr/lib/x86_64-linux-gnu/libXrandr.so.2.2.0
7f849373b000-7f849393a000 ---p 0000a000 08:12 141276                     /usr/lib/x86_64-linux-gnu/libXrandr.so.2.2.0
7f849393a000-7f849393b000 r--p 00009000 08:12 141276                     /usr/lib/x86_64-linux-gnu/libXrandr.so.2.2.0
7f849393b000-7f849393c000 rw-p 0000a000 08:12 141276                     /usr/lib/x86_64-linux-gnu/libXrandr.so.2.2.0
7f849393c000-7f8493941000 r-xp 00000000 08:12 141294                     /usr/lib/x86_64-linux-gnu/libXxf86vm.so.1.0.0
7f8493941000-7f8493b40000 ---p 00005000 08:12 141294                     /usr/lib/x86_64-linux-gnu/libXxf86vm.so.1.0.0
7f8493b40000-7f8493b41000 r--p 00004000 08:12 141294                     /usr/lib/x86_64-linux-gnu/libXxf86vm.so.1.0.0
7f8493b41000-7f8493b42000 rw-p 00005000 08:12 141294                     /usr/lib/x86_64-linux-gnu/libXxf86vm.so.1.0.0
7f8493b42000-7f8493c77000 r-xp 00000000 08:12 141241                     /usr/lib/x86_64-linux-gnu/libX11.so.6.3.0
7f8493c77000-7f8493e77000 ---p 00135000 08:12 141241                     /usr/lib/x86_64-linux-gnu/libX11.so.6.3.0
7f8493e77000-7f8493e78000 r--p 00135000 08:12 141241                     /usr/lib/x86_64-linux-gnu/libX11.so.6.3.0
7f8493e78000-7f8493e7c000 rw-p 00136000 08:12 141241                     /usr/lib/x86_64-linux-gnu/libX11.so.6.3.0
7f8493e7c000-7f8493e94000 r-xp 00000000 08:12 281618                     /lib/x86_64-linux-gnu/libpthread-2.23.so
7f8493e94000-7f8494093000 ---p 00018000 08:12 281618                     /lib/x86_64-linux-gnu/libpthread-2.23.so
7f8494093000-7f8494094000 r--p 00017000 08:12 281618                     /lib/x86_64-linux-gnu/libpthread-2.23.so
7f8494094000-7f8494095000 rw-p 00018000 08:12 281618                     /lib/x86_64-linux-gnu/libpthread-2.23.so
7f8494095000-7f8494099000 rw-p 00000000 00:00 0 
7f8494099000-7f84940a8000 r-xp 00000000 08:12 141266                     /usr/lib/x86_64-linux-gnu/libXi.so.6.1.0
7f84940a8000-7f84942a7000 ---p 0000f000 08:12 141266                     /usr/lib/x86_64-linux-gnu/libXi.so.6.1.0
7f84942a7000-7f84942a8000 r--p 0000e000 08:12 141266                     /usr/lib/x86_64-linux-gnu/libXi.so.6.1.0
7f84942a8000-7f84942a9000 rw-p 0000f000 08:12 141266                     /usr/lib/x86_64-linux-gnu/libXi.so.6.1.0
7f84942a9000-7f84942ca000 r-xp 00000000 08:12 142612                     /usr/lib/x86_64-linux-gnu/libxcb.so.1.1.0
7f84942ca000-7f84944c9000 ---p 00021000 08:12 142612                     /usr/lib/x86_64-linux-gnu/libxcb.so.1.1.0
7f84944c9000-7f84944ca000 r--p 00020000 08:12 142612                     /usr/lib/x86_64-linux-gnu/libxcb.so.1.1.0
7f84944ca000-7f84944cb000 rw-p 00021000 08:12 142612                     /usr/lib/x86_64-linux-gnu/libxcb.so.1.1.0
7f84944cb000-7f84944f1000 r-xp 00000000 08:12 281615                     /lib/x86_64-linux-gnu/ld-2.23.so
7f84945b6000-7f84946c3000 rw-p 00000000 00:00 0 
7f84946ed000-7f84946f0000 rw-p 00000000 00:00 0 
7f84946f0000-7f84946f1000 r--p 00025000 08:12 281615                     /lib/x86_64-linux-gnu/ld-2.23.so
7f84946f1000-7f84946f2000 rw-p 00026000 08:12 281615                     /lib/x86_64-linux-gnu/ld-2.23.so
7f84946f2000-7f84946f3000 rw-p 00000000 00:00 0 
7ffeb88e3000-7ffeb8904000 rw-p 00000000 00:00 0                          [stack]
7ffeb890f000-7ffeb8911000 r--p 00000000 00:00 0                          [vvar]
7ffeb8911000-7ffeb8913000 r-xp 00000000 00:00 0                          [vdso]
ffffffffff600000-ffffffffff601000 r-xp 00000000 00:00 0                  [vsyscall]
Program exited with code -6

This is the dispose function:

void dispose(A, T)(auto ref A alloc, T p)
if (is(T == class) || is(T == interface))
{
    if (!p) return;
    auto support = (cast(void*) p)[0 .. typeid(p).init.length];
    destroy(p);
    alloc.deallocate(support);
}

The problem seems to be this line

auto support = (cast(void*) p)[0 .. typeid(p).init.length];
interface Bar{
}
class Foo: Bar{
    int i;
    this(int _i){
        i = _i;
    }
}

void main(){
    import std.experimental.allocator.mallocator;
    import std.experimental.allocator;
    auto f = Mallocator.instance.make!Foo(42);
    Bar b = f;
    auto support = (cast(void*) b)[0 .. typeid(b).init.length];
    writeln("length ", support.length);
    Mallocator.instance.dispose(b);// Bad
}

It actually prints length 0 because typeid(b).init.length is also 0. It appears that something here is very wrong.

Also the addresses of f and b from cast(void*) are different, see How do I get the address of an object with an interface?

2
  • Your sample works for me. What exactly is your issue? Commented Jun 16, 2016 at 23:35
  • @ColonelThirtyTwo I posted the backtrace that I am getting from this example.
    – Maik Klein
    Commented Jun 17, 2016 at 0:03

1 Answer 1

3

Okay the problem was that I was using dub and had emsi_container as a dependency. emsi_container has an outdated version of std.experimental.allocator as a dependency which overshadowed the version that ships with the compiler.

This bug is fixed in the newest version of std.experimental.allocator.

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.