Как проверить тип переменной в 1С

Проверка типа переменной — одна из базовых операций во встроенном языке 1С. Она нужна, когда процедура получает параметр, который может содержать значения разных типов: например, ссылку на справочник или строку, число или дату. Без проверки типа код легко «падает» с ошибкой при попытке вызвать метод, которого у значения нет, или получить неверный результат сравнения.

Во встроенном языке 1С для работы с типами используются две основные функции: Тип() и ТипЗнч(). Первая возвращает описание типа по его имени, вторая — тип конкретного значения. Их комбинация позволяет сравнить тип переменной с ожидаемым и построить ветвление логики.

Важно понимать, что тип в 1С — это объект специального вида «ОписаниеТипов» / «Тип», а не строка. Поэтому проверка вида Если Переменная = "СправочникСсылка" не сработает: сравнивать нужно именно типы, полученные функциями платформы. Ниже разобраны рабочие способы проверки, их ограничения и типичные ошибки.

Функция ТипЗнч(): как узнать тип конкретного значения

Функция ТипЗнч(Значение) принимает любое значение и возвращает объект типа «Тип», описывающий его тип. Это основной инструмент проверки: вы передаёте переменную, получаете её тип и дальше сравниваете с эталоном.

Пример базового использования:

Значение = 123;
ТекущийТип = ТипЗнч(Значение);
Сообщить(ТекущийТип); // выведет: Число

Обратите внимание: если переменная содержит Неопределено, функция вернёт тип «Неопределено», а не вызовет ошибку. То же самое с Null — у него собственный тип. Это удобно, потому что проверку можно делать до любых обращений к свойствам значения.

Если переменная вообще не объявлена, обращение к ней вызовет ошибку «Переменная не определена» — это ошибка компиляции/выполнения модуля, а не ситуация, которую можно перехватить через ТипЗнч. Поэтому ТипЗнч применяют к параметрам процедур, реквизитам объектов и элементам коллекций, а не к необъявленным идентификаторам.

Функция Тип(): как получить эталонный тип для сравнения

Функция Тип("ИмяТипа") создаёт объект типа по строковому имени. Именно её результат используют как «эталон» в сравнении с ТипЗнч(). Имя типа для объектов конфигурации строится по шаблону: вид объекта, точка, имя объекта метаданных — например, "СправочникСсылка.Контрагенты", "ДокументСсылка.РеализацияТоваровУслуг", "ПеречислениеСсылка.СтавкиНДС".

Для примитивных типов используются короткие имена: "Строка", "Число", "Дата", "Булево". Также существуют имена встроенных типов платформы: "ТаблицаЗначений", "Массив", "Структура", "Соответствие", "СписокЗначений" и другие.

Если ТипЗнч(Параметр) = Тип("Строка") Тогда
// работаем как со строкой
ИначеЕсли ТипЗнч(Параметр) = Тип("Число") Тогда
// работаем как с числом
КонецЕсли;

Сравнение типов: полный пример ветвления по типу параметра

Типичная задача — универсальная процедура, которая принимает параметр и ведёт себя по-разному в зависимости от того, что передали. Правильный шаблон выглядит так:

Процедура ОбработатьЗначение(ВходноеЗначение) Экспорт

ТекущийТип = ТипЗнч(ВходноеЗначение);

Если ТекущийТип = Тип("СправочникСсылка.Номенклатура") Тогда
Сообщить("Это номенклатура: " + ВходноеЗначение);

ИначеЕсли ТекущийТип = Тип("ДокументСсылка.ЗаказКлиента") Тогда
Сообщить("Это заказ клиента");

ИначеЕсли ТекущийТип = Тип("Строка") Тогда
Сообщить("Передана строка длиной " + СтрДлина(ВходноеЗначение));

ИначеЕсли ВходноеЗначение = Неопределено Тогда
Сообщить("Значение не задано");

Иначе
Сообщить("Неожиданный тип: " + ТекущийТип);
КонецЕсли;

КонецПроцедуры

Обратите внимание на последнюю ветку: вывод самого типа через Сообщить(ТипЗнч(...)) помогает при отладке — вы сразу видите, что именно пришло в процедуру. Это полезный приём при разборе ошибок «ожидался один тип, пришёл другой».

