Блог

 type Metadata = {
  tags?: Set<string>;
};

const metadata: Metadata = {
  tags: new Set<string>(),
};

metadata.tags.add('test'); // <-- Object is possibly 'undefined'.ts(2532)
 

Но как? Я инициализировал его, чтобы new Set<string> … ?

Я предполагаю , потому что он помечен как nullable/необязательный Metadata , но я полагал, что компилятор увидит, что я действительно инициализировал tags значение.

Когда TypeScript оценивает ваши типы, он работает с вашим кодом, строка за строкой, сужая тип переменной по ходу.

Если вы использовали:

 const metadata = {
  tags: new Set<string>(),
};
 

Тип этой постоянной переменной, является:

 {
  tags: Set<string>;
}
 

Однако в той же строке вы говорите TypeScript: «Нет, этот объект является Metadata объектом — относитесь к нему как к таковому», когда используете:

 const metadata: Metadata = {
  tags: new Set<string>(),
};
 

Итак, к тому времени, когда TypeScript доберется до проверки этой строки, metadata это Metadata объект, tags свойство которого является необязательным:

 metadata.tags.add('test'); // metadata.tags is possibly 'undefined'
 

Поскольку вы понимаете, что только что установили это свойство, вы можете использовать утверждение ! типа, чтобы сказать «это значение не undefined является или null «.

 metadata.tags!.add('test');
 

Если вы планируете инициализировать каждое свойство metadata , вы можете изменить тип , чтобы сказать «этот объект повторяет форму Metadata , но требуется каждое свойство», используя Required<T> тип утилиты:

 const metadata: Required<Metadata> = {
  tags: new Set<string>(),
};
 

Что позволит вам использовать свое задание как обычно:

 metadata.tags.add('test');