CS>typedef uint Color; 
CS>Color c; 
CS>c += 28; // ошибка компиляции.
CS>

class IdealInt : public int
{
 //...
};

class Constructors: Base
{
    int a;

    this();            //конструктор всегда зовут this. Что облегчает использование паттерна проектирования copy-paste :)
    this(int i)     //как и в C++, конструкторов может быть несколько, они могут принимать параметры
    {
        a = i;        //инициализация членов - просто в теле конструктора
        this();        //в отличие от С++, конструкторы могут вызывать друг друга.
        
        super(10);    //вызов конструкторов базового класса - в любом месте конструктора. если нет явного вызова, вызовется в самом начале this(
    }
    
    int b = 18;        //инициализация членов константами
    
    ~this()            //с деструктором тоже все банально - он один, без параметров, всегда виртуальный
    {
    }
};

class A
{
    int r = random();       //так нельзя!
    
    static this()
    {
        //это выполнится до начала main 1 раз. выделение ресурсов, задание начальных значений данных членов...
        r = random();       //а вот так - можно!
    }
    
    static ~this()
    {
        //выполнится после конца main
    }
}

class Resource
{
    Resource()
    {
    /*
        открываем файлы, создаем сокеты и вообще творим всякие непотребства
    */
    }
    
    ~Resource()
    {
    //убираем за собой
    }
}

//где-то в коде:
{
    Resource r;    //взяли ресурс
    
    ....
} //ресурс освободился - даже в случае исключения

auto class Resource        //весь фокус - тут
{
    this()
    {
    /*
        открываем файлы, создаем сокеты и вообще творим всякие непотребства
    */
    }
    
    ~this()
    {
    //убираем за собой
    }
}

//где-то в коде:
{
    Resource r = new Resource;       //так авто-классы использовать нельзя
    auto Resource r =  new Resource; //только с явным указанием намерений
    
    ....
} //при выходе из scope - вызовутся деструкторы всех auto-переменных, ресурсы освободятся - даже в случае исключения

ЗХ>class A
ЗХ>{
ЗХ>    int r = random();       //так нельзя!
    
ЗХ>    static this()
ЗХ>    {
ЗХ>        //это выполнится до начала main 1 раз. выделение ресурсов, задание начальных значений данных членов...
ЗХ>        r = random();       //а вот так - можно!
ЗХ>    }
    
ЗХ>    static ~this()
ЗХ>    {
ЗХ>        //выполнится после конца main
ЗХ>    }
ЗХ>}
ЗХ>

extern (C) void gc_init();
extern (C) void gc_term();
extern (C) void _minit();
extern (C) void _moduleCtor();
extern (C) void _moduleUnitTests();

extern (Windows)
int WinMain(HINSTANCE hInstance,
    HINSTANCE hPrevInstance,
    LPSTR lpCmdLine,
    int nCmdShow)
{
    int result = 0;

    gc_init();          // initialize garbage collector
    _minit();           // initialize module constructor table

    try
    {
      _moduleCtor();      // call module constructors
      _moduleUnitTests(); // run unit tests (optional)
    }
    catch (Object o)        // catch any uncaught exceptions
    {
      // failed [code skiped]....  
      result = -2;
    }

    if( result == 0 )
    {
      try 
      {
        NativeApplication.initialize();
        // main message pump loop
        while( true ) 
        {
          if(!NativeApplication.doEvents())
            break;
        }
        result = 0; 
      }
      
      catch (Object o)        // catch any uncaught exceptions
      {
        result = -1;     // failed
        // [code skiped]
      } 
      finally 
      {
        NativeApplication.finalize();
      }
    }

    gc_term();          // run finalizers; terminate garbage collector
    return result;
}

• Есть 2 точки деструкции объекта: когда его можно удалить (например, на объект есть единственная ссылка, и она выходит из зоны видимости), и когда объект действительно удаляется. Желательно иметь возможность написать свой код для обоих случаев. (auto — это да, а ещё?)
  
• Можно ли вызывать виртуальные функции в конструкторах и деструкторах?

MS>int v = a*b/c;
MS>

MS>v = a.muldiv(b, c);
MS>или 
MS>v = a.mulshift(b, 32); // - умножаем и берем старшие 32 бита
MS>

MS>int lift = a/b;
MS>int rem  = a%b;
MS>

struct MulResult
 {
  int hi;
  unsigned int low;
  
  operator int() const { return low; }
 };
 
builtin MulResult operator * (int a,int b);