View source code
Display the source code in dmd/dtemplate.d from which this page was generated on github.
Report a bug
If you spot a problem with this page, click here to create a Bugzilla issue.
Improve this page
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

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

Fields

NameTypeDescription
cppnamespace CPPNamespaceDeclarationC++ namespace this symbol belongs to

Methods

NameDescription
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;
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.
apply Iterate this dsymbol or members of this scoped dsymbol, then call fp with the found symbol and param.
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
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.
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