Display the source code in dmd/dtemplate.d from which this page was generated on github.

If you spot a problem with this page, click here to create a Bugzilla issue.

Quickly fork, edit online, and submit a pull request for this page. Requires a signed-in GitHub account. This works well for small changes. If you'd like to make larger changes you may want to consider using local clone.

Class `dmd.dtemplate.TemplateInstance`


						
				class TemplateInstance
				
  : ScopeDsymbol
				;

Constructors

Name	Description
`this`	This constructor is only called when we figured out which function template to instantiate.

Fields

Name	Type	Description
`cppnamespace`	`CPPNamespaceDeclaration`	C++ namespace this symbol belongs to

Methods

Name	Description
`appendToModuleMember`	Append 'this' to the specific module members[]
`declareParameters`	Declare parameters of template instance, initialize them with the template instance arguments.
`equalsx`	Compare proposed template instantiation with existing template instantiation. Note that this is not commutative because of the auto ref check.
`findTempDecl`	Find template declaration corresponding to template instance.
`genIdent`	This instance needs an identifier for name mangling purposes. Create one by taking the template declaration name and adding the type signature for it.
`getIdent`	Lazily generate identifier for template instance. This is because 75% of the ident's are never needed.
`hasNestedArgs`	Determines if a TemplateInstance will need a nested generation of the TemplateDeclaration. Sets enclosing property if so, and returns != 0;
`isDiscardable`
`needsCodegen`	Returns true if this is not instantiated in non-root module, and is a part of non-speculative instantiatiation.
`needsTypeInference`	Determine if template instance is really a template function, and that template function needs to infer types from the function arguments.
`printInstantiationTrace`	Given an error instantiating the TemplateInstance, give the nested TemplateInstance instantiations that got us here. Those are a list threaded into the nested scopes.
`semanticTiargs`	Run semantic of tiargs as arguments of template.
`semanticTiargs`	Run semantic on the elements of tiargs.
`updateTempDecl`	Confirm s is a valid template, then store it.
`_foreach`	Expands attribute declarations in members in depth first order. Calls dg(size_t symidx, Dsymbol *sym) for each member. If dg returns !=0, stops and returns that value else returns 0. Use this function to avoid the O(N + N^2/2) complexity of calculating dim and calling N times getNth.
`accept`
`addComment`	Add documentation comment to Dsymbol. Ignore NULL comments.
`arraySyntaxCopy`	Do syntax copy of an array of Dsymbol's.
`factory`	Create instance of class specified by the fully qualified name classname. The class must either have no constructors or have a default constructor.
`findGetMembers`	Look for member of the form: const(MemberInfo)[] getMembers(string); Returns NULL if not found
`followInstantiationContext`	Returns true if any of the symbols `p1` or `p2` resides in the enclosing instantiation scope of `this`.
`getAccessModule`	Determine which Module a Dsymbol is in, as far as access rights go.
`getModule`	Determine which Module a Dsymbol is in.
`hasPointers`	Is Dsymbol a variable that contains pointers?
`hasStaticCtorOrDtor`	Return true if any of the members are static ctors or static dtors, or if any members have members that are.
`inNonRoot`	Returns true if this symbol is defined in a non-root module without instantiation.
`isMember`	Returns an AggregateDeclaration when toParent() is that.
`isMember2`	Returns an AggregateDeclaration when toParent2() is that.
`isMemberDecl`	Returns an AggregateDeclaration when toParentDecl() is that.
`isMemberLocal`	Returns an AggregateDeclaration when toParentLocal() is that.
`oneMember`	Determine if this symbol is only one.
`oneMembers`	Same as Dsymbol::oneMember(), but look at an array of Dsymbols.
`opCmp`	Compare with another Object obj.
`opEquals`	Test whether `this` is equal to `o`. The default implementation only compares by identity (using the `is` operator). Generally, overrides for `opEquals` should attempt to compare objects by their contents.
`pastMixin`	`pastMixin` returns the enclosing symbol if this is a template mixin.
`prot`
`search`	This function is #1 on the list of functions that eat cpu time. Be very, very careful about slowing it down.
`searchX`	Search for identifier id as a member of `this`. `id` may be a template instance.
`setScope`	Set scope for future semantic analysis so we can deal better with forward references.
`size`
`symtabLookup`	Look up identifier in symbol table.
`syntaxCopy`	Copy the syntax. Used for template instantiations. If s is NULL, allocate the new object, otherwise fill it in.
`toAlias`	If this symbol is really an alias for another, return that other. If needed, semantic() is invoked due to resolve forward reference.
`toAlias2`	Resolve recursive tuple expansion in eponymous template.
`toHash`	Compute hash function for Object.
`toParent`	`parent` field returns a lexically enclosing scope symbol this is a member of.
`toParent2`	`parent` field returns a lexically enclosing scope symbol this is a member of.
`toParentDecl`	`parent` field returns a lexically enclosing scope symbol this is a member of.
`toParentLocal`	`parent` field returns a lexically enclosing scope symbol this is a member of.
`toParentP`	Returns the declaration scope scope of `this` unless any of the symbols `p1` or `p2` resides in its enclosing instantiation scope then the latter is returned.
`toString`
`toString`	Convert Object to a human readable string.

https

//dlang.org/spec/template.html#explicit_tmp_instantiation

Given

foo!(args) => name = foo tiargs = args

Authors

Walter Bright

License

Boost License 1.0