Field | Value |
---|---|
DIP: | 1xxx |
Review Count: | 0 |
Author: | Biotronic |
This document describes a method for implicitly converting const data structures to head-mutable when types are inferred for temporary variables. This already happens for built-in pointers and arrays, but user-defined types do not enjoy the same benefit. This document argues for a solution where the existing alias this
feature is pressed into service to create temporaries with the desired head-mutability when the aliased value has the right type.