хорошо, сейчас проведу эксперимент.

провел серию экспериментов. alias вроде как можно убрать под private в классе, имеющим публичный проперти с ним. Количество параметров компилятор отслеживает, увеличить или уменьшить не дает, обращение к null срабатывает также, как и в случае с обычным делегатом. Так кажется, что ведет себя одинаково. Здесь разве что подозрительно выглядит подмена типа в поле, вероятно, это как-то может потом отразиться на рефлексии или создаст частный случай... кгм. Но вообще все это выглядит странным: делегат(a,b) в поле не одно и тоже, что и делегат(a,b,c).

Ты объявляешь не просто делегат, а проперти-делегат и я не понял зачем. Разницы между ними я никакой не нашел.

Насколько я понимаю по аналогии, в D проперти в контексте полей класса используется как аналог автогеттеров\сеттеров в других языках.

Нет, проперти метод мимикрирует под поле класса. Там на него дополнительные ограничения накладывают — можно посмотреть по ссылке, которую я выше кинул. Геттеры и сеттеры в Ди помечаются как проперти именно по этой причине, но благодаря UFCS в них особой надобности нет. Например, эти конструкции одинаковы из-за UFCS:
a.foo(b);
a.foo = b;

ок, проперти отпадают. Как тогда объявить поле класса с учетом того, что мне не нужна дополнительная _приватная переменная и еще два метода к ней?

А чем тебя не устраивает простое объявление публичного поля? Зачем тебе нужны геттеры и сеттеры которые ничего не делают?

В наследниках переопределить можно

Только virtual, не?

Ну да

Если решать прям в лоб и ты не хочешь именно писать руками геттеры и сеттеры — можно написать mixin template под такой случай и вставлять его везде. Но он просто сгенерирует приватную переменную и геттер/сеттер, так что если тебе принципиально не нужна лишняя переменная — то я не знаю как сделать и, скорее всего, так нельзя.

Можно темплейтную структуру написать, в ней операторы переопределить

Чтобы проверяла на null при вызове

У него сейчас не проверяет на null конструкция

Так что хз 8)

Проверять на нулл можно по разному

Инвариантами, например, ещё можно

в D все методы классов виртуальные кроме приватных и финальных

А, вот как

Совсем об этом забыл