On Tuesday, 22 September 2015 at 04:07:54 UTC, Ola Fosheim
Grostad wrote:
On Tuesday, 22 September 2015 at 00:31:45 UTC, Paul O'Neil
wrote:
While D and C++ const don't quite share semantics, they're
petty close and they mangle the same way. I do what ZombieDev
has in the table.
Going from const to mutable like that breaks the type system...
Can pragma(mangle, ...) be used on types? Then we can define a
C/C++ compatible `HeadConst` template that simulates C/C++ const
semantics, while still being mangled correctly:
template HeadConst(T) {
pragma(mangle, const(T).mangleof)
struct HeadConst {
// @disable opAssign();
// and whatever else is necessary for head-const
}
}
The constructor would of course need to make sure that it accepts
only types with non-const indirection.