1. 1
   Получите тип значения: ТекущийТип = ТипЗнч(Переменная)
2. 2
   Сформируйте эталон: Тип("СправочникСсылка.Номенклатура") или Тип("Строка")
3. 3
   Сравните типы оператором = в конструкции Если...Тогда
4. 4
   Добавьте ветку Иначе с выводом фактического типа для диагностики
5. 5
   Проверьте код на значениях Неопределено и Null, если они возможны

Как проверить, является ли значение ссылкой

Часто нужно проверить не конкретный тип, а целый класс: «это ссылка на объект базы или примитивное значение?». Перечислять все возможные ссылочные типы неудобно, поэтому применяют проверку имени типа через строковое представление:

ЭтоСсылка = СтрНайти(Строка(ТипЗнч(Значение)), "Ссылка") > 0;

Строковое представление ссылочных типов содержит слово «Ссылка»: «СправочникСсылка.Номенклатура», «ДокументСсылка.ЗаказКлиента» и т.д. У объектных типов («СправочникОбъект», «ДокументОбъект») этого слова нет, поэтому проверка корректно отличает ссылку от объекта.

Альтернативный способ — воспользоваться тем, что у ссылочных значений есть уникальный идентификатор, но обращение к свойствам без проверки типа небезопасно. Более строгий вариант для типовых механизмов — использование функций общих модулей (в конфигурациях на БСП есть готовые функции проверки ссылочных типов), если библиотека подключена.

Функция ЭтоСсылка(Значение) Экспорт
    Возврат СтрНайти(Строка(ТипЗнч(Значение)), "Ссылка") > 0;
КонецФункции

Проверка типа реквизита объекта и составного типа

Реквизиты объектов метаданных могут иметь составной тип — например, реквизит «Контрагент» допускает ссылки на несколько справочников. В этом случае сравнение с одним типом через ТипЗнч() = Тип(...) работает корректно: фактическое значение всегда имеет один конкретный тип, даже если реквизит объявлен составным.

Если нужно узнать, какие типы допускает сам реквизит, обращаются к метаданным: Метаданные.Документы.ЗаказКлиента.Реквизиты.Контрагент.Тип.Типы() вернёт массив допустимых типов. Это используется при построении универсальных механизмов обмена и заполнения.

Для проверки «входит ли тип значения в список допустимых» удобен такой приём:

ДопустимыеТипы = Новый Массив;
ДопустимыеТипы.Добавить(Тип("СправочникСсылка.Контрагенты"));
ДопустимыеТипы.Добавить(Тип("СправочникСсылка.Организации"));

Если ДопустимыеТипы.Найти(ТипЗнч(Значение)) <> Неопределено Тогда
// тип подходит
КонецЕсли;

Проверка типа в запросах и СКД

В языке запросов 1С проверка типа делается иначе — через оператор ССЫЛКА и функцию ТИПЗНАЧЕНИЯ(). Пример отбора документов, где реквизит составного типа ссылается на конкретный справочник:

ВЫБРАТЬ
Реализация.Контрагент
ИЗ
Документ.РеализацияТоваровУслуг КАК Реализация
ГДЕ
Реализация.Контрагент ССЫЛКА Справочник.Контрагенты

Функция ВЫРАЗИТЬ(... КАК ...) позволяет привести значение составного типа к конкретному, что одновременно служит фильтром: значения других типов превращаются в NULL. Это стандартный приём при работе с составными полями в запросах и СКД.

Отладка: как быстро увидеть тип значения

При отладке тип переменной виден прямо в конфигураторе: в табло (окно «Вычислить выражение», Shift+F9) введите ТипЗнч(Переменная) — отобразится тип. В окне «Локальные переменные» и всплывающей подсказке при наведении на переменную тип также показывается рядом со значением.

В пользовательском режиме без конфигуратора помогает временный вывод через Сообщить(ТипЗнч(Значение)) или запись в журнал регистрации. После диагностики отладочный вывод следует убрать, чтобы не засорять журнал и не замедлять выполнение.

Частые вопросы