23 General utilities library [utilities]

23.8 Storage for any type [any]

1
#

В этом разделе описаны компоненты, которые программы C ++ могут использовать для выполнения операций с объектами размеченного типа.

2
#

[  Note: Размеченный тип может содержать значения разных типов, но не пытается5 выполнить преобразование между ними, т.е. хранится строго какint и не может быть неявно преобразован ни в,"5" ни в5.0. Это безразличие к интерпретации, но осведомленность о типе позволяет эффективно использовать безопасные универсальные контейнеры с отдельными значениями без каких-либо сюрпризов от неоднозначных преобразований. ] — end note 

23.8.1 Header <any> synopsis [any.synop]

namespace std {
  // [any.bad_any_cast], class bad_­any_­cast
  class bad_any_cast;

  // [any.class], class any
  class any;

  // [any.nonmembers], non-member functions
  void swap(any& x, any& y) noexcept;

  template <class T, class... Args>
    any make_any(Args&& ...args);
  template <class T, class U, class... Args>
    any make_any(initializer_list<U> il, Args&& ...args);

  template<class T>
    T any_cast(const any& operand);
  template<class T>
    T any_cast(any& operand);
  template<class T>
    T any_cast(any&& operand);

  template<class T>
    const T* any_cast(const any* operand) noexcept;
  template<class T>
    T* any_cast(any* operand) noexcept;
}

23.8.2 Class bad_­any_­cast [any.bad_any_cast]

class bad_any_cast : public bad_cast {
public:
  const char* what() const noexcept override;
};
1
#

Объекты типаbad_­any_­cast брошены неудачником any_­cast.

const char* what() const noexcept override;

2
#

Returns: An реализации определенных НТБ .

3
#

Remarks: Сообщение может быть многобайтовой строкой с завершающим нулем ([multibyte.strings]), подходящей для преобразования и отображения как wstring ([string.classes],[locale.codecvt]).

23.8.3 Class any [any.class]

class any {
public:
  // [any.cons], construction and destruction
  constexpr any() noexcept;

  any(const any& other);
  any(any&& other) noexcept;

  template <class T> any(T&& value);

  template <class T, class... Args>
    explicit any(in_place_type_t<T>, Args&&...);
  template <class T, class U, class... Args>
    explicit any(in_place_type_t<T>, initializer_list<U>, Args&&...);

  ~any();

  // [any.assign], assignments
  any& operator=(const any& rhs);
  any& operator=(any&& rhs) noexcept;

  template <class T> any& operator=(T&& rhs);

  // [any.modifiers], modifiers
  template <class T, class... Args>
    decay_t<T>& emplace(Args&& ...);
  template <class T, class U, class... Args>
    decay_t<T>& emplace(initializer_list<U>, Args&&...);
  void reset() noexcept;
  void swap(any& rhs) noexcept;

  // [any.observers], observers
  bool has_value() const noexcept;
  const type_info& type() const noexcept;
};
1
#

Объект классаany хранит экземпляр любого типа, который удовлетворяет требованиям конструктора или не имеет значения, и это называется объектомstate классаany . Сохраненный экземпляр называется.contained valueДва состояния эквивалентны, если либо они оба не имеют значения, либо оба имеют значение, а содержащиеся значения эквивалентны.

2
#

Функции, не являющиеся членами,any_­cast обеспечивают безопасный для типов доступ к содержащемуся значению.

3
#

Реализации должны избегать использования динамически выделяемой памяти для небольшого содержащегося значения. [  Example: где построенный объект содержит только файлint. ] Такая оптимизация малых объектов должна применяться только к типам, для которых есть . — end example T is_­nothrow_­move_­constructible_­v<T> true

23.8.3.1 Construction and destruction [any.cons]

constexpr any() noexcept;

1
#

Postconditions: has_­value() естьfalse.

any(const any& other);

2
#

Effects: Еслиother.has_­value() естьfalse, создает объект, не имеющий значения. В противном случае эквивалентноany(in_­place<T>, any_­cast<const T&>(other)) гдеT - тип содержащегося объекта.

3
#

Throws: Любые исключения, возникающие при вызове выбранного конструктора для содержащегося значения.

any(any&& other) noexcept;

4
#

Effects: Еслиother.has_­value() естьfalse, создает объект, не имеющий значения. В противном случае создает объект типа,any который содержит либо содержащийся объектother, либо содержит объект того же типа, созданный из содержащегося объекта,other рассматривая этот содержащийся объект как rvalue.

5
#

Postconditions: other остается в допустимом, но в остальном неуказанном состоянии.

