Давайте рассмотрим каждое из утверждений о деструкторе и выясним, какие из них являются справедливыми.

1. Назначение деструктора состоит в уничтожении экземпляра класса и освобождении памяти: Это утверждение верно. Деструктор используется для освобождения ресурсов, которые были выделены в течение жизни экземпляра класса, таких как память, открытые файлы и сетевые соединения.
2. Деструктор может иметь параметры: Это утверждение неверно. Деструктор не может иметь параметры. Он всегда вызывается без аргументов, так как его задача — очистить ресурсы объекта перед его удалением.
3. Имя деструктора – произвольный идентификатор: Это утверждение неверно. Имя деструктора строго определено и совпадает с именем класса, но с префиксом тильда (~). Например, для класса MyClass деструктор будет ~MyClass.
4. Деструктор может вызываться как функция в операторе присваивания: Это утверждение неверно. Деструктор вызывается автоматически системой, когда объект выходит из области видимости или уничтожается. Его нельзя вызвать явно как обычную функцию в операторе присваивания.
5. Деструктор – это специальный метод класса: Это утверждение верно. Деструктор — это специальный метод класса, предназначенный для выполнения очистки перед уничтожением объекта.
6. Деструктор должен обязательно вызываться в программе явно: Это утверждение неверно. Деструктор вызывается автоматически, и программисту не нужно вызывать его явно. Он вызывается системой, когда объект выходит из области видимости или уничтожается.

Таким образом, справедливыми являются утверждения 1 и 5.