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 a local clone.

dmd.opover

Handles operator overloading.

Specification Operator Overloading

Authors:

Walter Bright

License:

Boost License 1.0

Source opover.d

Documentation https://dlang.org/phobos/dmd_opover.html

Coverage https://codecov.io/gh/dlang/dmd/src/master/compiler/src/dmd/opover.d

@safe bool isCommutative(EXP op);

Determine if operands of binary op can be reversed to fit operator overload.

Objects* opToArg(Scope* sc, EXP op);

Helper function to turn operator into template argument list

Expression opOverloadCast(CastExp e, Scope* sc, Type att = null);

This is mostly the same as opOverloadUnary but has a different rewrite.

bool suggestBinaryOverloads(BinExp e, Scope* sc);

If applicable, print an error relating to implementing / fixing opBinary functions.

Parameters:

BinExp `e`	binary operation
Scope* `sc`	scope to try opBinary!"" semantic in for error messages

Returns:

true when an error related to opBinary was printed

bool suggestOpOpAssign(BinAssignExp exp, Scope* sc, Expression parent);

If applicable, print an error relating to implementing / fixing opOpAssign or opUnary functions.

Parameters:

BinAssignExp `exp`	binary operation
Scope* `sc`	scope to try opOpAssign!"" semantic in for error messages
Expression `parent`	if `exp` was lowered from this PreExp or PostExp, mention opUnary as well

Returns:

true when an error related to opOpAssign was printed

Expression opOverloadBinaryAssign(BinAssignExp e, Scope* sc, Type[2] aliasThisStop);

Operator overloading for op=

Expression build_overload(Loc loc, Scope* sc, Expression ethis, Expression earg, Dsymbol d);

Utility to build a function call out of this reference and argument.

Dsymbol search_function(ScopeDsymbol ad, Identifier funcid);

Search for function funcid in aggregate ad.

bool inferForeachAggregate(Scope* sc, bool isForeach, ref Expression feaggr, out Dsymbol sapply);

Figure out what is being foreach'd over by looking at the ForeachAggregate.

Parameters:

Scope* `sc`	context
bool `isForeach`	true for foreach, false for foreach_reverse
Expression `feaggr`	ForeachAggregate
Dsymbol `sapply`	set 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(ForeachStatement fes, Scope* sc, ref Dsymbol sapply);

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 `fes`	the foreach statement
Scope* `sc`	context
Dsymbol `sapply`	null or opApply or delegate, overload resolution has not been done. Do overload resolution on sapply.

Returns:

false for errors

Library Reference

dmd.opover