[#BloombergLP-bslmf-MetaInt-0b] = xref:BloombergLP.adoc[BloombergLP]::xref:BloombergLP/bslmf.adoc[bslmf]::xref:BloombergLP/bslmf/MetaInt-07.adoc[MetaInt]<1> :relfileprefix: ../../ :mrdocs: This specialization of `MetaInt` has a `VAL` of one and is convertible to and from `bsl::true_type`. == Synopsis Declared in `<bslmf_metaint.h>` [source,cpp,subs="verbatim,replacements,macros,-callouts"] ---- template<> struct xref:BloombergLP/bslmf/MetaInt-07.adoc[MetaInt]<1> : xref:bsl/true_type.adoc[bsl::true_type] ---- == Base Classes [cols="1,4"] |=== | Name| Description | `xref:bsl/true_type.adoc[bsl::true_type]` | Metafunction representing the boolean constant `true`. |=== == Type Aliases [cols="1"] |=== | Name | xref:BloombergLP/bslmf/MetaInt-0b/Tag-0d.adoc[`Tag`] | xref:BloombergLP/bslmf/MetaInt-0b/Type.adoc[`Type`] |=== == Enums [cols="1"] |=== | Name | xref:BloombergLP/bslmf/MetaInt-0b/_04enum.adoc[`Unnamed enum`] |=== == Member Functions [cols="1,4"] |=== | Name| Description | xref:BloombergLP/bslmf/MetaInt-0b/2constructor-07.adoc[`MetaInt`] [.small]#[constructor]# | Does nothing (`MetaInt` is stateless). | xref:BloombergLP/bslmf/MetaInt-0b/2constructor-04.adoc[`MetaInt`] [.small]#[constructor]# | Convert from a `bsl::true_type`. | xref:BloombergLP/bslmf/MetaInt-0b/2conversion.adoc[`operator bool`] | Return `true`. (This operator is conversion operator to `bool`.) |=== == Static Member Functions [cols="1,4"] |=== | Name| Description | xref:BloombergLP/bslmf/MetaInt-0b/tag-01.adoc[`tag`] | Declared but not defined. Meta‐function use only. The tag can be used to recover meta‐information from an expression. Example: `sizeof(f(expr).tag())` returns a different compile‐time value depending on the type of the result of calling the `f` function but does not actually call the `f` function or the `tag` method at run‐time. Note that `f(expr)::VALUE` or `sizeof(f(expr)::Type)` would be ill‐formed and that `f(expr).value` is not a compile‐time expression. |=== [.small]#Created with https://www.mrdocs.com[MrDocs]#