Просмотр кода страницы Compound conversion sequence::convert

{{function_begin |template <class U>
static constexpr sequence_element<0> convert(U&& arg);|{{compound_conversion_sequence::convert brief}}}}
{{function template paramlist begin}}
{{function template paramlist add|U|Тип входного параметра, преобразуемого методом.}}
{{function template paramlist end}}
{{function paramlist_begin}}
{{function paramlist_add|arg|Универсальная ссылка на входной объект, преобразуемый методом.}}
{{function paramlist_end}}
{{function return_value|Результат преобразования.}}
{{function_end}}

Пусть задана специализация <source inline lang="cpp">typedef compound_conversion_sequence<convert1_t, convert2_t, ..., convertN_t> instantiation_type;</source>, определенная для преобразований типов <tt>convert1_t</tt>, <tt>convert2_t</tt>, ...<tt>convertN_t</tt>, а также некоторый объект <tt>x</tt>. Тогда применение метода <tt>[[compound_conversion_sequence::convert|convert]]</tt> над этим объектом: <source lang="cpp" style="text-align: center;">instantiation_type::convert(x);</source> будет эквивалентно последовательному преобразованию: <source lang="cpp" style="text-align: center;">convert1_t::convert(convert2_t::convert(...convertN_t::convert(x)...))</source>

{{example_begin}}
<source lang="cpp">
struct A {};
struct B:A {};
struct C:A {};
struct D:B, C 
{
    explicit D(int n) {}
    D(short n) {}
};

int main(int argc, char** argv)
{
    auto a = compound_conversion_sequence<
        implicit_conversion_sequence<A, B>,
        explicit_conversion_sequence<D>,
        implicit_conversion_sequence<int>
    >::convert(short());
    D d = int();
    C& c_ref = d;
    auto& a_of_b_ref = compound_conversion_sequence<
        implicit_conversion_sequence<A&, B&>, 
        static_conversion_sequence<D&>
    >::convert(c_ref);
    return 0;
}
</source>
{{example_end}}