vcl::IsInstantiable Concept Reference

Concept that is evaluated true if the templated type C is instantiable with type T, i.e., C<T> is a valid type. More...

#include <vclib/concepts/types.h>

Concept definition

template<template< typename > typename C, typename T>
concept vcl::IsInstantiable =  requires { typename C<T>; }

Detailed Description

Concept that is evaluated true if the templated type C is instantiable with type T, i.e., C<T> is a valid type.

Example of usage:

if constexpr(IsInstantiable<C, T>) {
    C<T> instance;
    // do something...
}