3 ms·

> Actually it is more than syntax sugar. Where? I see only syntax sugar. The catchy phrase from the Google C++ style guide is stuck in my head: references have

> Actually it is more than syntax sugar. Where? I see only syntax sugar. The catchy phrase from the Google C++ style guide is stuck in my head: references have value syntax but pointer semantics. And that's it (and that's why I think references are mostly a bad idea). > C requires explicit double indirection Your 2nd example is no different, it's still just "indirection" (value syntax but pointer semantics!). If what you are indirecting is itself a pointer type (as in your 2nd example), then yes, there technically is a "double indirection", but that's besides the point. > impossible to do in languages like Java actually, "in every memory safe language there is". You can do this in Pascal because Pascal is really just C-style systems programming. With a few features like references and ARC that pretend otherwise but quickly fall flat on their head.

pjmlp 7y ago
Ok I might have to give in with the syntax sugar part, but safety? Here is my example in C#. So now C# is unsafe? class Point { public int x, y; } static class CSharpIsUnsafe { static void ByPointer(Point p) { p = new Point(); p.x = 12; } static void ByReference(ref Point p) { p = new Point(); p.x = 12; p.y = 33; } public static void Main(string[] args) { p = new Point(); p.x = 23; p.y = 28; Console.WriteLn($"The point is {p.x} {p.y}"); ByPointer(p) Console.WriteLn($"The point is {p.x} {p.y}"); p.x = 23; p.y = 28; Console.WriteLn($"The point is {p.x} {p.y}"); ByReference(ref p); Console.WriteLn($"The point is {p.x} {p.y}"); } }
- jstimpfle 7y ago
  I guess it might very well be safe. I don't know C# very well, but I'd assume that ref is sort of a proxy that 1) under the hood stores an (object) reference to the lowest structural ancestor that is GC'ed, as well as an offset from that object to the ref'ed property. 2) is itself GC'ed Escape analysis might in some cases optimize out the GC'ing of the ref, but that of course doesn't work if the ref does escape. Something like that, but in any case it's something very different than the Pascal/C++ examples we've talked about.
  - pjmlp 7y ago
    The generated code is similar as how a C++ compiler would do it. Easy to check with VS Assembly visualizer or WinDbg alongside SOS.dll. D, Ada, CLU, Mesa, Mesa/Cedar, Algol, PL/I, PL/S, PL.8, Delphi, Dylan, .NET, Swift, Oberon, Oberon-2, Component Pascal, Active Oberon, QuickBasic, Turbo Basic are just a couple of examples of languages allowing for pass by value and pass by reference, some of them also quite safe. And then there is also call by name introduced alongside Algol.

pjmlp 7y ago

Ok I might have to give in with the syntax sugar part, but safety? Here is my example in C#. So now C# is unsafe? class Point { public int x, y; } static class CSharpIsUnsafe { static void ByPointer(Point p) { p = new Point(); p.x = 12; } static void ByReference(ref Point p) { p = new Point(); p.x = 12; p.y = 33; } public static void Main(string[] args) { p = new Point(); p.x = 23; p.y = 28; Console.WriteLn($"The point is {p.x} {p.y}"); ByPointer(p) Console.WriteLn($"The point is {p.x} {p.y}"); p.x = 23; p.y = 28; Console.WriteLn($"The point is {p.x} {p.y}"); ByReference(ref p); Console.WriteLn($"The point is {p.x} {p.y}"); } }

jstimpfle 7y ago
I guess it might very well be safe. I don't know C# very well, but I'd assume that ref is sort of a proxy that 1) under the hood stores an (object) reference to the lowest structural ancestor that is GC'ed, as well as an offset from that object to the ref'ed property. 2) is itself GC'ed Escape analysis might in some cases optimize out the GC'ing of the ref, but that of course doesn't work if the ref does escape. Something like that, but in any case it's something very different than the Pascal/C++ examples we've talked about.
- pjmlp 7y ago
  The generated code is similar as how a C++ compiler would do it. Easy to check with VS Assembly visualizer or WinDbg alongside SOS.dll. D, Ada, CLU, Mesa, Mesa/Cedar, Algol, PL/I, PL/S, PL.8, Delphi, Dylan, .NET, Swift, Oberon, Oberon-2, Component Pascal, Active Oberon, QuickBasic, Turbo Basic are just a couple of examples of languages allowing for pass by value and pass by reference, some of them also quite safe. And then there is also call by name introduced alongside Algol.