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
a local clone.
dmd.opover
Handles operator overloading.
Specification Operator Overloading
Authors:
License:
Source opover.d
Documentation https://dlang.org/phobos/dmd_opover.html
- @safe bool
isCommutative(EXPop); - Determine if operands of binary op can be reversed to fit operator overload.
- Objects*
opToArg(Scope*sc, EXPop); - Helper function to turn operator into template argument list
- Expression
opOverloadCast(CastExpe, Scope*sc, Typeatt= null); - This is mostly the same as opOverloadUnary but has a different rewrite.
- bool
suggestBinaryOverloads(BinExpe, Scope*sc); - If applicable, print an error relating to implementing / fixing opBinary functions.Parameters:
BinExp ebinary operation Scope* scscope to try opBinary!"" semantic in for error messages Returns:true when an error related to opBinary was printed - bool
suggestOpOpAssign(BinAssignExpexp, Scope*sc, Expressionparent); - If applicable, print an error relating to implementing / fixing opOpAssign or opUnary functions.Parameters:
BinAssignExp expbinary operation Scope* scscope to try opOpAssign!"" semantic in for error messages Expression parentif expwas lowered from this PreExp or PostExp, mention opUnary as wellReturns:true when an error related to opOpAssign was printed - Expression
opOverloadBinaryAssign(BinAssignExpe, Scope*sc, Type[2]aliasThisStop); - Operator overloading for op=
- Expression
build_overload(Locloc, Scope*sc, Expressionethis, Expressionearg, Dsymbold); - Utility to build a function call out of this reference and argument.
- Dsymbol
search_function(ScopeDsymbolad, Identifierfuncid); - Search for function funcid in aggregate ad.
- bool
inferForeachAggregate(Scope*sc, boolisForeach, ref Expressionfeaggr, out Dsymbolsapply); - Figure out what is being foreach'd over by looking at the ForeachAggregate.Parameters:
Scope* sccontext bool isForeachtrue for foreach, false for foreach_reverse Expression feaggrForeachAggregate Dsymbol sapplyset to function opApply/opApplyReverse, or delegate, or null. Overload resolution is not done. Returns:true if successfully figured it out; feaggr updated with semantic analysis. false for failed, which is an error. - bool
inferApplyArgTypes(ForeachStatementfes, Scope*sc, ref Dsymbolsapply); - Given array of foreach parameters and an aggregate type, find best opApply overload, if any of the parameter types are missing, attempt to infer them from the aggregate type.Parameters:
ForeachStatement festhe foreach statement Scope* sccontext Dsymbol sapplynull or opApply or delegate, overload resolution has not been done. Do overload resolution on sapply. Returns:false for errors
Copyright © 1999-2025 by the D Language Foundation | Page generated by
Ddoc on Mon Mar 31 10:28:00 2025