.step one General

An operator try an associate one describes this is away from an enthusiastic expression driver which are used on cases of the category. Providers was stated using operator_declarations:

six.1) otherwise a term human body (§fourteen.6.1). A beneficial block body consists of a good block, and therefore determine the newest statements to perform in the event that user are invoked. The fresh new take off will adhere to the rules to possess value-coming back procedures described for the §fourteen.6.11. A term human anatomy include => followed by a phrase and you will a great semicolon, and you can denotes a single expression to execute when the user https://datingranking.net/pl/mobifriends-recenzja/ try invoked.

To possess extern providers, brand new agent_body comprise just out of a semicolon. For everyone other operators, the latest agent_body’s either a good stop muscles otherwise a term human body.

• An operator declaration will is each other a community and you will a static modifier.
• The latest factor(s) away from an user shall haven’t any modifiers.
• The latest signature away from an operator (§.dos, §.3, §.4) will vary from the new signatures of all the other workers e category.
• All types referenced into the a driver report will likely be about because available once the driver by itself (§7.5.5).
• It is a mistake for similar modifier to look numerous minutes inside an operator declaration.

Like other users, workers proclaimed for the a bottom group is actually passed on of the derived classes. Because the agent declarations always have to have the class or struct in which the brand new agent was stated to participate in new signature of your operator, this is simply not simple for an agent proclaimed during the a great derived classification to hide an user proclaimed in the a base group. Thus, the newest modifier has never been called for, hence never ever allowed, within the a driver statement.

.dos Unary workers

The next guidelines connect with unary agent declarations, where T indicates the latest including sorts of the category otherwise struct that contains the new operator report:

, ++ , — , correct , otherwise false ) and sort of the brand new single certified factor. New return method of is not section of a good unary operator’s trademark, nor is the title of one’s authoritative factor.

The true and you may false unary providers want couple-smart declaration. A secure-time mistake occurs in the event the a category declares one among these operators in the place of also claiming the other. The actual and you can not true workers is actually demonstrated then for the §.

Mention how the user strategy returns the significance created by including 1 on operand, while the postfix increment and you may decrement operators (§11.7.14), as well as the prefix increment and you will decrement workers (§11.8.6). As opposed to during the C++, this procedure should not modify the worth of the operand directly since this would break the high quality semantics of your postfix increment driver (§11.eight.14). end example

.3 Binary operators

Another legislation affect binary user declarations, where T indicates the latest such as for example version of the category otherwise struct containing the fresh new operator statement:

• A binary low-shift user should just take a few details, one at which should provides type of T otherwise T? , and can go back any sort.
• A binary << or >> operator (§) shall take two parameters, the first of which shall have type T or T? and the second of which shall have type int or int? , and can return any type. The signature of a binary operator consists of the operator token ( + , – , * , / , % , , | , ^ , << , >> , == , != , > , < , >= , or <= ) and the types of the two formal parameters. The return type and the names of the formal parameters are not part of a binary operator's signature.

Particular binary operators want couples-wise report. For each statement off possibly agent from moobs, indeed there is a corresponding declaration of your almost every other agent away from the two. Several agent declarations fits if label conversion rates can be found ranging from its return versions as well as their corresponding parameter sizes. The next operators need couples-wise statement: