Lines Matching full:we

25 C++ we can pass a template as a parameter to another template using what is called
29 class template. The fact that we can pass class templates as a template parameter but not
40 exist at the time introspection of a function template occurs. In plainer C++ terms we call the
46 templates are designed to accept any type(s) and avoid compile time failure. Also when we
47 introspect using a function template instantiation for a nested function template we are
60 Ideally what we would like to do is to be able to verify that the function template
62 exists within the `AType` type, but we can not do that in TTI. If we were to call `AFuncTemplate`
63 from within some functionality within the `AType` type, we would substitute some arguments
67 If we look at this in terms of compile time programming ( aka template metaprogramming )
68 what we are really interested in is whether there is a function template called `AFuncTemplate`
71 we want to call `AFuncTemplate` with an `int` value as the first argument, `long *` as the
73 template what we therefore are going to do is to check if we can instantiate the function
80 exists, this is what we mean. The instantiation itself does not exist when we introspect a function…
82 It should be realized that we could use any combination of valid types or values to create our
86 The actual types and/or values we use in an instantiation of a function template we introspect
87 must be declared when we do the introspection. For built-in types this is always the case.
88 If we use instead, for whatever reason, a user-defined type in a given instantiation, that type
89 must be declared when we invoke the metafunction which does the introspection.
91 Further areas of the documentation will explain in its place how we use an instantiation of
93 function template, or any inner function template. The technique we use is very similar to
94 the way we introspect any nested entity, but instead of looking for a signature that declares
95 that nested entity, with function templates we look for a signature representing some