C++
pierwszeństwo operatora
Szukaj…
Uwagi
Operatory są wyświetlane od góry do dołu, w kolejności malejącej. Operatorzy o tym samym numerze mają równy priorytet i taką samą asocjatywność.
-
::
- Operatory Postfiksów:
[]
()
T(...)
.
->
++
--
dynamic_cast
static_cast
reinterpret_cast
const_cast
typeid
- Jednoargumentowe operatory przedrostków:
++
--
*
&
+
-
!
~
sizeof
new
delete
delete[]
; notacja rzutowa w stylu C,(T)...
; (C ++ 11 i wyżej)sizeof...
alignof
noexcept
-
.*
i->*
-
*
,/
i%
, binarne operatory arytmetyczne -
+
i-
, binarne operatory arytmetyczne -
<<
i>>
-
<
,>
,<=
,>=
-
==
i!=
-
&
bitowy operator AND -
^
-
|
-
&&
-
||
-
?:
(trójskładnikowy operator warunkowy) -
=
,*=
,/=
,%=
,+=
,-=
,>>=
,<<=
,&=
,^=
,|=
-
throw
-
,
(operator przecinka)
Przypisanie, przypisanie złożone i trójskładnikowe operatory warunkowe są odpowiednio asocjatywne. Wszystkie pozostałe operatory binarne są lewostronne.
Reguły trójskładnikowego operatora warunkowego są nieco bardziej skomplikowane niż proste reguły pierwszeństwa mogą wyrazić.
- Operand wiąże się mniej ściśle z
?
po lewej stronie lub a:
po prawej stronie niż jakikolwiek inny operator. W efekcie drugi argument operatora warunkowego jest analizowany tak, jakby był nawiasowany. Pozwala to na wyrażenie takie jaka ? b , c : d
aby były poprawne pod względem składniowym. - Operand wiąże się ściślej z
?
po jego prawej stronie niż do operatora przypisania lubthrow
po jego lewej stronie, więca = b ? c : d
jest równoważnea = (b ? c : d)
ithrow a ? b : c
jest równoważnethrow (a ? b : c)
. - Operand wiąże się ściślej z operatorem przypisania po jego prawej stronie niż
:
po lewej, więca ? b : c = d
jest równoważnea ? b : (c = d)
.
Operatory arytmetyczne
Operatory arytmetyczne w C ++ mają taki sam priorytet jak w matematyce:
Mnożenie i dzielenie mają lewą asocjatywność (co oznacza, że będą oceniane od lewej do prawej) i mają wyższy priorytet niż dodawanie i odejmowanie, które również mają lewą asocjatywność.
Możemy również wymusić pierwszeństwo wyrażenia za pomocą nawiasów (
)
. Tak samo jak zrobiłbyś to w normalnej matematyce.
// volume of a spherical shell = 4 pi R^3 - 4 pi r^3
double vol = 4.0*pi*R*R*R/3.0 - 4.0*pi*r*r*r/3.0;
//Addition:
int a = 2+4/2; // equal to: 2+(4/2) result: 4
int b = (3+3)/2; // equal to: (3+3)/2 result: 3
//With Multiplication
int c = 3+4/2*6; // equal to: 3+((4/2)*6) result: 15
int d = 3*(3+6)/9; // equal to: (3*(3+6))/9 result: 3
//Division and Modulo
int g = 3-3%1; // equal to: 3 % 1 = 0 3 - 0 = 3
int h = 3-(3%1); // equal to: 3 % 1 = 0 3 - 0 = 3
int i = 3-3/1%3; // equal to: 3 / 1 = 3 3 % 3 = 0 3 - 0 = 3
int l = 3-(3/1)%3; // equal to: 3 / 1 = 3 3 % 3 = 0 3 - 0 = 3
int m = 3-(3/(1%3)); // equal to: 1 % 3 = 1 3 / 1 = 3 3 - 3 = 0
Logiczne operatory AND i OR
Operatory te mają zwykle pierwszeństwo w C ++: AND przed OR.
// You can drive with a foreign license for up to 60 days
bool can_drive = has_domestic_license || has_foreign_license && num_days <= 60;
Ten kod jest równoważny z następującym:
// You can drive with a foreign license for up to 60 days
bool can_drive = has_domestic_license || (has_foreign_license && num_days <= 60);
Dodanie nawiasu nie zmienia zachowania, ale ułatwia czytanie. Dodając te nawiasy, nie ma wątpliwości co do intencji pisarza.
Logiczne i& oraz || operatorzy: zwarcie
&& ma pierwszeństwo przed ||, oznacza to, że nawiasy są umieszczone, aby ocenić, co zostanie ocenione razem.
c ++ używa oceny zwarcia w && i || nie robić niepotrzebnych egzekucji.
Jeżeli lewa strona || zwraca true, po prawej stronie nie trzeba już oceniać.
#include <iostream>
#include <string>
using namespace std;
bool True(string id){
cout << "True" << id << endl;
return true;
}
bool False(string id){
cout << "False" << id << endl;
return false;
}
int main(){
bool result;
//let's evaluate 3 booleans with || and && to illustrate operator precedence
//precedence does not mean that && will be evaluated first but rather where
//parentheses would be added
//example 1
result =
False("A") || False("B") && False("C");
// eq. False("A") || (False("B") && False("C"))
//FalseA
//FalseB
//"Short-circuit evaluation skip of C"
//A is false so we have to evaluate the right of ||,
//B being false we do not have to evaluate C to know that the result is false
result =
True("A") || False("B") && False("C");
// eq. True("A") || (False("B") && False("C"))
cout << result << " :=====================" << endl;
//TrueA
//"Short-circuit evaluation skip of B"
//"Short-circuit evaluation skip of C"
//A is true so we do not have to evaluate
// the right of || to know that the result is true
//If || had precedence over && the equivalent evaluation would be:
// (True("A") || False("B")) && False("C")
//What would print
//TrueA
//"Short-circuit evaluation skip of B"
//FalseC
//Because the parentheses are placed differently
//the parts that get evaluated are differently
//which makes that the end result in this case would be False because C is false
}
Unary Operators
Jednostkowiczni operatorzy działają na obiekt, do którego zostali powołani, i mają wysoki priorytet. (Patrz uwagi)
Po zastosowaniu postfiksu akcja występuje tylko po ocenie całej operacji, co prowadzi do interesujących działań arytmetycznych:
int a = 1;
++a; // result: 2
a--; // result: 1
int minusa=-a; // result: -1
bool b = true;
!b; // result: true
a=4;
int c = a++/2; // equal to: (a==4) 4 / 2 result: 2 ('a' incremented postfix)
cout << a << endl; // prints 5!
int d = ++a/2; // equal to: (a+1) == 6 / 2 result: 3
int arr[4] = {1,2,3,4};
int *ptr1 = &arr[0]; // points to arr[0] which is 1
int *ptr2 = ptr1++; // ptr2 points to arr[0] which is still 1; ptr1 incremented
std::cout << *ptr1++ << std::endl; // prints 2
int e = arr[0]++; // receives the value of arr[0] before it is incremented
std::cout << e << std::endl; // prints 1
std::cout << *ptr2 << std::endl; // prints arr[0] which is now 2