Models.h File Reference

#include "Templates/Identity.h"

Include dependency graph for Models.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes
struct	TModels< Concept, Args >

Functions
template<typename Concept , typename... Args>
auto	Refines () -> int(&)[!!TModels< Concept, Args... >::Value *2 - 1]

Function Documentation

Refines()

template<typename Concept , typename... Args>

auto Refines

(

)

-> int(&)[!!TModels< Concept, Args... >::Value *2 - 1]

Helper function which can be used as an expression in a concept to refine ('inherit') another concept. It should be used as expression-based variant of the TModels traits class. If the arguments model the given concept, Refines<Concept, Args...> is a valid expression, otherwise it is not.

See the CCopyablePointer example below.