2 семестр / Литература / Язык программирования С++. Краткий курс. Страуструп

13.S.

Альтернативы

245

auto auto auto

s х d

get<string>(tl); get<int>(tl); get<douЫe>(tl);

11 11 11

Получение Получение Получение

Можно

использовать

get<>

и

для

записи:

"Типа"; 312;

11 // //

Запись Запись Запись

в в в

string int douЫe

Как

и

пары, кортежи

можно

присваивать

и

сравнивать, если

их

элементы

могут

это

делать.

Как

и

к

элементам

tuple,

к

элементам

pair

можно

полу­

чить

доступ,

используя

get<>

().

му

коду.

13.5.

Альтернативы

Стандартная

библиотека

предлагает

три

типа

для

выражения

альтернатив:

•

•

•

множества

аль­

Эти три типа предлагают пользователю схожие функциональные ности. К сожалению, они не предлагают единого интерфейса.

возмож­

13.5.1.

variant

variant<A,

В,

С>

зачастую

является

более

удобной

и

безопасной

альтер­

нативой

явному

использованию

union

(§2.4).

Возможно,

простейшим

приме­

ром

применения

является

возврат

либо

значения,

либо

кода

ошибки:

variant<string,int> {

compose_message(istream&

s)

248

Глава

13.

Утилиты

которые недолюбливают ис­ любопытное использование *.

optional

рассматривается

как

указатель

на

свой

объект,

а

не

как

сам

объект.

optional,

являющийся

эквивалентом

nullptr,

-

пустой

объект

{ }.

На­

int

cat(optional<int>

а,

optional<int>

Ь)

*а; *Ь;

int int int

х = у= z =

cat(17,19); cat(17, {)); cat ({), {)) ;

При

попытке

обратиться

к

optional,

в

котором

не

хранится

значение,

ре­

зультат

является

неопределенным;

исключение

при

этом

не

генерируется.

Та­

ким

образом,

optional

не

гарантирует

безопасность

с

точки

зрения

типов.

13.5.3.

any

any

может

содержать

произвольный

тип

и

при

этом

знает,

какой

тип

(если

таковой

есть)

он

содержит.

Это,

по

сути,

неограниченная

версия

variant:

any {

Когда

вы

присваиваете

или

инициализируете

any

значением,

объект

запо­

минает тип этого значения. Позже мы можем узнать,

значение any, и извлечь это значение. Например:

какой

именно

тип

имеет

auto m string&

=

s

compose_message(cin)); = any_cast<string>(m);

cout

<<

s;

Если

мы

пытаемся

получить

доступ

к

any

с

хранимым

типом,

отличным

от ожидаемого, генерируется исключение bad_ any_ acces s.

собы доступа к any, которые не полагаются на исключения.

Есть

также

спо­