www.digitalmars.com         C & C++   DMDScript  

digitalmars.D.bugs - [Issue 12944] New: std.variant does not observe value semantics for


          Issue ID: 12944
           Summary: std.variant does not observe value semantics for large
                    value types.
           Product: D
           Version: D2
          Hardware: All
                OS: All
            Status: NEW
          Severity: normal
          Priority: P1
         Component: Phobos
          Assignee: nobody puremagic.com
          Reporter: opantm2+dbugs gmail.com

Assigning a Variant to another Variant which contains a large value type causes
both Variants to have a reference to the same value. Currently this is not a
huge issue because the only way to modify the Variant's reference to a large
value type (that is, larger than Variant.size which is 32 bytes on x64), is
through the use of peek on a struct. This will become a larger issue when
std.variant supports static arrays however.

import std.variant;

struct Foo {
    int foo;
    ubyte[32] padding;

void main() {
    Foo f;
    f.foo = 3;
    Variant v = f;
    Variant v2 = v;
    auto fp = v.peek!Foo;
    fp.foo = 6;
    assert(v2.get!Foo.foo == 3); // fails

Commenting out the padding makes this work as expected.

Jun 18 2014