template<class T> any(T&& value);

6
#

ПустьVT будетdecay_­t<T>.

7
#

Requires: VT должны удовлетворятьCopyConstructible требованиям.

8
#

Effects: Создает объект типа,any который содержит объект типа,VT инициализированный напрямую с помощьюstd​::​forward<T>(value).

9
#

Remarks: Этот конструктор не должен участвовать в разрешении перегрузки, если VT он не относится к тому же типу, что иany, VT не является специализациейin_­place_­type_­tи неis_­copy_­constructible_­v<VT> являетсяtrue.

10
#

Throws: Любое исключение, созданное выбранным конструкторомVT.

template <class T, class... Args> explicit any(in_place_type_t<T>, Args&&... args);

11
#

ПустьVT будетdecay_­t<T>.

12
#

Requires:VT должны удовлетворятьCopyConstructible требованиям.

13
#

Effects: Инициализирует содержащееся значение, как если бы инициализирует объект типа напрямую без использования спискаVT с аргументамиstd​::​forward<Args>(args)....

14
#

Postconditions:*this содержит значение типаVT.

15
#

Throws: Любое исключение, созданное выбранным конструкторомVT.

16
#

Remarks: Этот конструктор не должен участвовать в разрешении перегрузки , если is_­copy_­constructible_­v<VT> неtrue и is_­constructible_­v<VT, Args...> являетсяtrue.

template <class T, class U, class... Args> explicit any(in_place_type_t<T>, initializer_list<U> il, Args&&... args);

17
#

ПустьVT будетdecay_­t<T>.

18
#

Requires:VT должны удовлетворятьCopyConstructible требованиям.

19
#

Effects: Инициализирует содержащееся значение, как если бы инициализирует объект типа напрямую без использования спискаVT с аргументамиil, std​::​forward<Args>(args)....

20
#

Postconditions:*this содержит значение.

21
#

Throws: Любое исключение, созданное выбранным конструкторомVT.

22
#

Remarks: Этот конструктор не должен участвовать в разрешении перегрузки , если is_­copy_­constructible_­v<VT> неtrue и is_­constructible_­v<VT, initializer_­list<U>&, Args...> являетсяtrue.

~any();

23
#

Effects: Как будто мимоreset().

23.8.3.2 Assignment [any.assign]

any& operator=(const any& rhs);

1
#

Effects: Как будто мимоany(rhs).swap(*this). Никаких эффектов, если выбрасывается исключение.

2
#

Returns: *this.

3
#

Throws: Любые исключения, возникающие из конструктора копирования для содержащегося значения.

any& operator=(any&& rhs) noexcept;

4
#

Effects: Как будто мимоany(std​::​move(rhs)).swap(*this).

5
#

Returns: *this.

6
#

Postconditions: Состояние*this эквивалентно исходному состояниюrhs иrhs остается в допустимом, но в остальном не указанном состоянии.

template<class T> any& operator=(T&& rhs);

7
#

ПустьVT будетdecay_­t<T>.

8
#

Requires: VT должны удовлетворятьCopyConstructible требованиям.

9
#

Effects: Создает объектtmp типа,any который содержит объект типа,VT инициализированный напрямую с помощьюstd​::​forward<T>(rhs), иtmp.swap(*this). Никаких эффектов, если выбрасывается исключение.

10
#

Returns: *this.

11
#

Remarks: Этот оператор не должен участвовать в разрешении перегрузки , если VT не является таким же типом , какany и is_­copy_­constructible_­v<VT> естьtrue.

12
#

Throws: Любое исключение, созданное выбранным конструкторомVT.

23.8.3.3 Modifiers [any.modifiers]

template <class T, class... Args> decay_t<T>& emplace(Args&&... args);

1
#

ПустьVT будетdecay_­t<T>.

2
#

Requires: VT должны удовлетворятьCopyConstructible требованиям.

3
#

Effects: Звонкиreset(). Затем инициализирует содержащееся значение, как если бы инициализирует объект типа напрямую без использования спискаVT с аргументамиstd​::​forward<Args>(args)....

4
#

Postconditions:*this содержит значение.

5
#

Returns: Ссылка на новое содержащееся значение.

6
#

Throws: Любое исключение, созданное выбранным конструкторомVT.

7
#

Remarks: Если во время вызоваVTконструктора возникает исключение , *this он не содержит значения и любое ранее содержащееся значение было уничтожено. Эта функция не будет участвовать в разрешении перегрузки , если is_­copy_­constructible_­v<VT> неtrue и is_­constructible_­v<VT, Args...> являетсяtrue.

