Re: DIP62: Volatile type qualifier for unoptimizable variables in embedded programming

[bearophile via Digitalmars-d]

Walter Bright:

struct VolatilePointerToUint {
  private:
    size_t ptr;
  public:
    this(size_t ptr) { this.ptr = ptr; }
    uint read() { return peek(cast(uint*)ptr); }
    void write(uint value) { poke(cast(uint*)ptr, value); }
}

You'd probably wish to flesh this out a bit more, but it's the general idea.

To be added to Phobos?

It's a zero cost abstraction. D has very capable abilities to create types that are restricted versions of other types - this should be explored and exhausted before considering language extensions.

See also the @fantom suggested by Kagamin.

Bye,
bearophile