Краткий ответ

Проверить это можно приведением метатипа к AnyObject.Type: успешное приведение означает, что значение описывает класс. Структура, перечисление или другой тип-значение такое приведение не проходят.

func describesClass(_ type: Any.Type) -> Bool {
    type is AnyObject.Type
}

final class User {}
struct Point {}

describesClass(User.self)   // true
describesClass(Point.self)  // false

Исторический контекст

Swift объединяет значения всех типов через Any, а описания типов — через Any.Type. Это позволяет передавать типы в универсальные механизмы, например регистрацию обработчиков или построение сериализаторов, не зная конкретный тип на этапе компиляции.

При этом классы и типы-значения имеют разные модели владения и копирования. Поэтому для runtime-сценариев нужен способ отличить метатип класса от метатипа структуры или перечисления.

Постановка проблемы

Значение Any.Type описывает тип, но само по себе не сообщает, является ли этот тип ссылочным. Ошибочно проверять экземпляр вместо его метатипа или сравнивать текстовое имя типа: имя не является надёжным признаком семантики хранения.

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

Подробное решение

Метатип класса совместим с AnyObject.Type, потому что AnyObject обозначает class-only тип. Оператор is проверяет runtime-тип самого значения метатипа и возвращает true, если он совместим с AnyObject.Type.

Важно различать экземпляр и метатип. User.self — это значение, описывающее тип User, а type(of: someUser) возвращает метатип динамического типа экземпляра. В обоих случаях проверка выполняется над метатипом.

Такая проверка отвечает только на вопрос «является ли тип классом». Она не определяет, какой именно это класс, не проверяет принадлежность к конкретной иерархии и не показывает, какие свойства являются ссылочными.

Если тип известен на этапе компиляции, предпочтительнее ограничение T: AnyObject: оно даёт компилятору более сильную гарантию. Проверка через Any.Type нужна именно тогда, когда тип стёрт или получен динамически.

Ситуация из практики

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

Можно сравнивать строковые имена типов, но это хрупко: имена могут зависеть от контекста и не выражают семантику типа. Можно построить отдельную таблицу известных классов, но её придётся поддерживать вручную, и она не будет работать для новых типов.

Выбранная проверка type is AnyObject.Type не требует создания экземпляра и непосредственно проверяет категорию типа. После этого система может применить class-specific стратегию, но для проверки конкретного базового класса или протокола понадобится отдельное приведение метатипа.

Что кандидаты часто упускают

Чем отличается Any.Type от AnyObject.Type?

Any.Type может описывать любой Swift-тип: класс, структуру, перечисление, кортеж или функцию. AnyObject.Type описывает только метатипы классов, поэтому приведение к нему служит runtime-проверкой ссылочного типа.
Можно ли по этой проверке сделать вывод, что экземпляры типа всегда сравниваются по идентичности?

Нет. Класс действительно имеет ссылочную семантику, но оператор == может быть реализован для него и сравнивать состояние объектов. Проверка через AnyObject.Type подтверждает категорию типа, а не конкретное поведение равенства.
Когда вместо runtime-проверки нужно использовать ограничение T: AnyObject?

Когда функция или тип заранее должны работать только с классами. Ограничение проверяется компилятором, предотвращает передачу структуры и позволяет использовать class-only возможности в обобщённом коде. Runtime-проверка нужна для динамически полученного Any.Type, когда конкретный тип неизвестен при компиляции.