• d-bugmail puremagic.com (42/42) May 23 2024 https://issues.dlang.org/show_bug.cgi?id=24561

d-bugmail puremagic.com writes:

https://issues.dlang.org/show_bug.cgi?id=24561

          Issue ID: 24561
           Summary: inout on opAssign allows you to mutate member
                    variables
           Product: D
           Version: D2
          Hardware: All
                OS: All
            Status: NEW
          Severity: normal
          Priority: P1
         Component: dmd
          Assignee: nobody puremagic.com
          Reporter: issues.dlang jmdavisProg.com

This code compiles

---
void main()
{
    static struct V {
        int _data;

        ref opAssign(T)(auto ref T rhs) inout
            if(is(immutable T == immutable V))
        {
            this._data = rhs._data;
            return this;
        }
    }

    V v;
    auto u = v;
    v = u;
}
---

However, it really shouldn't, because inout could be const or immutable
underneath the hood. If the opAssign is not templated, then it correctly gives
an error, but it doesn't if it's templated like here.

That being said, the compiler still manages to give an error for the assignment
to v if v is marked as const, so that may be why the issue hasn't been caught
previously.

This may or may not be related to
https://issues.dlang.org/show_bug.cgi?id=12793, which points to a similar
problem but specifically with a this This template parameter.

--