Boost.Hana: boost::hana::type< T > Struct Template Reference

Создает объект, представляющий тип C++ T.

деклотип ключевое слово, снятое на Хану.

Deprecated:

The semantics of decltype_ are can be confusing, and hana::typeid_ should be preferred instead. decltype_ may be removed in the next major version of the library.

деклотип_ несколько эквивалентен деклотипу в том, что он возвращает тип объекта, за исключением того, что он возвращает его как хана::type, который является первоклассным гражданином Ханы вместо сырого типа C++. В частности, учитывая объект x, деклотип_

Как вы можете видеть, деклтип_ отключит любую ссылку от фактического типа объекта. Причина этого объясняется ниже. Однако любые cv-квалификаторы будут сохранены. Кроме того, при наличии hana::type, decltype_ является просто функцией идентификации. Следовательно, для любого типа C++ T,

В сочетании с уточнением метафункция и аль. это поведение облегчает взаимодействие с обоими типами и значениями одновременно. Однако это делает невозможным создание type, содержащего другой type с decltype_. Другими словами, невозможно создать type_c)> с этой утилитой, потому что decltype_(type_c) будет просто type_c вместо type_c)>. Предполагается, что этот случай использования является редким, и функция, закодированная вручную, может быть использована, если это необходимо.

Rationale for stripping the references

Правила для вывода аргументов шаблона таковы, что идеальное решение, которое всегда соответствует деклтипу, невозможно. Следовательно, мы должны найти решение, которое является хорошим и достаточно последовательным для наших потребностей. Один из случаев, когда сопоставление поведения деклотипа невозможно, - это когда аргумент является простой, непрозрачной переменной или параметром функции. В этом случае аргумент деклотипа_ будет выведен в качестве ссылки на эту переменную, но деклотип дал бы нам фактический тип этой переменной без ссылок. Кроме того, с учетом нынешнего определения метафункция & al., было бы в основном бесполезно, если бы деклотип_ может вернуть ссылку, потому что маловероятно, что F ожидает ссылку в своем простейшем случае использования:

Следовательно, всегда отказ от ссылок кажется наименее болезненным решением.

Example

Description.

хана::typeid_ несколько похож на typeid, поскольку он возвращает то, что представляет тип объекта. Однако то, что возвращает typeid, представляет тип объекта runtime, а hana::typeid_ возвращает тип объекта static. В частности, учитывая объект x, typeid_ удовлетворяет

Как вы можете видеть, typeid_ снимает любую ссылку и кв-квалификатор из фактического типа объекта. Причина этого заключается в том, что он точно моделирует, как язык typeid ведет себя в отношении ссылок и клавиатур, и это также является желательным поведением большую часть времени. Кроме того, когда дается хана::type, typeid_ - это просто функция идентификации. Следовательно, для любого типа C++ T,

В сочетании с уточнением метафункция & al. это поведение облегчает взаимодействие с обоими типами и значениями одновременно. Тем не менее, это делает невозможным создание type, содержащего другой type с использованием typeid_. Предполагается, что этот случай использования является редким, и функция, закодированная вручную, может быть использована, если это необходимо.

Example

Эквивалент деклотип_, предоставляется для удобства.

Example

Эквивалент make<type_tag>, предусмотрен для удобства.

Example

размер ключевое слово, снятое на Хану.

размер_ несколько эквивалентен размер, поскольку он возвращает размер выражения или типа, но он принимает произвольное выражение или хана::type и возвращает его размер как integral_constant. В частности, с учетом выражения expr, размер_ удовлетворяет

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

Поведение размер_ согласуется с поведением деклтипа_. В частности, см. документацию деклотипа_, чтобы понять, почему ссылки всегда отрезаются размером_.

Example

ино ключевое слово, снятое на Хану.

alignof_ несколько эквивалентен alignof в том, что он возвращает выравнивание, требуемое любым экземпляром типа, но он принимает type и возвращает его выравнивание как integral_constant. В частности, с учетом выражения expr и C++ типа T, alignof_ удовлетворяет

Поведение alignof_ согласуется с поведением decltype_. В частности, см. документацию decltype_, чтобы понять, почему ссылки всегда разорваны alignof_.

Example

Проверяет, является ли выражение SFINAE действительным.

Учитывая SFINAE-дружественную функцию, is_valid возвращает, действительно ли функциональный вызов с заданными аргументами. В частности, учитывая функцию f и аргументы args...,

Результат возвращается как компиляционное время Logical. Кроме того, is_valid может использоваться в карриированной форме следующим образом:

Этот синтаксис позволяет легко создавать функции, которые проверяют действительность общего выражения на любом заданном аргументе(ах).

Warning

To check whether calling a nullary function f is valid, one should use the is_valid(f)() syntax. Indeed, is_valid(f /* no args */) will be interpreted as the currying of is_valid to f rather than the application of is_valid to f and no arguments.

Example