Здравствуйте, Serginio1, Вы писали:
S>Ну мы же можем скопировать тело конструктора предка в конструктор потомка.
Для начала — насколько я понял, SG не могут модифицировать код.
То есть мы уже выбежали за пределы source generator.
Далее, если мы попробуем делать какие-то ещё приседания на воображаемом будущем АПИ расширения компилятора: в предке нет никакого тела конструктора. Точно ли мы хотим дописать в конструктор потомка _a = default(), подразумевая семантику Child(int b) : base()?
Что делать, если в предке определён параметризованный конструктор?
В общем, нетривиально.
Возникает вопрос: а что за сценарий у нас такой, где нужны именно структуры, и именно наследование?
Уйдемте отсюда, Румата! У вас слишком богатые погреба.