template <class T, class U, class... Args> decay_t<T>& emplace(initializer_list<U> il, Args&&... args);

8
#

ПустьVT будетdecay_­t<T>.

9
#

Requires: VT должны удовлетворятьCopyConstructible требованиям.

10
#

Effects: Звонкиreset(). Затем инициализирует содержащееся значение, как если бы инициализирует объект типа напрямую без использования спискаVT с аргументами il, std​::​forward<Args>(args)....

11
#

Postconditions:*this содержит значение.

12
#

Returns: Ссылка на новое содержащееся значение.

13
#

Throws: Любое исключение, созданное выбранным конструкторомVT.

14
#

Remarks: Если во время вызоваVTконструктора возникает исключение , *this он не содержит значения и любое ранее содержащееся значение было уничтожено. Функция не должна участвовать в разрешении перегрузки, за исключением случаев, когда is_­copy_­constructible_­v<VT> естьtrue и is_­constructible_­v<VT, initializer_­list<U>&, Args...> естьtrue.

void reset() noexcept;

15
#

Effects: Еслиhas_­value() естьtrue, уничтожает содержащееся значение.

16
#

Postconditions: has_­value() естьfalse.

void swap(any& rhs) noexcept;

17
#

Effects: Меняет состояния*this иrhs.

23.8.3.4 Observers [any.observers]

bool has_value() const noexcept;

1
#

Returns: true если*this содержит объект, в противном случаеfalse.

const type_info& type() const noexcept;

2
#

Returns: typeid(T) если*this имеет содержащееся значение типаT, в противном случаеtypeid(void).

3
#

[  Note: Полезно для запросов к типам, известным либо во время компиляции, либо только во время выполнения. ]  — end note 

23.8.4 Non-member functions [any.nonmembers]

void swap(any& x, any& y) noexcept;

1
#

Effects: Как будто мимоx.swap(y).

template <class T, class... Args> any make_any(Args&& ...args);

2
#

Effects: Эквивалентен:return any(in_­place_­type<T>, std​::​forward<Args>(args)...);

template <class T, class U, class... Args> any make_any(initializer_list<U> il, Args&& ...args);

3
#

Effects: Эквивалентен:return any(in_­place_­type<T>, il, std​::​forward<Args>(args)...);

template<class T> T any_cast(const any& operand); template<class T> T any_cast(any& operand); template<class T> T any_cast(any&& operand);
4
#

ПозвольтеU быть типомremove_­cv_­t<remove_­reference_­t<ValueType>>.

5
#

Requires: Для первой перегрузкиis_­constructible_­v<ValueType, const U&> естьtrue. Для второй перегрузкиis_­constructible_­v<ValueType, U&> естьtrue. Для третьей перегрузкиis_­constructible_­v<ValueType, U> естьtrue. В противном случае программа будет некорректной.

6
#

Returns: Для первой и второй перегрузкиstatic_­cast<ValueType>(*any_­cast<U>(&operand)). Для третьей перегрузкиstatic_­cast<ValueType>(std​::​move(*any_­cast<U>(&operand))).

7
#

Throws: bad_­any_­cast еслиoperand.type() != typeid(remove_­reference_­t<T>).

8
#

[ Example: 

any x(5);                                   // x holds int
assert(any_cast<int>(x) == 5);              // cast to value
any_cast<int&>(x) = 10;                     // cast to reference
assert(any_cast<int>(x) == 10);

x = "Meow";                                 // x holds const char*
assert(strcmp(any_cast<const char*>(x), "Meow") == 0);
any_cast<const char*&>(x) = "Harry";
assert(strcmp(any_cast<const char*>(x), "Harry") == 0);

x = string("Meow");                         // x holds string
string s, s2("Jane");
s = move(any_cast<string&>(x));             // move from any
assert(s == "Meow");
any_cast<string&>(x) = move(s2);            // move to any
assert(any_cast<const string&>(x) == "Jane");

string cat("Meow");
const any y(cat);                           // const y holds string
assert(any_cast<const string&>(y) == cat);

any_cast<string&>(y);                       // error; cannot
                                            // any_­cast away const

 — end example ]

template<class T> const T* any_cast(const any* operand) noexcept; template<class T> T* any_cast(any* operand) noexcept;
9
#

Returns: Еслиoperand != nullptr && operand->type() == typeid(T), указатель на объект, содержащийся вoperand; в противном случаеnullptr.

10
#

[ Example: 

bool is_string(const any& operand) {
  return any_cast<string>(&operand) != nullptr;
}

 — end example ]