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

Class dmd.dtemplate.TemplateInstance

class TemplateInstance
  : ScopeDsymbol;

Constructors

NameDescription
this (loc, td, tiargs) This constructor is only called when we figured out which function template to instantiate.

Fields

NameTypeDescription
fargs dmd.root.array.Array!(dmd.expression.Expression)*For function template, these are the function fnames(name and loc of it) and arguments Relevant because different resolutions of auto ref parameters create different template instances even with the same template arguments
inst TemplateInstanceIf this is not null and it has a value that is not the current object, then this field points to an existing template instance and that object has been duplicated into us.
memberOf ModuleIf this is not null then this template instance appears in a root module's members.
importedScopes dmd.root.array.Array!(dmd.dsymbol.Dsymbol)*symbols whose members have been imported, i.e. imported modules and template mixins
localNum ushortperturb mangled name to avoid collisions with those in FuncDeclaration.localsymtab

Properties

NameTypeDescription
gagged[get] boolif the instantiation is done with error gagging
havetempdecl[get] boolif used second constructor
semantictiargsdone[get] boolhas semanticTiargs() been done?

Methods

NameDescription
genIdent (args) 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.
printInstantiationTrace (cl, max_shown) Given an error instantiating the TemplateInstance, give the nested TemplateInstance instantiations that got us here. Those are a list threaded into the nested scopes.
accept (v)
addComment (comment) Add documentation comment to Dsymbol. Ignore NULL comments.
arraySyntaxCopy (a) Do syntax copy of an array of Dsymbol's.
comment () get documentation comment for this Dsymbol
ddocUnittest () Get ddoc unittest associated with this symbol. (only use this with ddoc)
ddocUnittest (utd) Set ddoc unittest associated with this symbol.
deinitialize () Deinitializes the global state of the compiler.
factory (classname) Create instance of class specified by the fully qualified name classname. The class must either have no constructors or have a default constructor.
getAccessModule () Determine which Module a Dsymbol is in, as far as access rights go.
getImportedScopes ()
getImportVisibilities ()
getModule () Determine which Module a Dsymbol is in.
inNonRoot () Returns true if this symbol is defined in a non-root module without instantiation.
isCsymbol () Does this Dsymbol come from a C file?
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.
opCmp (o) Compare with another Object obj.
opEquals (o) Test whether this is equal to o. The default implementation only compares by identity (using the is operator). Generally, overrides and overloads for opEquals should attempt to compare objects by their contents. A class will most likely want to add an overload that takes your specific type as the argument and does the content comparison. Then you can override this and forward it to your specific typed overload with a cast. Remember to check for null on the typed overload.
pastMixin () pastMixin returns the enclosing symbol if this is a template mixin.
symtabInsert (s) Insert Dsymbol in table.
symtabLookup (s, id) Look up identifier in symbol table.
syntaxCopy (s) Copy the syntax. Used for template instantiations. If s is NULL, allocate the new object, otherwise fill it in.
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.
visible ()

https

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

Given

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

Authors

Walter Bright

License

Boost License 1.0