template_specialisation_of Interface Reference

Provides concept seqan3::template_specialisation_of<mytype, [...]> for checking the type specialisation of some type with a given template, for example a specialized type_list<float> with the type_list template. More...

#include <seqan3/core/detail/template_inspection.hpp>

Detailed Description

Provides concept seqan3::template_specialisation_of<mytype, [...]> for checking the type specialisation of some type with a given template, for example a specialized type_list<float> with the type_list template.

Template Parameters

mytype	The query type.
type_template	The type template you wish to compare against mytype.

See also

seqan3::detail::is_type_specialisation_of_v

Example

// SPDX-FileCopyrightText: 2006-2024 Knut Reinert & Freie Universität Berlin
// SPDX-FileCopyrightText: 2016-2024 Knut Reinert & MPI für molekulare Genetik
// SPDX-License-Identifier: CC0-1.0
 
#include <vector>
 
#include <seqan3/core/detail/template_inspection.hpp>
 
int main()
{
    using my_type = std::vector<int>;
 
    if constexpr (seqan3::detail::template_specialisation_of<my_type, std::vector>) // Note: std::vector has no <> !
    {
        // ...
    }
}

---

The documentation for this interface was generated from the following file:

• template_inspection.hpp