Menu

- Learn
- Documentation
  - Language Reference
  - Library Reference
  - Command-line Reference
  - Feature Overview
  - Articles
- Downloads
- Packages
- Community
  - Blog
  - Orgs using D
  - Twitter
  - Calendar
  - Forums
  - IRC
  - Community Discord
  - Wiki
  - GitHub
  - Issues
  - Get involved
  - Contributors
  - Foundation
  - Security Team
  - Donate
  - Sponsors
- Resources
  - Tour
  - Books
  - Tutorials
  - Tools
  - Editors
  - IDEs
  - run.dlang.io
  - Visual D
  - Acknowledgments
  - D Style
  - Glossary
  - Sitemap

Search
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:
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/src/dmd/opover.d

bool `isCommutative`(TOK `op`);
  Determine if operands of binary op can be reversed to fit operator overload.
Objects* `opToArg`(Scope* `sc`, TOK `op`);
  Helper function to turn operator into template argument list
Expression `op_overload`(Expression `e`, Scope* `sc`, TOK* `pop` = null);
  Operator overload. Check for operator overload, if so, replace with function call.
  Parameters:

  Expression `e` | expression with operator
  Scope* `sc` | context
  TOK* `pop` | if not null, is set to the operator that was actually overloaded, which may not be `e`.op. Happens when operands are reversed to to match an overload

  Returns:
  null if not an operator overload, otherwise the lowered expression
Expression `build_overload`(ref const 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

  Returns:
  false for errors

Copyright © 1999-2020 by the D Language Foundation | Page generated by Ddoc on Mon May 11 10:58:09 2020