Итак, теперь структура может иметь виртуальную функцию и поддерживать наследование? Какая тогда разница с классами? Какова истинная цель сокрытия информации?

Что касается компилятора, нет никакой разницы между struct и class, кроме доступности по умолчанию. Это всего лишь два разных ключевых слова для определения одного и того же. Итак, у структур могут быть конструкторы, деструкторы, базовые классы, виртуальные функции, все что угодно.

Что касается программистов, обычно используется struct для классов, не имеющих ничего из этого (в частности, которые являются POD), или пойти еще дальше и использовать struct только для классов без каких-либо определяемых пользователем функций-членов вообще, только с общедоступными элементами данных. Люди иногда портят это соглашение, потому что на удивление легко думать, что класс является POD, хотя это не так, но, по крайней мере, они пытаются.

По крайней мере, в C ++ сокрытие информации не имеет ничего общего с безопасностью. Выбрось это прямо из головы. Он не обеспечивает никакой безопасности, за исключением того же общего способа, которым любая хорошая практика кодирования делает код, о котором легче думать, и, следовательно, программисты делают меньше ошибок.

Цель сокрытия информации - позволить вам изменить реализацию позже, возможно, удалить или переименовать закрытые члены, будучи уверенным в том, что ни один из пользователей вашего класса, за пределами самого класса и друзей, не ссылается на них. Очевидно, что это полезно, но менее очевидно и, возможно, более важно, это полезно, потому что оно явно указывает в коде, что такое интерфейс вашего класса, что вы хотите использовать клиентами и что пользователи вашего класс по праву может рассчитывать на работу. Вы можете добиться того же в принципе с помощью документации, но на практике компилятору приятно применять правила.

Это не «безопасно», потому что на любом данном компиляторе можно обойти публичную / частную защиту. Но если пользователи вашего класса делают это, они используют какой-то гротескный хакер, они заслуживают того, чтобы их код перестал компилироваться / работать, когда вы меняете свой класс, и если они придут к вам пожаловаться, вы можете посмеяться над ними.