Основы программирования

Какие правила корректности создания объектов должны иметь место?

(Ответ считается верным, если отмечены все правильные варианты ответов.)

Варианты ответа

непосредственно перед созданием объекта должно выполняться предусловие процедуры создания(Верный ответ)

непосредственно после выполнения процедуры создания, вызванной целью x, имеет место x /= Void (Верный ответ)

непосредственно после выполнения процедуры создания выполняется постусловие процедуры создания, если оно задано(Верный ответ)

непосредственно после выполнения процедуры создания, вызванной целью x типа С, выполняются все инварианты класса С, примененные к объекту, на который указывает x(Верный ответ)

непосредственно перед созданием объекта должны выполняться инварианты класса

Похожие вопросы

Какие утверждения справедливы для обеспечения корректности составного оператора?

Если у класса есть хотя бы один нетривиальный инвариант, то класс обязан задать нетривиальную процедуру создания класса и не может использовать процедуру создания по умолчанию. Нетривиальность в данном контексте означает, что поля создаваемого объекта должны быть инициализированы значениями, отличными от значений, задаваемых по умолчанию. Укажите корректное объяснение этого требования?

Какие правила относятся к стилю программирования?

Какие правила стиля рекомендуются для ссылочного программирования?

Какие утверждения о создании объектов являются корректными?

Каковы условия корректности условного оператора if c then a else b?

Какие утверждения корректно определяют задание процедур создания:

Пусть для некоторой проблемной области создается программная система. Какие условия должны выполняться при проектировании классов программной системы:

Метод класса может иметь аргументы. Аргументы, указанные при объявлении метода называются формальными. При вызове метода задаются фактические аргументы. Какие утверждения корректны относительно формальных и фактических аргументов и их соответствия?

Какое высказывание не имеет место для программ с goto?